Recent in
Certora has announced the launch of Certora AI Composer, a revolutionary platform that integrates AI with formal verification for enhanced safety in smart contract coding.
A major exploit has led the Bunni decentralized exchange to pause operations after losing significant funds.
The BRC20 token standard enables Ethereum-style smart contracts on Bitcoin by integrating the Ethereum Virtual Machine.
Arch Labs has raised $13 million to develop "ArchVM," a platform for smart contracts on Bitcoin, which is currently valued at $200 million.
The funding will expedite the development of Halliday's blockchain automation protocol.
MetaMask outlines enhancements aimed at improving user convenience in managing cryptocurrencies.
The 'Ethereum time machine' enhances transaction capabilities on the blockchain by making them dependent on future conditions.
The traditional equity lending market struggles with inefficiencies that could be resolved with onchain technology, offering faster settlements and automated processes.
Recent findings reveal that AI models have autonomously identified smart contract exploits valued at $4.6 million, highlighting growing concerns in cybersecurity.
The potential of AI to transform smart contract audits in the blockchain space is becoming a mainstay, moving beyond sporadic checks to continuous assurance.
A new malware technique, EtherHiding, has been identified by Google's Threat Intelligence, utilizing smart contracts to compromise users' crypto accounts.
Every week we share the most relevant news in tech, culture, and entertainment. Join our community.
Your privacy is important to us. We promise not to send you spam!