 zero
|
9188a62bb3
smt: simplify ZK gadget. Use `root = sparse_merkle_root(pos, path, leaf)` instead of the more complicated `is_member = sparse_tree_is_member(root, path, pos, leaf)`
|
2 years ago |
|
zero
|
ba60fc05f3
switch zkVM to new SMT gadget
|
2 years ago |
|
zero
|
376784af2e
zkas/zk: add sparse_tree_is_member() opcode
|
2 years ago |
|
parazyd
|
0e6f51e895
chore: Update copyright year in license headers
|
2 years ago |
 x
|
1b35330082
zkrunner/pydrk: add --trace argument to zkrunner, and appropriate changes to the py bindings.
|
3 years ago |
|
parazyd
|
0c7dbc4460
zk/vm: Implement first part of conditional chip selection.
|
3 years ago |
|
parazyd
|
281aa87faf
zk/vm: Implement zero_cond opcode.
|
3 years ago |
|
parazyd
|
f4932072c6
zkvm: Implement cond_select opcode.
|
3 years ago |
|
parazyd
|
a326a67901
zkas: Add basic debug prints
|
3 years ago |
|
parazyd
|
71cd3064d6
Update license year.
|
3 years ago |
|
parazyd
|
1c8feadcb6
zkas: Implement EcNiPoint type and EcMulVarBase opcode.
|
3 years ago |
|
parazyd
|
1c2613f3f4
zk/vm: Allow strict and loose checks for less_than.
|
3 years ago |
|
parazyd
|
5176dc7df0
zkas: Add opcodes for equality constraints of Base and EcPoint.
|
3 years ago |
|
parazyd
|
8ae84ad7f9
Add license header to source files.
|
3 years ago |
|
Luther Blissett
|
3f29c4f36d
zkas/vm: Add bool_check opcode.
|
3 years ago |
|
Luther Blissett
|
40d909552c
zkas: Enforce range checks to be 64 or 253 bits.
|
4 years ago |
|
Luther Blissett
|
a1732be74e
zkas/compiler: Introduce .literal section in bincode, and add remaining code.
|
4 years ago |
|
Luther Blissett
|
6dfafe7f2f
zkas: Add more opcodes and rework a few functions.
|
4 years ago |
|
Luther Blissett
|
2234d6b812
zkas: Remove GreaterThan opcode.
|
4 years ago |
|
mohab
|
9ab936d960
[script/research/crypsinous] update docs
|
4 years ago |
|
parazyd
|
3447c87dd8
zkas, vm: Implement greater_than opcode for scalar comparison.
|
4 years ago |
|
parazyd
|
230ff6fcc6
zk: Add base_sub opcode to VM and arithmetic chip.
|
4 years ago |
|
parazyd
|
4e774c9710
zk/vm: Add BaseAdd and BaseMul from the arithmetic chip.
|
4 years ago |
|
parazyd
|
e00c8e0147
zkas: Separate constants into specific types.
|
4 years ago |
|
parazyd
|
17f6638a03
zkas: Move toolchain into main library and the binary into bin/ namespace.
|
4 years ago |
