Do not fail on assertions in test mode

CHANGELOG.md

@@ -15,10 +15,17 @@ This project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.htm
     _Security_ in case of vulnerabilities.
  -->
 
-## [Unreleased](https://github.com/o1-labs/snarkyjs/compare/21de489...HEAD)
+## [Unreleased](https://github.com/o1-labs/snarkyjs/compare/4573252d...HEAD)
 
 > No unreleased changes yet
 
+## [0.9.5](https://github.com/o1-labs/snarkyjs/compare/21de489...4573252d)
+
+### Fixed
+
+- Failing `Mina.transaction` on Berkeley because of unsatisfied constraints caused by dummy data before we fetched account state https://github.com/o1-labs/snarkyjs/pull/807
+  - Previously, you could work around this by calling `fetchAccount()` for every account invovled in a transaction. This is not necessary anymore.
+
 ## [0.9.4](https://github.com/o1-labs/snarkyjs/compare/9acec55...21de489)
 
 ### Fixed

MINA_COMMIT

@@ -1,2 +1,2 @@
 The mina commit used to generate the backends for node and chrome is
-4d9d4ec526215f5b977f5ee9d48966398a4ad5f1
+854ffb86571453e3e0a4356644f2e8e05e66da0d

package.json

@@ -1,7 +1,7 @@
 {
   "name": "snarkyjs",
   "description": "JavaScript bindings for SnarkyJS",
-  "version": "0.9.4",
+  "version": "0.9.5",
   "license": "Apache-2.0",
   "type": "module",
   "main": "./dist/web/index.js",

src/examples/zkapps/dex/dex.ts

@@ -117,7 +117,7 @@ function createDex({
       // calculate dy outside circuit
       let x = Account(this.address, Token.getId(this.tokenX)).balance.get();
       let y = Account(this.address, Token.getId(this.tokenY)).balance.get();
-      if (x.value.isZero().toBoolean()) {
+      if (x.value.isConstant() && x.value.isZero().toBoolean()) {
         throw Error(
           'Cannot call `supplyLiquidity` when reserves are zero. Use `supplyLiquidityBase`.'
         );

src/examples/zkapps/hello_world/run_berkeley.ts

@@ -6,8 +6,6 @@ import {
   AccountUpdate,
   isReady,
   shutdown,
-  fetchAccount,
-  PublicKey,
 } from 'snarkyjs';
 import { adminPrivateKey, HelloWorld } from './hello_world.js';
 await isReady;
@@ -53,15 +51,19 @@ let transaction = await Mina.transaction(
 transaction.sign([senderKey, zkappKey]);
 
 console.log('Sending the transaction..');
-await (
-  await transaction.send()
-).wait({
-  maxAttempts: 90,
-});
+let pendingTx = await transaction.send();
+if (pendingTx.hash() !== undefined) {
+  console.log(`
+Success! Deploy transaction sent.
+
+Your smart contract state will be deployed
+as soon as the transaction is included in a block:
+https://berkeley.minaexplorer.com/transaction/${pendingTx.hash()}
+`);
+}
 
-console.log('Fetching updated accounts..');
-await fetchAccount({ publicKey: senderKey.toPublicKey() });
-await fetchAccount({ publicKey: zkappAddress });
+console.log('Waiting for transaction inclusion..');
+await pendingTx.wait({ maxAttempts: 90 });
 
 console.log('Trying to update deployed zkApp..');
 
@@ -71,11 +73,19 @@ transaction = await Mina.transaction({ sender, fee: transactionFee }, () => {
 await transaction.sign([senderKey]).prove();
 
 console.log('Sending the transaction..');
-await (
-  await transaction.send()
-).wait({
-  maxAttempts: 90,
-});
+pendingTx = await transaction.send();
+
+if (pendingTx.hash() !== undefined) {
+  console.log(`
+Success! Update transaction sent.
+
+Your smart contract state will be updated
+as soon as the transaction is included in a block:
+https://berkeley.minaexplorer.com/transaction/${pendingTx.hash()}
+`);
+}
+console.log('Waiting for transaction inclusion..');
+await pendingTx.wait({ maxAttempts: 90 });
 
 console.log('Checking if the update was valid..');
 

src/examples/zkapps/voting/membership.ts

@@ -8,10 +8,10 @@ import {
   Permissions,
   Bool,
   PublicKey,
-  Experimental,
   Circuit,
   Reducer,
   provablePure,
+  AccountUpdate,
 } from 'snarkyjs';
 import { Member } from './member.js';
 import { ParticipantPreconditions } from './preconditions.js';
@@ -92,10 +92,7 @@ export class Membership_ extends SmartContract {
     // even tho voters cant have a maximum balance, only candidates
     // but for a voter we simply use UInt64.MAXINT() as the maximum
 
-    let accountUpdate = Experimental.createChildAccountUpdate(
-      this.self,
-      member.publicKey
-    );
+    let accountUpdate = AccountUpdate.create(member.publicKey);
 
     accountUpdate.account.balance.assertEquals(
       accountUpdate.account.balance.get()