parazyd 5945fc5f0d example: Add a dummy contract for easier iterations of runtime changes.

2023-11-27 19:26:18 +01:00

..

dchat

chore: Update crate dependencies

2023-11-09 14:20:57 +01:00

dummy-contract

example: Add a dummy contract for easier iterations of runtime changes.

2023-11-27 19:26:18 +01:00

p2pdebug

chore: Update crate dependencies

2023-11-09 14:20:57 +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