 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 年之前 |
|
parazyd
|
be9013ed31
zkas: Rename "contract" to "witness".
|
3 年之前 |
 x
|
ee108d0147
zk inclusion proof example
|
3 年之前 |
