3949 Commits

Author SHA1 Message Date
wborgeaud
b7e93511e4
New contract hook (#1002)
* New contract hook

* Minor

* PR feedback
2023-04-24 09:07:00 +02:00
wborgeaud
a4b714e64d
EIP-3541: Reject new contract code starting with the 0xEF byte (#1003)
* EIP-3541: Reject new contract code starting with the 0xEF byte

* Panic instead

* PR feedback
2023-04-24 07:55:04 +02:00
wborgeaud
472face2a5
EIP-3860: Limit and meter initcode (#999)
* EIP3860

* Contract creation tx

* Minor
2023-04-24 07:17:47 +02:00
Daniel Lubarov
ea82d68084
Merge pull request #981 from toposware/serialization
Serialization support for all circuit components
2023-04-22 08:15:30 -07:00
BGluth
b35d25247a
Merge pull request #1001 from mir-protocol/eth_trie_utils_0_6_0_bump
Bumped `eth_trie_utils` to `0.6.0`
2023-04-20 13:57:25 -06:00
BGluth
db93badaf2 Bumped eth_trie_utils to 0.6.0 2023-04-20 11:05:34 -06:00
wborgeaud
1a0a63003d
EIP170 (#1000) 2023-04-20 17:28:33 +02:00
Robin Salen
723f197d0e
Cleanup 2023-04-20 08:36:54 +02:00
Robin Salen
2a9c5cfd32
Add serialization check in square_root example 2023-04-20 07:59:37 +02:00
Robin Salen
bf02a3e87d
Make generators public 2023-04-20 07:59:37 +02:00
Robin Salen
5de5bfb5e4
Move serialization files into dedicated module 2023-04-20 07:59:37 +02:00
Robin Salen
0e465c1ccf
Customize range specification for AllRecursiveCircuits 2023-04-20 07:59:36 +02:00
Robin Salen
f71139d934
Add serialisation support for gates, generators, and various structs
Co-authored-by: Sebastien La Duca <sladuca777@gmail.com>
2023-04-20 07:59:36 +02:00
Robin Salen
f7f5fb4e93
Change display for GoldilocksField 2023-04-20 07:59:34 +02:00
wborgeaud
6edd589138
Gas and more for CREATE(2) (#995)
* Gas

* Codehash

* Minor
2023-04-20 07:00:15 +02:00
wborgeaud
a8e5613bc5
EOA to precompiles logic (#993)
* Start

* Progress

* Comments

* Minor
2023-04-20 06:56:47 +02:00
Nicholas Ward
c0ced26f5e
Merge pull request #992 from mir-protocol/smaller-bignum-modexp-test
less thorough bignum modexp test
2023-04-19 10:56:26 -07:00
Nicholas Ward
ada250f365 Merge branch 'main' into smaller-bignum-modexp-test 2023-04-19 10:39:50 -07:00
Hamish Ivey-Law
d8fef87a87
Only print warning or errors from the log. (#996) 2023-04-20 03:38:00 +10:00
Hamish Ivey-Law
2e16ab0489
Replace %stack calls with equivalent opcodes. (#994) 2023-04-20 01:34:04 +10:00
Nicholas Ward
a704b1523d even less thorough :P 2023-04-17 23:12:43 -07:00
Nicholas Ward
a4f60a0431 less thorough bignum modexp test 2023-04-17 22:41:26 -07:00
Daniel Lubarov
049a258b4a
Merge pull request #991 from mir-protocol/disable_couple_tests
Disable a couple tests
2023-04-17 18:13:58 -07:00
Daniel Lubarov
8562abe0f7 Disable a couple tests
They're slow on CI, and `add11_yml` seems like a better integration test.
2023-04-17 17:32:31 -07:00
Daniel Lubarov
690fd1006d
Merge pull request #990 from mir-protocol/mpt_failure_labels
Labels for failed MPT read/insert
2023-04-17 17:31:04 -07:00
Daniel Lubarov
67593f162a Labels for failed MPT read/insert 2023-04-17 17:27:55 -07:00
Daniel Lubarov
e6864e9828
Merge pull request #985 from toposware/kernel_serial
Provide methods for serializing Kernel
2023-04-17 12:07:51 -07:00
Hamish Ivey-Law
5dfac7155f
Fix generic const expressions warning (#984)
* Fix generic const expressions warning.

* Also for `bench_recursion` example.
2023-04-17 19:05:08 +10:00
Daniel Lubarov
9037ceb0c9
Merge pull request #986 from mir-protocol/incremental_release
Incremental release builds
2023-04-15 11:20:01 -07:00
Daniel Lubarov
eb7468e7e8 Incremental release builds
Since it's a library, in practice release builds are used for slower tests, not for a binary that needs to be reproducible.
2023-04-15 10:45:40 -07:00
Robin Salen
df5a90cca4
Provide methods for serializing Kernel 2023-04-15 11:01:40 -04:00
Daniel Lubarov
6b2503f778
Merge pull request #970 from toposware/env
Env instructions in interpreter
2023-04-14 13:58:10 -07:00
Robin Salen
9d60191d73
Implement returndatasize/returndatacopy for interpreter 2023-04-14 13:22:27 -04:00
Robin Salen
6946eacaca
Implement codesize/codecopy for interpreter 2023-04-14 11:41:39 -04:00
Robin Salen
0f3285c33b
Implement gasprice on the interpreter 2023-04-14 11:41:39 -04:00
Robin Salen
e9cc5632eb
Impl caller/address/origin opcodes for interpreter 2023-04-14 11:41:38 -04:00
wborgeaud
b721236eb3
Precompiles interface (#983)
* Start

* Some sha256 test passing

* precompiles folder

* Files reorg

* Progress

* Minor

* Start of sha2 interface

* All call opcodes

* ecrec

* rip160

* Fix copy_returndata_to_mem

* id

* bn_add

* bn_mul

* TODOs for snarkv and blake2

* Comments

* Use charge_gas_const when possible

* Minor

* Minor

* Minor

* PR feedback
2023-04-14 12:20:28 +02:00
Daniel Lubarov
b896f9b2da
Merge pull request #974 from toposware/stack_bound
Set `stack_len_bounds_aux` properly
2023-04-13 14:40:30 -07:00
Hamy Ratoanina
c8637635b9
Remove dummy_yield_constr 2023-04-13 15:55:46 -04:00
Hamy Ratoanina
4946c3d5fd
Merge branch 'main' into stack_bound 2023-04-13 15:47:27 -04:00
Jacqueline Nabaglo
5fce67d14e
Merge pull request #978 from toposware/stack_constraints
Enable stack constraints
2023-04-13 12:18:38 -07:00
Daniel Lubarov
32a6bdf1cf
Merge pull request #971 from toposware/keccak_sponge_is_final_block
Remove is_final_block column in KeccakSpongeStark
2023-04-12 14:45:56 -07:00
Daniel Lubarov
58f4568e7c
Merge pull request #982 from toposware/sys_chainid
Use Block chain id for sys_chainid
2023-04-12 14:43:43 -07:00
Hamy Ratoanina
92d94dc60d
Use Block chain id for sys_chainid 2023-04-12 15:25:06 -04:00
4l0n50
ba844a2403 Change shl/shr behavior as well as BASIC_TERNARY_OP 2023-04-12 17:35:32 +02:00
wborgeaud
475b2ba0cb
Fix copy_returndata_to_mem (#976) 2023-04-12 16:41:36 +02:00
wborgeaud
c7e60073f0
Check if context is static for state-changing opcodes (#973)
* Check if context is static for state-changing opcodes

* PR feedback
2023-04-12 08:24:33 +02:00
wborgeaud
142be4e114
Implement rest of *CALL opcodes (#972)
* Implement rest of *CALL opcodes

* Use set_new_ctx_code_size macro
2023-04-12 08:04:39 +02:00
Robin Salen
1e57ef96cb
Remove unnecessary constraint 2023-04-11 17:46:48 -04:00
Robin Salen
29726f9257
Apply review 2023-04-11 17:45:37 -04:00