 skoupidi
|
080417bb3f
chore: replaced all MerkleTree::new(100) with MerkleTree::new(1) for consistency
|
vor 2 Jahren |
|
parazyd
|
47e9d68ef1
sdk/crypto: Forbid PublicKey to ever be the identity point
|
vor 2 Jahren |
|
zero
|
2094274851
add a Blind type to the SDK, which is used in all bullas as the explicit blinding factor.
|
vor 2 Jahren |
|
zero
|
7ada52b28b
rename mod_r_p() -> fp_mod_fv(), and mod_p_r_unsafe() -> fv_mod_fp_unsafe()
|
vor 2 Jahren |
|
parazyd
|
0e6f51e895
chore: Update copyright year in license headers
|
vor 2 Jahren |
|
parazyd
|
0c7dbc4460
zk/vm: Implement first part of conditional chip selection.
|
vor 3 Jahren |
|
parazyd
|
8ac1d17077
Use k param from ZkBinary when building VerifyingKey and ProvingKey.
|
vor 3 Jahren |
|
Dastan-glitch
|
ea10c80b3c
tests: halo2_vk_ser missing argument while VerifyingKey
|
vor 3 Jahren |
|
parazyd
|
29101c4e02
zk: Pass a ZkBinary reference to ZkCircuit::new instead of cloning.
|
vor 3 Jahren |
|
parazyd
|
5d9a954235
tests: Extend zkvm tests for zero_cond opcode.
|
vor 3 Jahren |
|
parazyd
|
8257d7cdbe
sdk: Replace incrementalmerkletree with bridgetree crate.
|
vor 3 Jahren |
|
parazyd
|
88e99b9f69
Actually fix the test
|
vor 3 Jahren |
|
parazyd
|
770fc3213a
tests: Fix halo2_vk_ser test.
|
vor 3 Jahren |
|
parazyd
|
39dd16e9a9
tests: Fix halo2_vk_ser test.
|
vor 3 Jahren |
|
parazyd
|
bd6a6bfaf2
zkas: Rename "stack" to "heap".
|
vor 3 Jahren |
|
parazyd
|
db48d24580
zk/proof: Implement VerifyingKey serialization.
|
vor 3 Jahren |
