-
Notifications
You must be signed in to change notification settings - Fork 1
Pull requests: succinctlabs/sp1-lean
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Track 2: halting shards, the Exit hand-off, and the first boot-to-halt claim
#121
opened Aug 31, 2026 by
dtumad
Contributor
Loading…
Semantics-gap Track 1: the plain-Sail capstone and the honest audit surface
#120
opened Aug 28, 2026 by
dtumad
Contributor
•
6/6
Loading…
Unify Core shard soundness and completeness
#119
opened Aug 25, 2026 by
dtumad
Contributor
•
5/6
Loading…
Hoist shared shard and Core system semantics
#117
opened Aug 25, 2026 by
dtumad
Contributor
•
4/6
Loading…
Unify native bus assembly and prove deterministic completeness for admissible shards
#116
opened Aug 25, 2026 by
dtumad
Contributor
•
3/6
Loading…
Exact-AIR alignment: external-audit response, machine completeness, and exportable witness generation
#115
opened Aug 22, 2026 by
dtumad
Contributor
•
2/6
Loading…
Clean-native verification of SP1's Core RISC-V AIR — whole-chip faithfulness, native AIR-to-Sail capstone, release audit
#110
opened Aug 6, 2026 by
dtumad
Contributor
•
1/6
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.