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)` 2 år sedan
..
dyn_circuit.rs 0e6f51e895 chore: Update copyright year in license headers 2 år sedan
halo2_vk_ser.rs 47e9d68ef1 sdk/crypto: Forbid PublicKey to ever be the identity point 2 år sedan
jsonrpc.rs c25df52c64 fud | lilith | research/dhtd/ | geode | tests : Refactor to return match statements 2 år sedan
network_transports.rs 0e6f51e895 chore: Update copyright year in license headers 2 år sedan
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)` 2 år sedan
vdf_eval.rs 0e6f51e895 chore: Update copyright year in license headers 2 år sedan
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()). 2 år sedan