Class CircomCircuit

Index

Constructors

Methods

generateWires isSatisfied

Constructors

constructor

new CircomCircuit(): CircomCircuit
Returns CircomCircuit

Methods

`Static`generateWires

generateWires(wasmBytes, inputs): Uint8Array[]
Generate all the wires of the circuit, including the explicit input "1", public and private
Parameters
- wasmBytes: Uint8Array
- inputs: CircomInputs
Returns Uint8Array[]
- Defined in r1cs/circom-circuit.ts:11

`Static`isSatisfied

isSatisfied(r1cs, wasmBytes, inputs): boolean
For the circuit given by the R1CS and WASM files, check if its constraints are satisfied with the given (public and private) inputs.
Parameters
- r1cs: R1CS | ParsedR1CSFile
- wasmBytes: Uint8Array
- inputs: CircomInputs
Returns boolean
- Defined in r1cs/circom-circuit.ts:22