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 ...

“Smart contract programming is hard,” said Emin Gün Sirer, founder of Ava Labs, which built the Avalanche blockchain. Capturing “intent” is difficult. Coding is tricky. Verification remains a ...

The TON Foundation has released a new smart contract programming language called Tolk, aiming to simplify development on The Open Network blockchain while cutting costs for builders. Announced ...

Smart contracts have emerged as an integral part of the Web3 ecosystem, but smart contract vulnerabilities have led to millions in lost user funds, highlighting the pressing need for smart contract ...