Overview

Bad idea, just a loose test. There could be something to making the merkle root hashing asynchronous (i.e. lazy calculation, not parallelizing sub-trees like here), but the overhead in this method is definitely not it.

Overview

The ELF file patcher was added today, we're now unblocked on porting over the ELF tests. These tests run the binaries in the example directory through the emulator and assert correctness.

Overview

Adds the first round of differential tests for the Rust implementation of the MIPS VM and the Solidity implementation and cleans up the test utilities project structure.

TODO

• [x] Non-oracle tests
• [x] Oracle tests

Overview

Create a workflow that builds cannon-rs as a distributable docker image from this GitHub repository, or allows people to easily build the image themselves locally.

Overview

At the moment, mipsevm's Page data structure uses a bitmap of 128 bits for the invalid address tracking. While this is efficient, it is somewhat restrictive because the page size can no longer be increased without breaking the datastructure. It would be nice to have an alternative solution that is quick to read/write to, does not require much memory, and supports adjustable page sizes.

Overview

Implement a binary for the cannon-rs library that is equivalent in interaction with upstream cannon's binary. The idea here is that cannon-rs should be able to drop-in replace cannon in existing setups, such as the op-challenger, while still retaining the ability to be invoked programmatically in software that is more sane and doesn't invoke it as an executable binary.

Overview

In order for cannon-rs to run the op-program and other MIPS programs that reach out to the Preimage Oracle through the ABI, we'll need to define Rust bindings for the preimage service. This will effectively be a re-write of op-preimage

Overview

As the native implementation of the Cannon emulator must be equivalent to the on-chain version, we'll need to add EVM tests. This will involve porting Cannon's evm_test.go and fuzz_evm_test.go tests into the cannon-mipsevm crate.

Advice

• Use revm and turn USE_GAS off for faster execution. We only need to assert correctness, so gas accounting will just slow these tests down.

Overview

https://github.com/ethereum-optimism/optimism/pull/7559 defines a new binary serialization format for the State and Memory structs, specifically for the snapshots. This should alleviate some of the pain in the Go <> Rust JSON interoperability (context: https://github.com/golang/go/issues/37711 - tl;dr golang does not marshal nil slices as [] in JSON by default.)

Move the serialization of State and Memory over to this format once (or if) this PR is merged.

Overview

Memory in Cannon contains a cache for recently accessed pages, and within those pages a cache for intermediate nodes to reduce the merkleization time. When the page data is invalidated (i.e. it's been changed), the root will need to be recalculated on the next pass.

The program is pretty performant, but merkleization is expensive and takes the most time during each step (w/ proof generation turned on), so it would be great to look into how we can further optimize this codepath to decrease cache misses and redundant recomputation of merkle roots.

Refs:

• fill_subtree_cache and merkleize_subtree in page.rs

Overview

Once the full implementation is complete and is able to run the op-program, it will be great to start benchmarking it. Micro-benchmarks on core data structures, such as cannon-mipsevm's Memory and Page are great, and we'll also want some more end-to-end benchmarks such as executing a full op-program trace as would be done for an on-chain dispute.