The foundational infrastructure for zero-knowledge proofs is actually extensive, and there are many competitors. Whether one can stand out still needs to withstand the test of time #lagrange $LA