11 Commits

Author	SHA1	Message	Date
x	3aa0e3b722	zkas: Implement debug symbols in the compiled binary	2026-01-07 09:22:55 +00:00
x	9785777642	chore: Update copyright license year ... Happy 2026!	2026-01-01 11:40:45 +00:00
parazyd	604f443fd1	chore: Update license header year	2025-01-24 10:36:02 +01:00
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)	2024-04-02 09:39:38 +02:00
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()).	2024-03-27 11:30:04 +01:00
zero	fd1d154b15	runtime/smt: return early with SUCCESS (but give a warning) if the nullifiers list for changing the tree is empty.	2024-03-19 10:26:01 +01:00
zero	fb4a521f70	zk/smt: fix broken unit test	2024-03-18 16:56:59 +01:00
zero	11e39f07cf	mv smt2 smt	2024-03-18 11:51:59 +01:00
zero	ba60fc05f3	switch zkVM to new SMT gadget	2024-03-18 11:48:36 +01:00
zero	db67d3bdf0	fix broken smt tests	2024-03-12 16:06:19 +01:00
zero	376784af2e	zkas/zk: add sparse_tree_is_member() opcode	2024-03-09 13:10:14 +01:00