3 Commits

Author	SHA1	Message	Date
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	ba60fc05f3	switch zkVM to new SMT gadget	2024-03-18 11:48:36 +01:00
zero	376784af2e	zkas/zk: add sparse_tree_is_member() opcode	2024-03-09 13:10:14 +01:00