 parazyd
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 лет назад |
|
parazyd
|
99f68db953
zkas: Enforce k declaration on top of the source file.
|
3 лет назад |
|
aggstam
|
8e4f93f4a9
proof/*: removed coin_blind from hashes
|
3 лет назад |
|
parazyd
|
be9013ed31
zkas: Rename "contract" to "witness".
|
3 лет назад |
|
Luther Blissett
|
deaed0bdc8
Update zkas proofs merkle root opcode.
|
3 лет назад |
|
parazyd
|
8ef05a186b
crypto: Rework pedersen commitments to allow also full-width base inside zk.
|
4 лет назад |
|
parazyd
|
e00c8e0147
zkas: Separate constants into specific types.
|
4 лет назад |
|
parazyd
|
79c59cda17
Move "proofs" to "proof".
|
4 лет назад |
|
narodnik
|
1c22269d3c
add missing files
|
4 лет назад |
