zero 9188a62bb3 smt: simplify ZK gadget. Use `root = sparse_merkle_root(pos, path, leaf)` instead of the more complicated `is_member = sparse_tree_is_member(root, path, pos, leaf)` %!s(int64=2) %!d(string=hai) anos
..
dyn_circuit.rs 0e6f51e895 chore: Update copyright year in license headers %!s(int64=2) %!d(string=hai) anos
halo2_vk_ser.rs 47e9d68ef1 sdk/crypto: Forbid PublicKey to ever be the identity point %!s(int64=2) %!d(string=hai) anos
jsonrpc.rs c25df52c64 fud | lilith | research/dhtd/ | geode | tests : Refactor to return match statements %!s(int64=2) %!d(string=hai) anos
network_transports.rs 0e6f51e895 chore: Update copyright year in license headers %!s(int64=2) %!d(string=hai) anos
smt.rs 9188a62bb3 smt: simplify ZK gadget. Use `root = sparse_merkle_root(pos, path, leaf)` instead of the more complicated `is_member = sparse_tree_is_member(root, path, pos, leaf)` %!s(int64=2) %!d(string=hai) anos
vdf_eval.rs 0e6f51e895 chore: Update copyright year in license headers %!s(int64=2) %!d(string=hai) anos
zkvm_opcodes.rs 4532b8d229 for most .zk proofs, provide a corresponding witness.json file which is usable with zkrunner, benchmarks and other utils (using import_witness_json()). %!s(int64=2) %!d(string=hai) anos