Skip to content

Fast, proven Pasta arithmetic + fixture-check speedup - #111

Merged
TalDerei merged 17 commits into
zcash:mainfrom
mitschabaude-bot:front-arithmetic
Jul 27, 2026
Merged

Fast, proven Pasta arithmetic + fixture-check speedup#111
TalDerei merged 17 commits into
zcash:mainfrom
mitschabaude-bot:front-arithmetic

Update Zcash/Arithmetic/CommitLagrange.lean

308b6ac
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Detect book-relevant changes
succeeded Jul 27, 2026 in 4s