Machine-checked Reed–Solomon proximity research for the Ethereum Foundation Proximity Prize.

Lean Updated about 1 month ago 1 commits 3 stars
pulse-dev|Mirror: SlopDotCash/proximityprize (⭐3)
about 1 month ago

About

Machine-checked Reed–Solomon proximity research for the Ethereum Foundation Proximity Prize.

Readme
3 stars
17 forks