rr0.5.0

record-replay 0.5.0 release note

Full Changelog: rr0.4.2...rr0.5.0

Updates

• Based on Geth v1.13.15. geth-v1.13.15...rr0.5.0
• Support hard fork Cancun (19_426_587).
• Fixed the critical issue of substate-cli replay-fork in reporting correct outputs as misc errors.
• Renamed substate-cli db-upgrade to substate-cli db-rr0.3-to-rr0.4 or substate-cli db-rlp2proto to avoid any confusion.
• New substate-cli db-export to save hashed/unhashed substates in binary/JSON(Base64)

Important notes

• Geth v1.13 cannot run geth import directly on Geth v1.10 DB (--datadir) because PoS support is marked unavailable. We should run Geth v1.11.6 to upgrade the old Geth DB to mark that PoS support is available.
  • One simple solution is importing the genesis block, ./geth-1.11.6 --datadir datadir.geth-1.10 import genesis.rlp. We can obtain the genesis block running geth export genesis.rlp 0 with any version of initialized Geth.
  • Since v1.12, Geth expects TerminalTotalDifficultyPassed in chain configs to be true, while Geth v1.10 sets it to false. Geth v1.11.6 can change TerminalTotalDifficultyPassed from false to true.
• Although Geth v1.13.15 supports Goleveldb or Pebble for its DB engine, rr0.5 recorder and replayer support only Goleveldb for its substate DB (--substatedir).

Faithful replay check

• rr0.5.0 recorder, rr0.5.0 replayer
  • --block-segment 1-19_000_000 (--block-segment 0-19M): OK
  • --block-segment 19_000_001-19_500_000 (--block-segment 19000-19500k): OK
• rr0.4.2 recorder, rr0.5.0 replayer (backward compatibility)
  • --block-segment 1-18_000_000 (--block-segment 0-18M): OK
• rr0.5.0 recorder, rr0.4.2 replayer (forward compatibility)
  • --block-segment 1-19_000_000 (--block-segment 0-19M): OK
  • --block-segment 19_000_001-19_426_586: OK

rr0.4.2

record-replay 0.4.2 release note

Full Changelog: rr0.4.1...rr0.4.2

Updates

• Fix the critical issue of substate-cli replay-fork reporting correct outputs as misc errors (backport)

rr0.4.1

record-replay 0.4.1 release note

Full Changelog: rr0.4.0...rr0.4.1

Updates

• Add CHANGELOG.md
• Add a new version of substate-cli db-upgrade command to convert rr0.3 RLP substates to rr0.4 Protobuf substates.
  With --blockchain option, db-upgrade reads tx types from exported blockchain files.
  Without --blockchain, db-upgrade guesses tx types from the values of access lists and gas fees, as long as it guarantees faithful transaction replay.
• New make record-replay target for selectively faster compilation of recorder and replayer. Simpler targets make rr and make.
• Update substate-cli replay-fork to support The Merge and Shanghai hard forks.
  The Merge hard fork replaces DIFFICULTY instruction with PREVRANDAO instruction.
  PREVRANDAO requires BlockContext.Random but it is always nil for the pre-merge blocks.
  substate-cli replay-fork assigns 0 to BlockContext.Random for those pre-merge blocks.

record-replay 0.4.0

record-replay 0.4.0 release note

Full Changelog: rr0.3.4...rr0.4.0

Updates

• Put record-replay version as the postfix of --version information. For example, geth --version prints geth version 1.11.6-rr0.4.0-commit instead of geth version 1.11.6-commit.
• Use Protobuf 2 for type Substate definition to replace type Substaet, type SubstateRLP, and type SubstateJSON. Because Protobuf supports serialization to both binary and JSON, additional type definitions for serialization (SubstateRLP, SubstateJSON) are no longer required. Protobuf definition file research/substate.proto can be used for other languages.
• Support hard fork Paris a.k.a. "The Merge" for PoS support (15_537_394) and Shanghai (17_034_870).
• substate-cli rr0.3-db-* for legacy rr0.3 substate DB manipulation commands.
• The recorder runs the faithful replay test with the captured substates while recording. If the test fails, the recorder immediately stops and saves the problematic substates to JSON files to check.
• substate-cli db-clone and substate-cli db-compact with rr0.4 support
• Add a new command geth record-substate for recording substates and revert geth import to be same as the unmodified Geth without substate recording.

Important notes

• Still based on Geth v1.11.6, because source code to import and process PoW blocks is deleted since Geth v1.12
• rr0.4.0 does not provide substate-cli db-upgrade command to convert rr0.3 RLP substates to rr0.4 Protobuf substates. rr0.4 requires Message.TxType but rr0.3 does not have it. In the next release, there will be a newer version of substate-cli db-upgrade command which can guess tx types from access lists and gas fee values, or supplements tx types from Geth database, exported blockchain files, or text/CSV/JSON files.
• Still using Goleveldb as database backend. It requires more literature reviews and preliminary experiments to find a proper DB backend and DB schema.

Faithful replay test

• rr0.4.0 recorder, --block-segment 1-18_000_000 (--block-segment 0-18M): OK

record-replay 0.3.4

record-replay 0.3.4 Releate Note

Full Changelog: rr0.3.3...rr0.3.4

Updates

• Support hard fork Gray Glacier (15_050_000).
• Based on Geth v1.11.6. (Geth dropped PoW support since v1.12 and the code to import PoW blockchain is completely removed.)
• Fix conflicts, cyclic imports, and issues from changes in Geth software architecture and APIs
• --worker=0 to use the number of physical cores.
• --block-segment flag as a new way to pass block range.
• Refactored substate-cli replay-* and substate-cli db-* commands to use flags instead of positional arguments.
• substate-cli replay clears log fields that are not saved in DB and not used in comparison before reporting inconsistent output.

Important Notes

• No support for hard fork Paris, a.k.a The Merge (15_537_394) for PoS in rr0.3.4.
• rr0.3.4 will be the last rr0.3 patch using goleveldb as DB backend and RLP for substate encoding. rr0.4 will come with different encoding and DB backend. (#2 for more details.)

Compatibility Test

Tested compatibility between rr0.3.4 replayer and substate DBs from recorder versions:

• rr0.2.0 recorder, --block-segment 1-9_000_000 (--block-segment 0-9M): OK
• rr0.3.0 recorder, --block-segment 9_000_001-15_000_000 (--block-segment 9-15M): OK
• rr0.3.4 recorder, --block-segment 15_000_001-15_500_000 (--block-segment 15000-15500k): OK
• rr0.3.4 recorder, --block-segment 15_500_001-16_000_000: ERROR, rr0.3.4 recorder does not capture BlockContext.Random for The Merge for PoS.

record-replay 0.3.3

record-replay 0.3.3 release note

IMPORTANT: 10 transactions recorded with rr0.2 in 9-10M blocks produce inconsistent output in rr0.3 replayer. (#1 for more details). The working solution is recording those 10 transactions again with rr0.3 recorder, or ignoring the last SSTORE key accessed in STATICCALL in those 10 transactions.

Full Changelog: rr0.3.2...rr0.3.3

• Improved docs and output messages

record-replay 0.3.2

record-replay 0.3.2 release note

Full Changelog: rr0.3.1...rr0.3.2

• Fix stats and messages from SubstateTaskPool.Execute
• Update README.md and --help messages

record-replay 0.3.1

record-replay 0.3.1 release note

• Fixed GetBlockSubstates() to decode legacy substates properly

Full Changelog: rr0.3.0...rr0.3.1

record-replay 0.3.0

record-replay 0.3.0 release note

• Based on Geth 1.10.15
• Support recording and replaying beyond London hard fork (block #12,965,000, fee market from EIP-1559)
• Support recording beyond Arrow Glacier hard fork (block #13,773,000)

record-replay 0.2.0

record-replay 0.2.0 release note

• Based on Geth v1.10.3
• New substate DB layout (use substate-cli db upgrade to upgrade from 0.1.0's)
• Support recording and replaying beyond Berlin hard fork (block #12,244,000 access list from EIP-2930)
• Off-the-chain replayer optimization (~10% faster replay speed)