Commit Graph

6 Commits

Author SHA1 Message Date
parazyd
1c8feadcb6 zkas: Implement EcNiPoint type and EcMulVarBase opcode. 2022-12-16 14:11:59 +01:00
parazyd
1c2613f3f4 zk/vm: Allow strict and loose checks for less_than. 2022-11-21 10:20:04 +01:00
parazyd
a5fc5528de proof/opcodes.zk: Fix typo 2022-11-17 20:40:15 +01:00
parazyd
5176dc7df0 zkas: Add opcodes for equality constraints of Base and EcPoint. 2022-11-17 17:32:18 +01:00
Luther Blissett
3f29c4f36d zkas/vm: Add bool_check opcode. 2022-09-08 19:55:09 +02:00
Luther Blissett
a24d9db8e9 tests: Add test units to test all zkvm opcodes.
TODO: Test failures.
2022-08-29 22:41:23 +02:00