Skip to content

Move transcript replay to proof shape#1376

Merged
kunxian-xia merged 1 commit into
recursion-v2-three-modulesfrom
move-vmpvs-transcript-to-proof-shape
Jul 3, 2026
Merged

Move transcript replay to proof shape#1376
kunxian-xia merged 1 commit into
recursion-v2-three-modulesfrom
move-vmpvs-transcript-to-proof-shape

Commits

Commits on Jul 2, 2026