Symproof by BlockScience & Shield3
Raised: $4,494.22
SYMPROOF: UNCOVERING HIDDEN AXIOMS IN ETHEREUM PROTOCOL DESIGN BY FORMALIZING
THE "MATH LAYER" OF ETHEREUM SECURITY
A project providing essential Infrastructure for institutional-grade security
and identifying "unknown unknowns" before they become multi-million dollar
exploits, Symproof is an ext...