 parazyd
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
%!s(int64=3) %!d(string=hai) anos |
|
parazyd
|
99f68db953
zkas: Enforce k declaration on top of the source file.
|
%!s(int64=3) %!d(string=hai) anos |
|
parazyd
|
be9013ed31
zkas: Rename "contract" to "witness".
|
%!s(int64=3) %!d(string=hai) anos |
|
parazyd
|
488e72c803
proof/encrypt.zk: Update with necessary types and opcodes.
|
%!s(int64=3) %!d(string=hai) anos |
 x
|
f918aab7e2
add example of verifiable encryption
|
%!s(int64=3) %!d(string=hai) anos |
