Improve verify assertions in zkprogram crypto examples

Author: Shigoto-dev19

src/examples/crypto/ecdsa/run.ts

@@ -34,13 +34,13 @@ perfKeccakEcdsa.start('prove', 'verifyEcdsa');
 let { proof } = await keccakAndEcdsa.verifyEcdsa(message, signature, publicKey);
 perfKeccakEcdsa.end();
 
-proof.publicOutput.assertTrue('signature verifies');
+proof.publicOutput.assertTrue('signature verification failed!');
 
 perfKeccakEcdsa.start('verify', 'verifyEcdsa');
 const isValid = await keccakAndEcdsa.verify(proof);
 perfKeccakEcdsa.end();
 
-assert(isValid, 'proof verifies');
+assert(isValid, 'proof verification failed!');
 
 // Hardcoded ethers.js signature and inputs for verification in o1js
 
@@ -78,10 +78,10 @@ perfEcdsaEthers.start('prove', 'verifyEthers');
 let { proof: proofE } = await ecdsaEthers.verifyEthers(msgBytes, signatureE, publicKeyE);
 perfEcdsaEthers.end();
 
-proofE.publicOutput.assertTrue('signature verifies');
+proofE.publicOutput.assertTrue('signature verification failed!');
 
 perfEcdsaEthers.start('verify', 'verifyEthers');
 const isValidE = await ecdsaEthers.verify(proofE);
 perfEcdsaEthers.end();
 
-assert(isValidE, 'proof verifies');
+assert(isValidE, 'proof verification failed!');

src/examples/crypto/rsa/run.ts

@@ -28,5 +28,7 @@ let { proof } = await rsaZkProgram.verifyRsa65537(message, signature, modulus);
 perfRsa.end();
 
 perfRsa.start('verify', 'verifyRsa65537');
-await rsaZkProgram.verify(proof);
+let isValid = await rsaZkProgram.verify(proof);
 perfRsa.end();
+
+if (!isValid) throw Error('proof verification failed!');

src/examples/crypto/sha256/run.ts

@@ -26,4 +26,4 @@ if (
   proof.publicOutput.toHex() !== '7509e5bda0c762d2bac7f90d758b5b2263fa01ccbc542ab5e3df163be08e6ca9'
 )
   throw new Error('Invalid sha256 digest!');
-if (!isValid) throw new Error('Invalid proof');
+if (!isValid) throw new Error('Invalid proof!');

src/examples/crypto/sha256/sha256.ts

@@ -1,6 +1,6 @@
-import { Bytes, Gadgets, ZkProgram } from 'o1js';
+import { Bytes, Hash, ZkProgram } from 'o1js';
 
-export { SHA256Program, Bytes12 };
+export { Bytes12, SHA256Program };
 
 class Bytes12 extends Bytes(12) {}
 
@@ -12,7 +12,7 @@ let SHA256Program = ZkProgram({
       privateInputs: [Bytes12],
       async method(xs: Bytes12) {
         return {
-          publicOutput: Gadgets.SHA256.hash(xs),
+          publicOutput: Hash.SHA2_256.hash(xs),
         };
       },
     },