• 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

9 months 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

AutoZone Reports Q1 Fiscal 2026 Results

chest

AutoZone, Inc. has released its financial results for the first quarter of fiscal 2026, showing a challenging performance against market expectations.

user avatarNguyen Van Long

HashKey and Major Crypto Firms Pledge Support for Fire Relief in Hong Kong

chest

HashKey Holdings Limited, along with Binance and other major crypto firms, has pledged a combined HK$57 million to support relief efforts for families affected by a devastating residential fire in Tai Po, Hong Kong.

user avatarJesper Sørensen

BMW Automates Cash Transfers Using JPMorgan's Blockchain System

chest

BMW has integrated JPMorgan's Kinexys blockchain system to automate its global cash transfers, enhancing efficiency in treasury management.

user avatarRajesh Kumar

Ondo Finance Gains Approval to Offer Tokenized Stocks and ETFs in Europe

chest

Ondo Finance has received approval from Liechtenstein's Financial Market Authority to offer tokenized stocks and ETFs across the European Economic Area.

user avatarLucas Weissmann

BUIDL Tokenized Money Market Fund Surpasses $500 Million on BNB Chain.

chest

BlackRock's BUIDL tokenized money market fund has surpassed the $500 million mark on BNB Chain, reflecting increasing institutional interest in tokenized assets.

user avatarFilippo Romano

Plume collaborates with Securitize to enhance access to regulated assets.

chest

Plume has partnered with Securitize to integrate regulated institutional assets into its Nest protocol, enhancing access to tokenized funds for users and developers in the DeFi space.

user avatarEmily Carter

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.