 parazyd
|
44b27d0228
contrib/zk.lua: Require spaces for indentation
|
преди 2 години |
|
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 години |
|
parazyd
|
1c8feadcb6
zkas: Implement EcNiPoint type and EcMulVarBase opcode.
|
преди 3 години |
|
parazyd
|
b0c4b76153
contrib/zk.lua: Update range function.
|
преди 3 години |
|
parazyd
|
1c2613f3f4
zk/vm: Allow strict and loose checks for less_than.
|
преди 3 години |
|
parazyd
|
5176dc7df0
zkas: Add opcodes for equality constraints of Base and EcPoint.
|
преди 3 години |
|
Luther Blissett
|
3f29c4f36d
zkas/vm: Add bool_check opcode.
|
преди 3 години |
|
Luther Blissett
|
90407fa4f2
contrib/zk: Add new things in vim and vis lexers.
|
преди 4 години |
|
parazyd
|
3447c87dd8
zkas, vm: Implement greater_than opcode for scalar comparison.
|
преди 4 години |
|
parazyd
|
230ff6fcc6
zk: Add base_sub opcode to VM and arithmetic chip.
|
преди 4 години |
|
parazyd
|
4e774c9710
zk/vm: Add BaseAdd and BaseMul from the arithmetic chip.
|
преди 4 години |
|
parazyd
|
e00c8e0147
zkas: Separate constants into specific types.
|
преди 4 години |
|
parazyd
|
65e189fad6
zkas: Add Uin64 type.
|
преди 4 години |
|
parazyd
|
4773b85097
contrib: Add Uint32 type to zkas LPEG lexer.
|
преди 4 години |
|
parazyd
|
d965a9b9f8
contrib: Add LPEG lexer for the zkas language.
|
преди 4 години |
