parazyd 0f125fa2db net: Remove async-std dependency and prefer smol. 3 years ago
..
dchat 44982d320e chore: Update crate dependencies 3 years ago
p2pdebug 44982d320e chore: Update crate dependencies 3 years ago
net.rs 0f125fa2db net: Remove async-std dependency and prefer smol. 3 years ago
simple.zk 6a024ab801 zkas: Add a field definition on top of the circuit file. 3 years ago
zk-inclusion-proof.rs 0c7dbc4460 zk/vm: Implement first part of conditional chip selection. 3 years ago
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. 3 years ago