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

Currently unused, but will probably be expanded to define proofs over
different fields.

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

..

dchat

chore: Update crate dependencies

2023-08-12 13:01:32 +02:00

p2pdebug

chore: Update crate dependencies

2023-08-12 13:01:32 +02:00

net.rs

repo: updated everything to merged stuff

2023-06-29 16:13:43 +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/vm: Implement first part of conditional chip selection.

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