spec: Move to the epoch system - #642

Merged

RobinJadoul merged 16 commits into

Jul 23, 2026

Commits on Jul 20, 2026

spec: Draft streaming prover approaches
RobinJadoul
committed
624998d
editorial
RobinJadoul
committed
e036c11
Update spec/streaming.typ

RobinJadoul
and
erik-3milabs
committed
2954c30
Make asides referenceable
RobinJadoul
committed
d4bd564
Update continuations spec for chosen variant
RobinJadoul
committed
d4ceec2
Bring commit into the global memory argument
RobinJadoul
committed
5ecf23a
Make timestamps 32-bits in the epoch world
RobinJadoul
committed
30a43fb
Remove future note in favor of #694
RobinJadoul
committed
0f721cd
AI review fixes
RobinJadoul
committed
86858e5
Elaborate on commitment cleanup by the verifier
RobinJadoul
committed
334da01
Apply suggestions from code review

RobinJadoul
and
cdesaintguilhem
committed
c861e78
Remove prev_pc_timestamp_borrow
RobinJadoul
committed
2049d67
1-indexing of epochs remark
RobinJadoul
committed
4fc0781
Halt constraint aesthetic
RobinJadoul
committed
4c58971
ECSM timestamp as Word
RobinJadoul
committed
fe92c27

Commits on Jul 23, 2026

Clarity
RobinJadoul
committed
654e67a