Skip to content

Prove actual P112 invoices at d=1 and d=2 for t=2,3 - #3689

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
conorholds:submission/p112-audit-clarified
Oct 20, 2026
Merged

Prove actual P112 invoices at d=1 and d=2 for t=2,3#3689
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
conorholds:submission/p112-audit-clarified

Prove actual P112 invoices with audited basis and boundary arguments

3193d1e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 18, 2026 in 2m 19s