 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
|
281aa87faf
zk/vm: Implement zero_cond opcode.
|
преди 3 години |
|
parazyd
|
f4932072c6
zkvm: Implement cond_select opcode.
|
преди 3 години |
|
parazyd
|
a326a67901
zkas: Add basic debug prints
|
преди 3 години |
|
aggstam
|
83fcb5e98e
contrib: updated lang files
|
преди 3 години |
|
aggstam
|
9ed1ee7710
contrib: zk.lang spec file added
|
преди 3 години |
