Class R1CSSnarkSetup

Create SNARK proving and verifying key from the parsed R1CS file.

Index

Constructors

Methods

fromParsedR1CSFile fromR1CS

Constructors

constructor

new R1CSSnarkSetup(): R1CSSnarkSetup
Returns R1CSSnarkSetup

Methods

`Static`fromParsedR1CSFile

fromParsedR1CSFile(parsedR1cs, commitWitnessCount?): LegoProvingKey
Create proving key from a parsed R1CS file. Returns the compressed proving key.
Parameters
- parsedR1cs: ParsedR1CSFile
- OptionalcommitWitnessCount: number
  If not provided, uses the number of private inputs (only explicitly defined, not intermediate) to the circuit
Returns LegoProvingKey
- Defined in r1cs/setup.ts:15

`Static`fromR1CS

fromR1CS(processedR1cs, commitWitnessCount): LegoProvingKey
Parameters
- processedR1cs: R1CS
- commitWitnessCount: number
Returns LegoProvingKey
- Defined in r1cs/setup.ts:23