Inphi
Inphi
This completes 64-bit instruction execution (except lld/scd which is handled separately). ## Testing - Differential tests for non-trivial 32-bit instructions asserting backwards compatibility. - Added new tests for 64-bit instructions...
ref: https://github.com/ethereum-optimism/optimism/pull/12484 This is a follow-up PR for https://github.com/ethereum-optimism/optimism/pull/12386 one, which does the same to the solidity part.
The [`cannon-stf-verify` job](https://github.com/ethereum-optimism/optimism/blob/develop/cannon/Makefile#L79) compares the latest cannon STF against an earlier version of cannon. However, this test doesn't detect changes to intermediate state transitions that eventually converge on the same...
Neither `dclo` nor `dclz` are implemented as the Go compiler doesn't emit these. We should assert this is always the case by sanitizing compiled Go programs against these instructions and...
Following up on https://github.com/ethereum-optimism/optimism/pull/12029/files, resolve the TODOs in that PR and wrap up the 64-bit VM. This is done in two phases. First we complete the 64-bit multithreaded Cannon VM...
Write out the scope of a potential audit for MT-Cannon. This should also cover the 64-bit port, including the smart contract implementation and the overall specification of MT-Cannon.
Add 64-bit Go programs to the [testdata/example](https://github.com/ethereum-optimism/optimism/tree/dd2b21ce786f4c1b722bda270348597182153c8e/cannon/testdata/example) directory and include them in the common tests. Note that we still need to support 32-bit Go programs, so the Go build for...
This replaces the 32-bit MT-Cannon tests in CI. See https://github.com/ethereum-optimism/optimism/blob/a12738b7b17f5b2cc00d45c0545866f0b8cae5d4/.circleci/config.yml#L202C1-L212C42
Resolve the TODOs in [`ExecuteMipsInstruction`](https://github.com/ethereum-optimism/optimism/blob/dd2b21ce786f4c1b722bda270348597182153c8e/cannon/mipsevm/exec/mips_instructions.go) to properly emulate various instructions for MIPS64.