Historial de Commits

Autor SHA1 Mensaje Fecha
  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)` hace 2 años
  zero ba60fc05f3 switch zkVM to new SMT gadget hace 2 años
  zero 376784af2e zkas/zk: add sparse_tree_is_member() opcode hace 2 años