Skip to content

Avoid duplicate L2G trace work in continuations#719

Open
MauroToscano wants to merge 1 commit into
continuations-local-to-globalfrom
continuations-l2g-trace-opt
Open

Avoid duplicate L2G trace work in continuations#719
MauroToscano wants to merge 1 commit into
continuations-local-to-globalfrom
continuations-l2g-trace-opt

Conversation

@MauroToscano

Copy link
Copy Markdown
Contributor

Summary

  • Build continuation epoch traces once and reuse the touched-cell set recorded by that trace build.
  • Stop generating a throwaway genesis-only L2G trace inside build_traces; the continuation driver now installs the real provenance-aware boundary trace.
  • Keep epoch_touched_cells available for tests/helpers, but remove it from the hot continuation proving loop.

Rationale

The continuation prover was replaying each epoch's logs once to collect touched cells, then replaying them again to build traces. The trace build already has the final MemoryState, so it can expose the sparse touched-cell set directly.

build_traces also generated an L2G trace that production immediately overwrote with the cross-epoch provenance-aware boundary. This PR avoids that dead work and leaves L2G construction to the continuation driver.

Verification

  • cargo fmt --all
  • make compile-programs-asm CLANG=/opt/homebrew/opt/llvm/bin/clang
  • cargo test -p lambda-vm-prover continuation -- --nocapture
  • cargo test -p lambda-vm-prover local_to_global -- --nocapture
  • make lint

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant