lambdaworks-groth16-ts
Version:
TypeScript bindings for LambdaWorks Groth16 SNARK prover
21 lines • 708 B
TypeScript
import { FieldElement, Proof, VerifyingKey } from "./types";
export declare class Groth16Verifier {
private wasmInstance;
constructor(wasmInstance: any);
/**
* Verify a Groth16 proof
*/
verify(verifyingKey: VerifyingKey, publicInputs: FieldElement[], proof: Proof): boolean;
/**
* Batch verify multiple proofs (more efficient)
*/
batchVerify(verifyingKey: VerifyingKey, proofData: Array<{
publicInputs: FieldElement[];
proof: Proof;
}>): boolean[];
/**
* Verify proof from JSON format
*/
verifyFromJson(verifyingKey: VerifyingKey, publicInputsJson: string, proofJson: string): boolean;
}
//# sourceMappingURL=verifier.d.ts.map