| .. |
|
dchat
|
0de97d0db3
chore: Update crate dependencies
|
2 lat temu |
|
dummy-contract
|
0de97d0db3
chore: Update crate dependencies
|
2 lat temu |
|
p2pdebug
|
8778d57b42
chore: Update crate dependencies
|
2 lat temu |
|
array.zk
|
0e9a9d5bc5
[WIP] Modify parser to support array syntax
|
2 lat temu |
|
net.rs
|
0e6f51e895
chore: Update copyright year in license headers
|
2 lat temu |
|
simple.zk
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 lat temu |
|
zk-inclusion-proof.rs
|
0c7dbc4460
zk/vm: Implement first part of conditional chip selection.
|
3 lat temu |
|
zk.rs
|
4532b8d229
for most .zk proofs, provide a corresponding witness.json file which is usable with zkrunner, benchmarks and other utils (using import_witness_json()).
|
2 lat temu |
zero
4532b8d229
for most .zk proofs, provide a corresponding witness.json file which is usable with zkrunner, benchmarks and other utils (using import_witness_json()).