diff --git a/src/bindings b/src/bindings
index 1e14e50fe2..fa8b8ab8b9 160000
--- a/src/bindings
+++ b/src/bindings
@@ -1 +1 @@
-Subproject commit 1e14e50fe270e8b401e88351b2c03a6e2ab5fa63
+Subproject commit fa8b8ab8b9f44a4cf51893da175307643b182b7c
diff --git a/src/snarky.d.ts b/src/snarky.d.ts
index 343d714c46..537813d3bb 100644
--- 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;