trivial new precondition tests pass

o1-labs · Sep 19, 2024 · 908f869 · 908f869
1 parent 1f36c41
commit 908f869
Show file tree

Hide file tree

Showing 6 changed files with 21 additions and 18 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
@@ -126,6 +126,19 @@ const AccountPrecondition = {
   },
 };
 
+type PermissionsPrecondition = Preconditions['permissions'];
+const PermissionsPrecondition = {
+  ignoreAll(): PermissionsPrecondition {
+    let appState: Array<OrIgnore<Field>> = [];
+    for (let i = 0; i < ZkappStateLength; ++i) {
+      appState.push(ignore(Field(0)));
+    }
+    return {
+      dummyBool: ignore(Bool(true)),
+    };
+  },
+};
+
 type GlobalSlotPrecondition = Preconditions['validWhile'];
 const GlobalSlotPrecondition = {
   ignoreAll(): GlobalSlotPrecondition {
@@ -137,7 +150,7 @@ const Preconditions = {
   ignoreAll(): Preconditions {
     return {
       account: AccountPrecondition.ignoreAll(),
-      test: AccountPrecondition.ignoreAll(),
+      permissions: PermissionsPrecondition.ignoreAll(),
       network: NetworkPrecondition.ignoreAll(),
       validWhile: GlobalSlotPrecondition.ignoreAll(),
     };

diff --git a/src/mina b/src/mina
diff --git a/src/mina-signer/src/sign-zkapp-command.ts b/src/mina-signer/src/sign-zkapp-command.ts
@@ -231,10 +231,7 @@ function accountUpdateFromFeePayer({
     isSome: Bool(true),
     value: { lower: nonce, upper: nonce },
   };
-  body.preconditions.test.nonce = {
-    isSome: Bool(true),
-    value: { lower: nonce, upper: nonce },
-  };
+  // TODO set permisions here?
   body.useFullCommitment = Bool(true);
   body.implicitAccountCreationFee = Bool(true);
   body.authorizationKind = {

diff --git a/src/mina-signer/src/test-vectors/accountUpdate.ts b/src/mina-signer/src/test-vectors/accountUpdate.ts
@@ -84,15 +84,8 @@ let accountUpdateExample: Json.AccountUpdate = {
         provedState: null,
         isNew: true,
       },
-      test: {
-        balance: { lower: '1000000000', upper: '1000000000' },
-        nonce: null,
-        receiptChainHash: null,
-        delegate: 'B62qrja1a2wu3ciKygrqNiNoDZUsHCcE1VfF4LZQtQkzszWhogpWN9i',
-        state: ['9', null, null, null, null, null, null, null],
-        actionState: null,
-        provedState: null,
-        isNew: true,
+      permissions: {
+        dummyBool: true,
       },
       validWhile: null,
     },