Zero-knowledge proofs zijn de belangrijkste grens van crypto.