Skip to content

Univariate skip for the batched AIR sumcheck (+ finite-difference kernel)#251

Open
Barnadrot wants to merge 9 commits into
leanEthereum:mainfrom
Barnadrot:pw13-clean
Open

Univariate skip for the batched AIR sumcheck (+ finite-difference kernel)#251
Barnadrot wants to merge 9 commits into
leanEthereum:mainfrom
Barnadrot:pw13-clean

style: cargo fmt

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

Annotations

1 warning
Build & Test (x64-avx2)
succeeded Jun 11, 2026 in 6m 44s