 parazyd
|
604f443fd1
chore: Update license header year
|
1 an în urmă |
|
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 ani în urmă |
|
zero
|
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 ani în urmă |
|
zero
|
fd1d154b15
runtime/smt: return early with SUCCESS (but give a warning) if the nullifiers list for changing the tree is empty.
|
2 ani în urmă |
|
zero
|
fb4a521f70
zk/smt: fix broken unit test
|
2 ani în urmă |
|
zero
|
11e39f07cf
mv smt2 smt
|
2 ani în urmă |
|
zero
|
ba60fc05f3
switch zkVM to new SMT gadget
|
2 ani în urmă |
|
zero
|
db67d3bdf0
fix broken smt tests
|
2 ani în urmă |
|
zero
|
376784af2e
zkas/zk: add sparse_tree_is_member() opcode
|
2 ani în urmă |
