• Dapps:16.23K
  • Blockchains:78
  • Active users:66.47M
  • 30d volume:$303.26B
  • 30d transactions:$879.24M

Certora Offers Free Access to Certora Prover Security Tool

user avatar

by Giorgi Kostiuk

a year ago

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.

0

Rewards

chest
chest
chest
chest

More rewards

Discover enhanced rewards on our social media.

chest

Other news

Solana's Quantum Readiness Strategy Under Scrutiny

chest

Solana's quantum readiness strategy is under scrutiny following Anatoly Yakovenko's comments on the need for a multi-scheme approach to enhance security against AI threats.

user avatarLeo van der Veen

South Korean Exchanges Win Temporary Relief from Regulatory Sanctions

chest

Three major South Korean crypto exchanges, Upbit, Bithumb, and Coinone, have secured temporary court relief from sanctions related to existing anti-money laundering requirements.

user avatarLi Weicheng

Anatoly Yakovenko Raises Concerns Over AI's Impact on Post-Quantum Cryptography

chest

Solana cofounder Anatoly Yakovenko warns that AI could expose vulnerabilities in post-quantum signature schemes, emphasizing the need for a robust security design.

user avatarMaya Lundqvist

DAXA Challenges New Anti-Money Laundering Regulations in South Korea

chest

DAXA opposes proposed changes to South Korea's anti-money laundering regulations, citing concerns over excessive reporting requirements.

user avatarAisha Farooq

MoneyGram's Stablecoin Service Expands to Colombia and El Salvador

chest

MoneyGram has launched its stablecoin service in Colombia and expanded to El Salvador, providing financial solutions for underserved markets in Latin America.

user avatarTenzin Dorje

Stellar Network Surpasses 1 Billion in Real-World Assets

chest

The Stellar network has crossed the 1 billion mark in real-world assets, indicating significant growth and momentum.

user avatarBayarjavkhlan Ganbaatar

Important disclaimer: The information presented on the Dapp.Expert portal is intended solely for informational purposes and does not constitute an investment recommendation or a guide to action in the field of cryptocurrencies. The Dapp.Expert team is not responsible for any potential losses or missed profits associated with the use of materials published on the site. Before making investment decisions in cryptocurrencies, we recommend consulting a qualified financial advisor.