parazyd f188c2bb05 chore: Update crate dependencies hace 2 años
..
dchat f188c2bb05 chore: Update crate dependencies hace 2 años
p2pdebug f188c2bb05 chore: Update crate dependencies hace 2 años
array.zk 0e9a9d5bc5 [WIP] Modify parser to support array syntax hace 2 años
net.rs 83bf68bd49 example/net: remove p2p.run() hace 2 años
simple.zk 6a024ab801 zkas: Add a field definition on top of the circuit file. hace 3 años
zk-inclusion-proof.rs 0c7dbc4460 zk/vm: Implement first part of conditional chip selection. hace 3 años
zk.rs 37bd0ccdf4 zk tracer: add a bool pass through instead of using if let idiom. As a consequence we change weaker matches into stronger unwraps. hace 3 años