 parazyd
|
3447c87dd8
zkas, vm: Implement greater_than opcode for scalar comparison.
|
4 år sedan |
|
parazyd
|
230ff6fcc6
zk: Add base_sub opcode to VM and arithmetic chip.
|
4 år sedan |
|
parazyd
|
4e774c9710
zk/vm: Add BaseAdd and BaseMul from the arithmetic chip.
|
4 år sedan |
|
parazyd
|
e00c8e0147
zkas: Separate constants into specific types.
|
4 år sedan |
|
parazyd
|
65e189fad6
zkas: Add Uin64 type.
|
4 år sedan |
|
parazyd
|
4773b85097
contrib: Add Uint32 type to zkas LPEG lexer.
|
4 år sedan |
|
parazyd
|
d965a9b9f8
contrib: Add LPEG lexer for the zkas language.
|
4 år sedan |
