 x
|
3aa0e3b722
zkas: Implement debug symbols in the compiled binary
|
hai 7 meses |
|
x
|
9785777642
chore: Update copyright license year
|
hai 7 meses |
 parazyd
|
604f443fd1
chore: Update license header year
|
hai 1 ano |
|
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 |
|
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()).
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
fd1d154b15
runtime/smt: return early with SUCCESS (but give a warning) if the nullifiers list for changing the tree is empty.
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
fb4a521f70
zk/smt: fix broken unit test
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
11e39f07cf
mv smt2 smt
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
ba60fc05f3
switch zkVM to new SMT gadget
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
db67d3bdf0
fix broken smt tests
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
376784af2e
zkas/zk: add sparse_tree_is_member() opcode
|
%!s(int64=2) %!d(string=hai) anos |
