Skip to content

Construct borrowed centre storage and masked query units - #4718

Merged
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
aliromman:codex/borrowed-centre-storage-publication
Oct 22, 2026
Merged

Construct borrowed centre storage and masked query units#4718
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
aliromman:codex/borrowed-centre-storage-publication

Add full-W borrowed-record component and all-output equivalence proof

f6dea33
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 22, 2026 in 3m 15s