lunar-mining f8dc600fd9 dchat: renamed dchat to dchatd and add placeholder dchat-cli 2 yıl önce
..
dchat f8dc600fd9 dchat: renamed dchat to dchatd and add placeholder dchat-cli 2 yıl önce
dummy-contract 212a8c0957 example/dummy-contract: Exclude from main workspace 2 yıl önce
p2pdebug 295c8dcff9 chore: Update crate dependencies 2 yıl önce
array.zk 0e9a9d5bc5 [WIP] Modify parser to support array syntax 2 yıl önce
net.rs 83bf68bd49 example/net: remove p2p.run() 2 yıl önce
simple.zk 6a024ab801 zkas: Add a field definition on top of the circuit file. 3 yıl önce
zk-inclusion-proof.rs 0c7dbc4460 zk/vm: Implement first part of conditional chip selection. 3 yıl önce
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 yıl önce