 parazyd
|
f4932072c6
zkvm: Implement cond_select opcode.
|
před 3 roky |
|
parazyd
|
411d25aa85
Use patched halo2_gadgets project-wide.
|
před 3 roky |
|
parazyd
|
be9013ed31
zkas: Rename "contract" to "witness".
|
před 3 roky |
|
parazyd
|
1c8feadcb6
zkas: Implement EcNiPoint type and EcMulVarBase opcode.
|
před 3 roky |
|
parazyd
|
1c2613f3f4
zk/vm: Allow strict and loose checks for less_than.
|
před 3 roky |
|
parazyd
|
a5fc5528de
proof/opcodes.zk: Fix typo
|
před 3 roky |
|
parazyd
|
5176dc7df0
zkas: Add opcodes for equality constraints of Base and EcPoint.
|
před 3 roky |
|
Luther Blissett
|
3f29c4f36d
zkas/vm: Add bool_check opcode.
|
před 3 roky |
|
Luther Blissett
|
a24d9db8e9
tests: Add test units to test all zkvm opcodes.
|
před 4 roky |
