lambdaworks-groth16-ts
Version:
TypeScript bindings for LambdaWorks Groth16 SNARK prover
19 lines • 689 B
TypeScript
import { Circuit, Proof, ProvingKey, Witness } from "./types";
export declare class Groth16Prover {
private wasmInstance;
private fieldOps;
constructor(wasmInstance: any);
/**
* Generate a Groth16 proof
*/
prove(circuit: Circuit, provingKey: ProvingKey, witness: Witness): Promise<Proof>;
/**
* Generate proof with automatic witness computation
*/
proveWithInputs(circuit: Circuit, provingKey: ProvingKey, inputs: Record<string, string>): Promise<Proof>;
/**
* Export proof in different formats
*/
exportProof(proof: Proof, format: 'json' | 'solidity' | 'bytes'): string | Uint8Array;
}
//# sourceMappingURL=prover.d.ts.map