u/gnahraf

Quanta has a good article about a new foundational method for constructing non-interactive zk proofs. Current methods rest on (provably) shaky foundations. This approach reimagines a new definition for zk proofs (*effectively* zero knowledge proof), which as the name suggests, is effectively the same.

https://www.quantamagazine.org/how-unknowable-math-can-help-hide-secrets-20260511/