Smart contracts are meant to be just that; smart, irrevocable, transparent, and secure. However, coding bugs in 34,200 of these contracts currently in circulation has exposed millions of dollars' ...

Recent research by major artificial intelligence company Antropic and AI security organization Machine Learning Alignment & ...

On December 1, 2025, a research team showcased how these AI models could identify and exploit coding flaws in Ethereum smart ...

Bitcoin smart contracts are a tricky beast to tame, but a new language is making them easier to write, democratizing them in a sense. Smart contracts can (among other things) allow users to set extra ...

Update (25 July, 2025 at 3:00 PM UTC): This article has been updated to add commentary by Shantanu Sontakke, security engineer at web3 security firm Zokyo Smart-contract developers and auditors told ...

In early September, Gemini Trust, the cryptocurrency firm founded by Cameron and Tyler Winklevoss, announced it had won approval from New York state regulators to unveil a set of digital tokens linked ...

Certora, the full-stack security assurance platform trusted by the most advanced teams in Web3, today announced Certora AI Composer, an open-source AI coding platform that composes artificial ...

What is smart contract testing? The process of methodically assessing and validating the performance, security and functionality of smart contracts — self-executing agreements with the provisions of ...

Smart contracts can (among other things) allow users to set extra rules on their bitcoin, requiring these rules be met before the funds can be unlocked. Minsc, created by Bitcoin developer Nadav Ivgi, ...