UNPKG

@nori-zk/proof-conversion

Version:

Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof

32 lines (31 loc) • 3.01 kB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
import { type Risc0Groth16Input } from './schema.js'; export declare const performRisc0Groth16: ((executor: import("../../index.js").ComputationalPlanExecutor, input: Risc0Groth16Input) => Promise<import("../../index.min.js").ConversionOutput>) & { fromArgs: ((args_0: import("./schema.js").Risc0Groth16Proof, args_1: import("./schema.js").Risc0Groth16Vk) => Risc0Groth16Input) & { keys: readonly ["risc0_proof", "raw_vk"]; }; schema: { risc0_proof: { negA: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>; B: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ComplexAffinePoint2d>; C: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>; pi1: import("../validation/index.js").ValidatorFn<string>; pi2: import("../validation/index.js").ValidatorFn<string>; pi3: import("../validation/index.js").ValidatorFn<string>; pi4: import("../validation/index.js").ValidatorFn<string>; pi5: import("../validation/index.js").ValidatorFn<string>; }; raw_vk: { alpha: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>; beta: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ComplexAffinePoint2d>; gamma: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ComplexAffinePoint2d>; delta: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").ComplexAffinePoint2d>; w27: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").Field12>; ic0: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>; ic1: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>; ic2: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>; ic3: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>; ic4: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>; ic5: import("../validation/index.js").ValidatorFn<import("node_modules/@nori-zk/proof-conversion-utils/pairing_utils.js").AffinePoint2d>; }; }; };