parazyd bec3b520e5 dchat: Remove stray lines in Cargo.toml

2024-01-08 12:52:14 +01:00

..

dchat

dchat: Remove stray lines in Cargo.toml

2024-01-08 12:52:14 +01:00

dummy-contract

example/dummy-contract: Fix paths

2024-01-08 12:47:22 +01:00

p2pdebug

chore: Update crate dependencies

2023-12-04 19:58:59 +01:00

array.zk

[WIP] Modify parser to support array syntax

2023-10-04 10:20:23 -04:00

net.rs

example/net: remove p2p.run()

2023-08-25 04:33:53 +03:00

simple.zk

zkas: Add a field definition on top of the circuit file.

2023-08-14 17:09:18 +02:00

zk-inclusion-proof.rs

zk/vm: Implement first part of conditional chip selection.

2023-07-22 16:22:26 +02:00

zk.rs

zk tracer: add a bool pass through instead of using if let idiom. As a consequence we change weaker matches into stronger unwraps.

2023-08-19 13:13:26 +02:00