3093 Commits

Author SHA1 Message Date
Daniel Lubarov
7eb0c74166 Randomize unused wires of PublicInputGate 2022-11-14 14:53:06 -08:00
Hamish Ivey-Law
56e291cf4e
Remove signed operation placeholders from arithmetic table. (#812) 2022-11-11 15:09:56 +11:00
Hamish Ivey-Law
1c87fbb712
EVM shift left/right operations (#801)
* First parts of shift implementation.

* Disable range check errors.

* Tidy up ASM.

* Update comments; fix some .sum() expressions.

* First full draft of shift left/right.

* Missed a +1.

* Clippy.

* Address Jacqui's comments.

* Add comment.

* Fix missing filter.

* Address second round of comments from Jacqui.
2022-11-09 10:47:15 +11:00
Daniel Lubarov
7126231b52
Merge pull request #811 from mir-protocol/test_reverse_index_bits
Test reverse_index_bits
2022-11-08 13:56:34 -08:00
Daniel Lubarov
624dabb9e3 clippy 2022-11-08 13:06:01 -08:00
Daniel Lubarov
c622e45246 Test reverse_index_bits
Thanks to Least Authority for this
2022-11-08 12:27:55 -08:00
Daniel Lubarov
692ad9399e
Merge pull request #810 from mir-protocol/le_sum_check
Check that `le_sum` won't overflow
2022-11-08 12:20:12 -08:00
Daniel Lubarov
882297877c security notes 2022-11-08 12:03:58 -08:00
Daniel Lubarov
cab6c18ed6 Check that le_sum won't overflow 2022-11-08 11:55:02 -08:00
Jacqueline Nabaglo
626c2583de
Combine all syscalls into one flag (#802)
* Combine all syscalls into one flag

* Minor: typo

* Daniel PR comments
2022-11-07 12:29:28 -08:00
Daniel Lubarov
98b9f3a462
Merge pull request #809 from mir-protocol/update_criterion
Update criterion
2022-11-07 12:06:24 -08:00
Daniel Lubarov
3dcc0c257e Update criterion 2022-11-07 11:28:24 -08:00
wborgeaud
ce21d134a5
Merge pull request #804 from mir-protocol/static_kernel_in_tests
Use static `KERNEL` in tests
2022-11-07 09:18:49 +01:00
wborgeaud
873f4583f9
Merge pull request #805 from mir-protocol/opcode_count_interpreter
Print opcode count
2022-11-07 09:17:46 +01:00
wborgeaud
4bc2e05702 Print opcode count 2022-11-04 14:38:23 +01:00
wborgeaud
47e6093e37 Use static KERNEL in tests 2022-11-04 13:55:13 +01:00
Jacqueline Nabaglo
ea7fbed33a
Constrain mem_channel.used flag to be binary (#800) 2022-11-02 10:14:33 -07:00
BGluth
0293a65a55 Fixed bad PR merge 2022-11-02 09:45:52 -06:00
BGluth
35e8f282e4
Merge pull request #792 from mir-protocol/eth_trie_utils_0_3_0
Bumped `eth_trie_utils` to `0.4.0`
2022-11-02 09:34:26 -06:00
wborgeaud
0066f079bb
Merge pull request #796 from mir-protocol/account_code_opcodes
Implement `EXTCODEHASH, (EXT)CODESIZE, (EXT)CODECOPY`
2022-11-02 13:53:44 +01:00
wborgeaud
68107502df Merge branch 'main' into account_code_opcodes
# Conflicts:
#	evm/src/cpu/kernel/aggregator.rs
#	evm/src/cpu/kernel/tests/mod.rs
2022-11-02 13:46:14 +01:00
wborgeaud
313402de02
Merge pull request #797 from mir-protocol/balance
Implement `(SELF)BALANCE`
2022-11-02 13:44:29 +01:00
wborgeaud
8198355565 Fix + Use context=0 2022-11-02 11:06:14 +01:00
wborgeaud
70b5dda399 Merge branch 'main' into account_code_opcodes 2022-11-02 10:43:35 +01:00
wborgeaud
35c00fa6a7 Return 0 if account doesn't exist 2022-11-02 10:37:19 +01:00
wborgeaud
ff4210ea78 Return 0 if account doesn't exist 2022-11-02 10:03:40 +01:00
wborgeaud
215e9a6e04
Merge pull request #798 from mir-protocol/use_address_macro
Use address macro instead of opcode
2022-11-01 08:34:07 +01:00
BGluth
8736435ea9 Updated eth_trie_utils to 0.4.0 2022-10-31 15:15:20 -06:00
BGluth
2e7da17554 Bumped eth_trie_utils to 0.3.1 2022-10-31 15:03:34 -06:00
wborgeaud
f3d4e57aa6 Use address macro instead of opcode 2022-10-31 10:48:57 +01:00
wborgeaud
7647c5b51b Use address macro instead of opcode 2022-10-31 10:15:43 +01:00
Dima V
84151f083c
Merge pull request #765 from mir-protocol/Fp12
Fp12 multiplication
2022-10-28 02:30:44 -07:00
Dmitry Vagner
4380a037d2 comment dead code 2022-10-28 02:23:42 -07:00
wborgeaud
6ed6574272 Balance 2022-10-28 11:15:43 +02:00
Dmitry Vagner
aebeb7ac99 fmt 2022-10-28 02:12:57 -07:00
Dmitry Vagner
ccf5cda122 spacing 2022-10-28 02:11:22 -07:00
Dmitry Vagner
f90c058a52 minor 2022-10-28 02:09:56 -07:00
Dmitry Vagner
ad067d1e52 comment about 107 2022-10-28 02:08:56 -07:00
Dmitry Vagner
7d78916a6f merge 2022-10-28 02:03:52 -07:00
Dmitry Vagner
fa05a33040 Merge branch 'main' of github.com:mir-protocol/plonky2 into Fp12 2022-10-28 02:03:47 -07:00
Dmitry Vagner
a8ecdc0f69 improve comments 2022-10-28 02:01:04 -07:00
wborgeaud
f4941b010e
Merge pull request #782 from mir-protocol/cyclic_recursion
Cyclic recursion
2022-10-27 16:01:53 +02:00
wborgeaud
c47f767fc5 PR feedback 2022-10-27 15:45:14 +02:00
wborgeaud
fd96d30e24 Minor 2022-10-27 14:57:17 +02:00
wborgeaud
dc8a62fbee Codecopy test 2022-10-27 11:06:24 +02:00
wborgeaud
6bee508f6a Clippy 2022-10-27 09:56:52 +02:00
wborgeaud
300de9d4d6 Merge branch 'main' into account_code_opcodes 2022-10-27 09:56:04 +02:00
wborgeaud
4c0b3b6079 Working with random address and code 2022-10-27 09:55:33 +02:00
wborgeaud
8b1152c3b3 Working codesize 2022-10-27 09:32:29 +02:00
wborgeaud
eb19225253
Merge pull request #794 from mir-protocol/fix_keccak256_word
Fix `keccak256_word` ASM function
2022-10-27 08:23:10 +02:00