Continuations (Approach 2): prove executions epoch-by-epoch - #685

Merged

MauroToscano merged 66 commits into

mainfrom

continuations-local-to-global

Jun 29, 2026

Commits on Jun 5, 2026

split execution into epochs
nicole-graus
committed
42e5753
Add an initial-memory image
nicole-graus
committed
af01024
build a single epoch's traces
nicole-graus
committed
83c4a45
Add an is_final flag for halt
nicole-graus
committed
e6f93b4
Make the HALT table optional
nicole-graus
committed
5b3fb3b
Add a register_init parameter to VmAirs::new for the REGISTER preprocessed commitment
nicole-graus
committed
9125571

Commits on Jun 9, 2026

Commits on Jun 11, 2026

Commits on Jun 12, 2026

add global_memory for init-elf binding
nicole-graus
committed
360c88f
add clasification into stack vs data/heap in bench_continuation
nicole-graus
committed
ddfd5b8

Commits on Jun 16, 2026

store memory in dense per-page arrays instead of per-cell HashMaps
nicole-graus
committed
6a318b9

Commits on Jun 17, 2026

update doc
nicole-graus
committed
301cc99
Range-check the local-to-global continuation table columns
nicole-graus
committed
3ca8d22

Commits on Jun 18, 2026

Commits on Jun 19, 2026

Revert the local-to-global MU wiring to Design X (MU gates every L2G interaction, including the epoch-local Memory-bus bookend), because the Design Y variant that gated only the GlobalMemory bus is…
nicole-graus
committed
6e7aaa7

Commits on Jun 22, 2026

Bind cross-epoch register
nicole-graus
committed
c34cebe
Bind continuation epoch and global proofs to their statement in Fiat-Shamir (ELF, epoch label, epoch, count)
nicole-graus
committed
c903f4e
update md
nicole-graus
committed
3ff5516

Commits on Jun 23, 2026

carry the x254 commit index across epochs
nicole-graus
committed
5ac0d91
Merge origin/main into continuations-local-to-global.
nicole-graus
committed
c130939

Commits on Jun 24, 2026

Force continuation epoch size to a power of two
nicole-graus
committed
28ea2fa
Use a power-of-two epoch size in tests
nicole-graus
committed
ff11f07
Add a test with a non-power-of-two epoch size
nicole-graus
committed
d6ecb84
Split the integrated continuation prove+verify
nicole-graus
committed
c112739
CLI continuation flag
nicole-graus
committed
6f49b67
Merge branch 'main' into continuations-local-to-global
nicole-graus
authored
d7c4357
Merge branch 'main' into continuations-local-to-global
MauroToscano
authored
9a7afca

Commits on Jun 25, 2026

Commits on Jun 26, 2026

Commits on Jun 29, 2026

add doc and debug_assert
nicole-graus
committed
47fe812