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 лет назад |
narodnik
|
b853503850
comment on adding vim init set syntax line
|
4 лет назад |
parazyd
|
3447c87dd8
zkas, vm: Implement greater_than opcode for scalar comparison.
|
4 лет назад |
parazyd
|
ecdf01583a
contrib: Add Vim highlighting for zkas.
|
4 лет назад |