zkSync Founder Challenges Canton's ZK Proof Critique

Criticisms have been levied against the use of zero-knowledge proofs (ZKPs) in institutional finance, with some arguing that they introduce unnecessary complexity and risk.

However, Alex Gluchowski, co-founder of zkSync, has fired back at these criticisms, pointing out that Canton's own infrastructure relies on a trust model that carries the same systemic risks it warns about.

Canton's argument centers around the potential for ZKP bugs to go undetected due to the private nature of underlying data. Gluchowski countered that this reasoning assumes any technology is the only line of defense, which is flawed.

He noted that other complex systems such as aviation, nuclear power plants, and medical devices rely on redundancy and containment to mitigate risk, rather than relying solely on the assumption of perfection.

The real question, he argued, is whether a system has multiple lines of defense. Canton's model does not, relying entirely on trusted operators segregating data without cryptographic verification.

Gluchowski contrasted Canton's setup with that of Prividium, which runs three independent defenses and uses zero-knowledge proofs as a separate integrity check. This allows for the containment of any potential issues within individual instances, rather than allowing them to spread across the network.