ZERO KNOWLEDGE PROOFS
Zero Knowledge Proofs
Exploring Formal Methods in Zero Knowledge Circuits for Enhanced Security
Discover the significance of applying formal methods to zero knowledge circuits to mitigate security risks in zero-knowledge proofs, as highlighted by Isil Dillig from UT Austin.
Zero Knowledge Proofs
Scroll Launches zkEVM Mainnet
Scroll unveils its zkEVM mainnet on October 17, enhancing Ethereum’s scalability and developer engagement. Employing zero knowledge proofs, it boosts transaction speeds and reduces costs, promising a near-identical Ethereum experience, without compromising security or decentralization. The launch follows extensive testing, with notable contributions to Ethereum Foundation’s Privacy and Scaling Explorations. The initiative eyes global developer adoption, advancing Ethereum’s Layer 2 solutions.