Skip to content

Add systematic hash OOD barycentric construction#224

Open
frisitano wants to merge 2 commits into
leanEthereum:lean-dafrom
frisitano:feat/systematic-hash-ood-barycentric
Open

Add systematic hash OOD barycentric construction#224
frisitano wants to merge 2 commits into
leanEthereum:lean-dafrom
frisitano:feat/systematic-hash-ood-barycentric

Commits

Commits on May 15, 2026