o1js
Version:
TypeScript framework for zk-SNARKs and zkApps
10 lines (7 loc) • 382 B
text/typescript
import { assert } from 'console';
import { VerificationKey } from './verification-key.js';
console.log('verification key consistency check (generated and cached)');
let generated = await VerificationKey.dummy();
let cached = VerificationKey.dummySync();
assert(generated.data === cached.data, 'data equals');
assert(generated.hash.equals(cached.hash).toBoolean(), 'hash equals');