lambdaworks-groth16-ts
Version:
TypeScript bindings for LambdaWorks Groth16 SNARK prover
18 lines • 597 B
TypeScript
import { Circuit, Witness } from "./types";
export declare class CircuitProcessor {
private wasmInstance;
constructor(wasmInstance: any);
/**
* Load a circuit from Circom format
*/
loadFromCircom(r1csBuffer: Uint8Array, wasmBuffer: Uint8Array): Promise<Circuit>;
/**
* Compute witness for given inputs
*/
computeWitness(circuit: Circuit, inputs: Record<string, string>): Witness;
/**
* Validate witness against circuit constraints
*/
validateWitness(circuit: Circuit, witness: Witness): boolean;
}
//# sourceMappingURL=circuit.d.ts.map