Skip to content

docs: EF-shareable EIP-8282 proof snapshot #20

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
Th0rgal wants to merge 14 commits into
base: main
Choose a base branch
from
Open

docs: EF-shareable EIP-8282 proof snapshot #20

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
1727dd8
Jumpdests: close the four D_J scans by kernel decide, not native_decide
Th0rgal Aug 24, 2026
2d8ec40
Retire the "D_J_aux is partial" justification for A-NATIVE-DECIDE
Th0rgal Aug 24, 2026
d99489d
Bytecode: Array UInt8 literals so D_J reduces in the kernel
Th0rgal Aug 24, 2026
3b50b91
Parents: state the jumpdest tables as Xi's own D_J, not literal arrays
Th0rgal Aug 24, 2026
8cce701
Trust: print all four validJumps bridges; drop stale partial-D_J_aux …
Th0rgal Aug 24, 2026
c66ccaf
Assumptions: A-NATIVE-DECIDE is a cost limit, not an FFI/RLP blocker
Th0rgal Aug 24, 2026
f4b110b
Wave-5 control parent: native_decide is a cost limit, not an FFI blocker
Th0rgal Aug 24, 2026
a917c91
Narrow the Ξ-table claim to fragments that consume the tables
Th0rgal Aug 24, 2026
bf4a16c
Node 4: run the pinned init images under Xi to close C4's code-deposi…
Th0rgal Aug 25, 2026
2c11cc9
docs: create EF-shareable proof snapshot
Th0rgal Aug 25, 2026
62b391e
docs: simplify EF README and document verification commands
Th0rgal Aug 25, 2026
c355bb9
Merge origin/main into docs/ef-shareable-node4
Th0rgal Aug 28, 2026
62d3ee3
docs: refresh EF snapshot status against live campaign heads
Th0rgal Aug 28, 2026
c3f3c1d
Merge main (25036b8) into docs/ef-shareable-node4 and refresh the EF …
Th0rgal Sep 1, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 0 additions & 16 deletions .cursor/Dockerfile
View file
Open in desktop

This file was deleted.

7 changes: 0 additions & 7 deletions .cursor/environment.json
View file
Open in desktop

This file was deleted.

16 changes: 0 additions & 16 deletions .cursor/install.sh
View file
Open in desktop

This file was deleted.

33 changes: 0 additions & 33 deletions AGENTS.md
View file
Open in desktop

This file was deleted.

292 changes: 78 additions & 214 deletions README.md
View file
Open in desktop

Large diffs are not rendered by default.

215 changes: 0 additions & 215 deletions audit/CAMPAIGN.md
View file
Open in desktop

This file was deleted.

28 changes: 0 additions & 28 deletions audit/CLOUD_ORCHESTRATOR.md
View file
Open in desktop

This file was deleted.

Loading
Loading