parazyd dedc29430e chore: Update crate dependencies 2 лет назад
..
dchat dedc29430e chore: Update crate dependencies 2 лет назад
dummy-contract 64377fe908 example/dummy-contract: Fix paths 2 лет назад
p2pdebug dedc29430e chore: Update crate dependencies 2 лет назад
array.zk 0e9a9d5bc5 [WIP] Modify parser to support array syntax 2 лет назад
net.rs 83bf68bd49 example/net: remove p2p.run() 2 лет назад
simple.zk 6a024ab801 zkas: Add a field definition on top of the circuit file. 3 лет назад
zk-inclusion-proof.rs 0c7dbc4460 zk/vm: Implement first part of conditional chip selection. 3 лет назад
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 лет назад