Blog smart-contracts ×
Articles, guides, and updates.
Internet Court settles AI agent disputes with a jury of AI models
GenLayer's Internet Court uses juries of up to 1,500 AI models to settle AI agent disputes, processing about 12,000 deci...
Cardano founder Charles Hoskinson is building a new programming language
Hoskinson says he is personally writing a Cardano language that pairs transaction intents with cryptographic proofs. No...
Ethereum's proposed transaction assertions still depend on who sets the financial limits
A draft Ethereum upgrade could add safety checks to transaction outcomes, but researchers warn the limits must come from...
DogeOS Launches Public Testnet to Bring Apps to Dogecoin
DogeOS has opened a public testnet for its application layer on Dogecoin, allowing developers to build EVM-compatible ap...
S&P Global agrees to acquire blockchain security firm OpenZeppelin
S&P Global has agreed to buy OpenZeppelin, a smart contract security company. Terms were not disclosed and the deal stil...
OpenAI says AI agents solved major math problem, raising questions for crypto security
OpenAI says nearly 10,000 AI agents solved the Navier-Stokes problem. The work could push smart-contract security toward...