adria0.eth

JSON Test suite

2

This PR removes the JSON tests embedded in the code and creates a JSON file with the _instructions_ about how to execute those tests. This allows to: - Do not...

Prometheus metrics

3

Implements #11725 - Updates rust version to 2018, uses `async` - Uses `tokio-runtime 0.1.2` with tokio 0.2 backend. - New trait `PrometheusMetrics` implemented it in `Client` and `EthSync` - Hyper...

Update to last develop branch (https://github.com/ethereum/tests/commit/cf0927a499e33f80b4db7d0c08ca0992911ed338)

We don't know anything about the backed Escapable token type, so in`authorizePayment()` we cannot assume that the `_amount` larger than `2**128` in `_paymentDelay` is a valid value or not.

Currently `callop.rs` and `error_oog_call.rs` (and probably more to come) are sharing an important amount of code. It will be nice to refactor both.

Find a way to get information about circuit testing costs

2

We have to run a lot of tests, some in the CI pipeline but a bunch of other tests (eth, benches, etc...) that will be really interesting to have a...

There is a Lasso implementation in https://github.com/DoHoonKim8/halo2-lasso made by @DoHoonKim8. Maybe makes sense to integrate it as an experimental feature.

### What command(s) is the bug in? testool --oneliner "call 12;602000" ### Describe the bug Testool fails to execute a simple transaction ``` testool git:(main) ✗ cargo run --release --...

Transaction receipts

1

### Describe the feature you would like A missing piece for the zkEVM is the Transaction Receipts. The the components for implementing these are: - [Logs](https://github.com/ethereum/go-ethereum/blob/052355f5e2b1726552fdb38a94cf6ea1506caf95/core/types/log.go#L29) - [Bloom filter](https://github.com/ethereum/execution-specs/blob/master/src/ethereum/shanghai/bloom.py) -...

At this moment we describe the protections that geth offers in the opcodes (U64 overflow, out of gas, etc..), in [error_state](https://github.com/privacy-scaling-explorations/zkevm-specs/tree/master/specs/error_state). This acts as a preconditions that really models how...