Jacqueline Nabaglo
8ded9e8455
Minor: William comment
2023-06-13 10:39:11 -07:00
Jacqueline Nabaglo
6920992e01
Simplify stack bounds constraints
2023-06-07 18:27:23 -07:00
Jacqueline Nabaglo
0117541909
Merge pull request #1071 from mir-protocol/jacqui/bad-opcode-witness-generation
...
Error handling
2023-06-07 15:49:07 -07:00
Jacqueline Nabaglo
ae290dbf11
William PR comments
2023-06-07 14:58:59 -07:00
wborgeaud
0f7e1c0b61
Call stack depth ( #1081 )
2023-06-07 18:54:06 +02:00
wborgeaud
0f8743174e
Minor fix to REVERT ( #1080 )
2023-06-07 16:06:31 +02:00
wborgeaud
90bb4741b3
RIPEMD doesn't get untouched ( #1079 )
2023-06-07 13:50:23 +02:00
wborgeaud
fd48e5d1bc
Contract creation fixes ( #1078 )
...
* Minor fixes in contract creation
* Minor
2023-06-07 13:29:58 +02:00
wborgeaud
77f0d8b58f
Don't revert state in CREATE in case of OOF or nonce overflow ( #1077 )
2023-06-07 10:41:58 +02:00
wborgeaud
63a6e70646
Fill BLOCKHASH and PREVRANDAO syscalls with dummy code ( #1076 )
2023-06-07 10:13:51 +02:00
wborgeaud
0e23606e77
Revert #1074 ( #1075 )
2023-06-06 18:22:41 +02:00
wborgeaud
5a13b62d1c
Don't overwrite existing account ( #1074 )
2023-06-06 11:16:15 +02:00
Robin Salen
2cf31f5f2d
Prevent shift ops from panicking ( #1073 )
2023-06-06 17:39:36 +10:00
Jacqueline Nabaglo
d33871728d
Commit missing file
2023-06-04 12:46:46 -07:00
Jacqueline Nabaglo
c773476cb9
Minor docs
2023-06-04 12:40:34 -07:00
wborgeaud
55b29cacf8
Remove bootloader.asm ( #1072 )
2023-06-04 19:17:58 +02:00
Jacqueline Nabaglo
3ecf530956
Minor bugfixes
2023-06-04 10:05:28 -07:00
Jacqueline Nabaglo
448bc719d8
Lints
2023-06-03 18:46:24 -07:00
wborgeaud
1d804e46cc
Fix stack after precompiles ( #1061 )
...
* Fix precompiles stack
* Fix EXPMOD bugs (#1063 )
* Fix expmod gas
* Overflow checks
* Many fixes
* Minor
2023-06-03 10:00:56 +02:00
Jacqueline Nabaglo
7ab0bba559
Merge branch 'main' into jacqui/bad-opcode-witness-generation
2023-06-02 21:34:52 -07:00
Jacqueline Nabaglo
b7220428b3
Error handling
2023-06-02 15:51:26 -07:00
wborgeaud
973624f12d
Minor fixes to RETURN and RETURNDATACOPY ( #1060 )
2023-06-02 19:58:04 +02:00
wborgeaud
720faa673d
Fix create OOG because of code deposit cost ( #1062 )
...
* Fix create OOG because of code deposit cost
* Set returndata size to 0 in case of oog
2023-06-02 19:57:46 +02:00
wborgeaud
fbf6591b2d
Warm precompiles earlier ( #1065 )
2023-06-02 19:57:30 +02:00
wborgeaud
f605d912a5
Propagate static flag ( #1066 )
2023-06-02 19:57:23 +02:00
wborgeaud
7307979694
Fix pairing invalid input ( #1067 )
2023-06-02 19:57:14 +02:00
Robin Salen
49bbe4e084
Fix arithmetic stark padding ( #1069 )
2023-06-03 02:51:21 +10:00
Hamish Ivey-Law
0d819cf888
Implement EVM BYTE operation ( #1059 )
...
* Initial implementation of BYTE.
* Large index constraints; byte range check (hat-tip to Jacqui)
* Implement recursive circuit version.
* Rebind variable to avoid exceeding degree limit.
* Integrate BYTE with arithmetic stark and witness generation.
* Clippy.
* Document verification proof; miscellaneous tidying.
* Update CTL mapping.
* Reverse argument order.
* Avoid undesired doctest.
* Address Jacqui's comments.
* Address remaining comments from Jacqui.
2023-06-03 02:16:45 +10:00
wborgeaud
a492d3e1db
Fix revert gas bug
2023-05-25 17:43:25 +02:00
wborgeaud
7dfdacf247
Fix return and revert gas ( #1058 )
2023-05-25 16:47:55 +02:00
wborgeaud
42f3301730
Fix ecrecover edge case ( #1057 )
2023-05-25 14:15:48 +02:00
wborgeaud
c0abefdaf5
Fix DUP in call gas
2023-05-24 18:02:48 +02:00
wborgeaud
e6a7b8c5cb
Add contract creation flag ( #1056 )
...
* Add contract creation flag
* Minor
* Fix intrinsic gas test
2023-05-24 17:49:54 +02:00
wborgeaud
30b97b29e8
Fix DelegateCall bug
2023-05-24 15:44:40 +02:00
wborgeaud
9727eaf1e0
Fix extcodehash when account is empty ( #1055 )
2023-05-24 15:03:02 +02:00
wborgeaud
08a061bc4d
Implement LOG* gas and remove panic ( #1054 )
...
* Implement LOG* gas and remove panic
* Remove stubs
2023-05-24 10:29:34 +02:00
wborgeaud
354664c86c
Fix ecmul ( #1053 )
2023-05-23 17:03:33 +02:00
wborgeaud
6e3036017e
Support for type-2 transactions ( #1052 )
...
* Type-2 txns
* Minor
* Minor
* Fix add11_yml block metadata
* Fix simple_transfer test
* Minor
2023-05-23 15:06:26 +02:00
wborgeaud
9b0092ab1d
Support for type-1 transactions ( #1051 )
...
* Type 1 txn
* Remove magic constants
* Remove useless stack element
* Read correct original value for sk
* EIP-3651
* Fix encoding when TO is 0
* Minor
2023-05-23 09:21:27 +02:00
wborgeaud
15dec6faf9
Encode to as B160. ( #1011 )
2023-05-22 09:16:22 +02:00
wborgeaud
beefc91d73
Pop checkpoint in the right place
2023-05-18 19:04:27 +02:00
wborgeaud
5a7c176ce1
Fix issues related to CREATE2 collisions ( #1050 )
...
* Fix issues related to CREATE2 collisions
* Add error functions
2023-05-18 18:18:33 +02:00
BGluth
e720090e00
Merge pull request #1041 from mir-protocol/storage_addr_h160_to_h256
...
`TrieInputs` now uses `H256` for storage account addresses
2023-05-18 10:17:33 -06:00
wborgeaud
d57b62fff3
Perform jumpdest analysis whenever entering a new context ( #1049 )
2023-05-18 15:48:43 +02:00
wborgeaud
971bfba64a
EIP-2681: Limit account nonce to 2^64-1 ( #1048 )
...
* EIP-2681: Limit account nonce to 2^64-1
* Also for EOA
* Minor
2023-05-18 15:22:36 +02:00
wborgeaud
8faea881c1
Don't add an event for account creation for pre-existing account ( #1047 )
2023-05-18 14:53:13 +02:00
wborgeaud
29fac4caeb
Check balance in create ( #1046 )
2023-05-18 14:37:54 +02:00
wborgeaud
1616c0baa2
Fix extcodecopy
2023-05-18 13:50:34 +02:00
wborgeaud
3a9e5cc0e0
More fixes to contract creation ( #1045 )
2023-05-18 13:41:36 +02:00
BGluth
49979df919
Fixed failing test
2023-05-17 08:44:09 -06:00
