add dummy precondition

o1-labs · Sep 18, 2024 · 7fd583f · 7fd583f
1 parent 3061057
commit 7fd583f
Show file tree

Hide file tree

Showing 6 changed files with 21 additions and 5 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
@@ -137,6 +137,7 @@ const Preconditions = {
   ignoreAll(): Preconditions {
     return {
       account: AccountPrecondition.ignoreAll(),
+      test: AccountPrecondition.ignoreAll(),
       network: NetworkPrecondition.ignoreAll(),
       validWhile: GlobalSlotPrecondition.ignoreAll(),
     };
@@ -147,6 +148,7 @@ function preconditions(accountUpdate: AccountUpdate, isSelf: boolean) {
   initializePreconditions(accountUpdate, isSelf);
   return {
     account: Account(accountUpdate),
+    test: Account(accountUpdate),
     network: Network(accountUpdate),
     currentSlot: CurrentSlot(accountUpdate),
   };
@@ -644,7 +646,7 @@ function ensureConsistentPrecondition(
     let errorMessage = `
 Precondition Error: Precondition Error: Attempting to set a precondition that is already set for '${name}'.
 '${name}' represents the field or value you're trying to set a precondition for.
-Preconditions must be set only once to avoid overwriting previous assertions. 
+Preconditions must be set only once to avoid overwriting previous assertions.
 For example, do not use 'requireBetween()' or 'requireEquals()' multiple times on the same field.
 
 Recommendation:

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,6 +231,10 @@ function accountUpdateFromFeePayer({
     isSome: Bool(true),
     value: { lower: nonce, upper: nonce },
   };
+  body.preconditions.test.nonce = {
+    isSome: Bool(true),
+    value: { lower: nonce, upper: nonce },
+  };
   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,6 +84,16 @@ 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,
+      },
       validWhile: null,
     },
     useFullCommitment: false,