Improve verify assertions in zkfunction examples

Author: Shigoto-dev19

src/examples/zkfunction/ecdsa.ts

@@ -1,7 +1,7 @@
-import { Experimental, Crypto, createForeignCurve, Bytes, assert, createEcdsa } from 'o1js';
+import { Bytes, Crypto, Experimental, createEcdsa, createForeignCurve } from 'o1js';
 const { ZkFunction } = Experimental;
 
-export { Secp256k1, Ecdsa, Bytes32, reserves };
+export { Bytes32, Ecdsa, Secp256k1, reserves };
 
 class Secp256k1 extends createForeignCurve(Crypto.CurveParams.Secp256k1) {}
 class Ecdsa extends createEcdsa(Secp256k1) {}
@@ -12,7 +12,7 @@ const reserves = ZkFunction({
   publicInputType: Bytes32,
   privateInputTypes: [Ecdsa, Secp256k1],
   main: (message: Bytes32, signature: Ecdsa, publicKey: Secp256k1) => {
-    assert(signature.verify(message, publicKey));
+    signature.verify(message, publicKey).assertTrue();
   },
 });
 
@@ -31,5 +31,6 @@ console.timeEnd('prove');
 
 console.time('verify');
 let isValid = await reserves.verify(proof, verificationKey);
-assert(isValid, 'verifies');
 console.timeEnd('verify');
+
+if (!isValid) throw Error('verification failed!');

src/examples/zkfunction/preimage.ts

@@ -1,4 +1,4 @@
-import { Poseidon, Field, Experimental } from 'o1js';
+import { Experimental, Field, Poseidon } from 'o1js';
 const { ZkFunction } = Experimental;
 
 /**
@@ -26,7 +26,7 @@ console.log('prove...');
 const pi = await main.prove(hash, preimage);
 
 console.log('verify...');
-let ok = await main.verify(pi, verificationKey);
-console.log('ok?', ok);
+let isValid = await main.verify(pi, verificationKey);
+console.log('isValid?', isValid);
 
-if (!ok) throw Error('verification failed');
+if (!isValid) throw Error('verification failed!');

src/examples/zkfunction/root.ts

@@ -1,4 +1,4 @@
-import { Field, Experimental, Gadgets } from 'o1js';
+import { Experimental, Field, Gadgets } from 'o1js';
 const { ZkFunction } = Experimental;
 
 /**
@@ -29,7 +29,8 @@ const proof = await main.prove(x, y);
 console.timeEnd('prove...');
 
 console.time('verify...');
-let ok = await main.verify(proof, verificationKey);
+let isValid = await main.verify(proof, verificationKey);
 console.timeEnd('verify...');
 
-console.log('ok?', ok);
+console.log('isValid?', isValid);
+if (!isValid) throw Error('verification failed!');