Certora, a leading blockchain security platform, has open-sourced its advanced formal verification engine, Certora Prover, to improve the accessibility of smart contract security in the crypto sector.
Certora's New Initiative for Smart Contracts
According to Certora CTO Shelly Grossman, security remains one of the biggest challenges in Web3. Certora takes a step towards securing smart contracts and making it accessible to all developers by open-sourcing Certora Prover.
Rise of Cyberattacks in the Crypto Sector
Data from Chainalysis reveals that hackers stole $2.2 billion in 2024, a 21% increase from the previous year. The number of incidents has also risen, indicating growing interest in cyberattacks amidst the cryptocurrency market boom.
Details and Achievements of Certora Prover
With the Certora Prover tool using formal verification methods, developers can identify complex bugs in smart contracts. The tool has been in production for a long time and is now available to the public.
By open-sourcing the Certora Prover, the company invites developers and security researchers to join efforts in improving DeFi security, making smart contracts more robust and transparent.
