add setVerificationKey

o1-labs · Oct 10, 2024 · b8a0dc2 · b8a0dc2
1 parent 7a0c8f6
commit b8a0dc2
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 4 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/src/bindings b/src/bindings
diff --git a/src/lib/mina/precondition.ts b/src/lib/mina/precondition.ts
@@ -145,6 +145,7 @@ const PermissionsPrecondition = {
       receive: ignore({constant : Bool(true), signatureNecessary : Bool(false), signatureSufficient: Bool(true)}),
       setDelegate: ignore({constant : Bool(true), signatureNecessary : Bool(false), signatureSufficient: Bool(true)}),
       setPermissions: ignore({constant : Bool(true), signatureNecessary : Bool(false), signatureSufficient: Bool(true)}),
+      setVerificationKey : ignore({constant : Bool(true), signatureNecessary : Bool(false), signatureSufficient: Bool(true)}),
       setZkappUri: ignore({constant : Bool(true), signatureNecessary : Bool(false), signatureSufficient: Bool(true)}),
       editActionState: ignore({constant : Bool(true), signatureNecessary : Bool(false), signatureSufficient: Bool(true)}),
       setTokenSymbol: ignore({constant : Bool(true), signatureNecessary : Bool(false), signatureSufficient: Bool(true)}),

diff --git a/src/mina b/src/mina
diff --git a/src/mina-signer/src/test-vectors/accountUpdate.ts b/src/mina-signer/src/test-vectors/accountUpdate.ts
@@ -91,6 +91,7 @@ let accountUpdateExample: Json.AccountUpdate = {
         receive: null,
         setDelegate: null,
         setPermissions: null,
+        setVerificationKey: null,
         setZkappUri: null,
         editActionState: null,
         setTokenSymbol: null,