 parazyd
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 years ago |
|
parazyd
|
99f68db953
zkas: Enforce k declaration on top of the source file.
|
3 years ago |
|
aggstam
|
8e4f93f4a9
proof/*: removed coin_blind from hashes
|
3 years ago |
|
parazyd
|
be9013ed31
zkas: Rename "contract" to "witness".
|
3 years ago |
|
parazyd
|
3686c32591
cherry picked fullwidth pedersen
|
4 years ago |
|
parazyd
|
e00c8e0147
zkas: Separate constants into specific types.
|
4 years ago |
|
parazyd
|
79c59cda17
Move "proofs" to "proof".
|
4 years ago |
|
narodnik
|
78c325fc2c
add merklepath zk type
|
4 years ago |
|
narodnik
|
2f4c5b24ad
merge patch for proof/mint.zk from halo2-burn branch
|
4 years ago |
