parazyd 9270910db0 chore: Minor license header fix

2023-12-26 13:33:21 +01:00

..

dchat

chore: Minor license header fix

2023-12-26 13:33:21 +01:00

dummy-contract

example/dummy-contract: Exclude from main workspace

2023-11-28 12:42:16 +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