Proposals · 2026-10-31 22:32 UTC

ZEC: Zcash community member shares formal Lean verification of Equihash verifier, finds spec gaps; no consensus impact

Loading the story on Tree News…