Jacqueline Nabaglo
29644e5111
Implement PC instruction ( #847 )
...
* Implement `PC` instruction
* lints
2022-12-11 10:41:32 -08:00
Daniel Lubarov
64c385721f
Merge pull request #841 from mir-protocol/more_timing
...
More timing for zkEVM proofs
2022-12-10 23:25:19 -08:00
Daniel Lubarov
94b73e87bc
backtraces
2022-12-09 21:48:36 -08:00
Daniel Lubarov
569cd058a0
log level
2022-12-09 21:48:36 -08:00
Daniel Lubarov
6f841678a5
More timing for zkEVM proofs
2022-12-09 21:48:36 -08:00
Daniel Lubarov
f58556c28d
Merge pull request #845 from mir-protocol/fix_add_eth
...
Fix to `add_eth`
2022-12-09 20:00:55 -08:00
Daniel Lubarov
1c78204df0
fix eth_to_wei
2022-12-09 19:57:02 -08:00
Daniel Lubarov
7557f320d4
Fix to add_eth
...
It was creating a new account with the hash of an empty storage trie, when really it should be a pointer to an empty storage trie. We can use 0 as this pointer since `@SEGMENT_TRIE_DATA[0] = 0 = @MPT_NODE_EMPTY`.
Also a couple tweaks that helped me debug, like moving the memory value range checks from the interpreter into `MemoryState`, so they're done in actual witness generation as well as interpreter tests.
2022-12-09 18:58:48 -08:00
Nicholas Ward
4435cedc69
Merge pull request #842 from mir-protocol/factorial
...
Remove confusing grammatical exclamation point from factorial example
2022-12-09 17:29:38 -08:00
Nicholas Ward
f0e144bb9b
removed confusing grammatical exclamation point from factorial example
2022-12-09 17:29:09 -08:00
Jacqueline Nabaglo
95eeed46f0
Memory load/store constraints ( #839 )
2022-12-09 10:35:00 -08:00
Daniel Lubarov
b5a06f92fa
Merge pull request #837 from mir-protocol/fill_memory_gaps
...
Add dummy reads to fill any large gaps in memory fields
2022-12-09 08:56:56 -08:00
Daniel Lubarov
88f64072ef
Comments
2022-12-09 08:56:49 -08:00
Daniel Lubarov
4ae1d840a9
Merge pull request #838 from mir-protocol/transfer_test
...
Fixes to get test_simple_transfer working
2022-12-08 23:47:58 -08:00
Daniel Lubarov
f4ab65f973
Fixes to get test_simple_transfer working
2022-12-08 23:27:20 -08:00
Daniel Lubarov
1c5590fb22
Add dummy reads to fill any large gaps in memory fields
2022-12-05 15:48:09 -08:00
Daniel Lubarov
eae94c5a6b
Merge pull request #836 from mir-protocol/evm_jemalloc
...
Jemalloc for EVM
2022-12-04 11:41:16 -08:00
Daniel Lubarov
fbb26546dd
Jemalloc for EVM
...
Also update the version used elsewhere.
2022-12-04 10:15:28 -08:00
Daniel Lubarov
7d0ba54e40
Merge pull request #835 from mir-protocol/gen_fixes
...
Misc witness generation fixes
2022-12-03 22:58:59 -08:00
Daniel Lubarov
c28bab1f16
fmt
2022-12-03 22:58:51 -08:00
Daniel Lubarov
bffdc553dc
fixes
2022-12-03 22:44:54 -08:00
Daniel Lubarov
1303a83f7f
Misc witness generation fixes
2022-12-03 21:09:57 -08:00
Daniel Lubarov
a3d8ecc52c
Merge pull request #834 from mir-protocol/use_keccak_sponge
...
Use Keccak sponge table for bootloading
2022-12-03 12:25:34 -08:00
Daniel Lubarov
f4fdb6a12f
Fix
2022-12-03 12:02:51 -08:00
Daniel Lubarov
d091910d79
fmt
2022-12-03 11:22:56 -08:00
Daniel Lubarov
b8b2fefe52
Use Keccak sponge table for bootloading
...
And get rid of the deprecated Keccak memory table.
2022-12-03 11:21:31 -08:00
Daniel Lubarov
4a0fbb289c
Merge pull request #833 from mir-protocol/witness_gen_fixes
...
Fixes & re-enabling most constraints
2022-12-03 08:53:28 -08:00
Daniel Lubarov
20183c260b
Fixes & re-enabling most constraints
2022-12-02 22:47:07 -08:00
Daniel Lubarov
520bb5a8cd
Merge pull request #816 from mir-protocol/jacqui/witness-generation
...
WIP: witness generation
2022-12-02 20:11:09 -08:00
Daniel Lubarov
3c5489493f
Merge pull request #830 from mir-protocol/more-witness-generation
...
Misc work on witness generation
2022-12-02 20:06:01 -08:00
Daniel Lubarov
bfa680fcea
Fix recursive constraints
2022-12-02 19:43:01 -08:00
Daniel Lubarov
21719222de
fmt
2022-12-02 19:19:04 -08:00
Daniel Lubarov
b96c22a4f4
Interpreter fixes
2022-12-02 19:18:37 -08:00
Daniel Lubarov
82d0f08193
clippies
2022-12-02 17:06:30 -08:00
Daniel Lubarov
7293054062
Warnings
2022-12-02 14:49:32 -08:00
Daniel Lubarov
1f92d73177
Misc fixes
2022-12-02 14:31:18 -08:00
Daniel Lubarov
74446659a3
TODO
2022-12-02 14:00:22 -08:00
Daniel Lubarov
a63b73a851
Misc fixes
2022-12-02 13:56:52 -08:00
Hamish Ivey-Law
ce786c7a9c
Halve number of columns used by arithmetic table ( #813 )
...
* Add comments about number of columns used.
* Split modular operations across two rows.
* Fix test setup.
* Use constraint_transition() in common code.
* Ensure all inputs/outputs are on the first row.
* Fix constraint for single-row ops.
* Tidy up loop; make MODULAR_AUX_INPUT length reflect reality.
2022-12-02 17:11:31 +11:00
Daniel Lubarov
4f66d58de5
Fixes
2022-12-01 17:14:40 -08:00
Daniel Lubarov
05ab3d7933
Fixes
2022-12-01 16:23:39 -08:00
Daniel Lubarov
9bf47ef8ac
Fixes
2022-12-01 12:46:14 -08:00
Daniel Lubarov
3069363d35
Keccak fix
2022-12-01 12:13:34 -08:00
Daniel Lubarov
d3aa33975a
generate_keccak_general, generate_byte
2022-12-01 12:06:29 -08:00
Daniel Lubarov
25205f319a
fix
2022-12-01 11:21:52 -08:00
Daniel Lubarov
231042acb6
Pop
2022-12-01 11:21:40 -08:00
Daniel Lubarov
027dfc14b6
Refactor to support PROVER_INPUT
2022-12-01 11:15:51 -08:00
Daniel Lubarov
b6326c56b2
stubs
2022-11-30 22:03:00 -08:00
Daniel Lubarov
ea0e37480d
misc
2022-11-30 21:56:59 -08:00
Daniel Lubarov
19e2239d3a
fix
2022-11-30 21:34:06 -08:00
