 parazyd
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 éve |
|
parazyd
|
99f68db953
zkas: Enforce k declaration on top of the source file.
|
3 éve |
|
parazyd
|
be9013ed31
zkas: Rename "contract" to "witness".
|
3 éve |
|
parazyd
|
488e72c803
proof/encrypt.zk: Update with necessary types and opcodes.
|
3 éve |
 x
|
f918aab7e2
add example of verifiable encryption
|
3 éve |
