parazyd
|
0c7dbc4460
zk/vm: Implement first part of conditional chip selection.
|
3 年之前 |
parazyd
|
8ac1d17077
Use k param from ZkBinary when building VerifyingKey and ProvingKey.
|
3 年之前 |
parazyd
|
29101c4e02
zk: Pass a ZkBinary reference to ZkCircuit::new instead of cloning.
|
3 年之前 |
parazyd
|
1b68e015fa
tests: Add isolated test for consensus proposal proof.
|
3 年之前 |