Add side-loaded keys support

o1-labs · Dec 13, 2023 · d8ac33a · d8ac33a
1 parent 90c714c
commit d8ac33a
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/src/bindings b/src/bindings
diff --git a/src/snarky.d.ts b/src/snarky.d.ts
@@ -859,6 +859,19 @@ declare const Pickles: {
 
   proofToBase64Transaction: (proof: Pickles.Proof) => string;
 
+  sideLoaded: {
+      // Create a side-loaded key tag
+      create:(name: string, numProofsVerified: 0 | 1 | 2, publicInputLength: number, publicOutputLength: number) => unknown /* tag */,
+      // Instantiate the verification key inside the circuit (required).
+      inCircuit:(tag: unknown, verificationKey: string) => undefined,
+      // Instantiate the verification key in prover-only logic (also required).
+      inProver:(tag: unknown, verificationKey: string) => undefined,
+      // Create an in-circuit representation of a verification key
+      vkToCircuit:(verificationKey: unknown) => unknown /* verificationKeyInCircuit */,
+      // Get the digest of a verification key in the circuit
+      vkDigest:(verificationKeyInCircuit: unknown) => Field,
+  };
+
   util: {
     toMlString(s: string): MlString;
     fromMlString(s: MlString): string;