This is a design-by-contract library for Python, implemented in Rust. contract-check は、Python 向けの契約プログラミングライブラリです。公開 API は Python の decorator 中心で設計し、内部の構造化違反情報と実行時基盤を Rust で実装します。 思想面では life4/deal ...

Abstract: Smart contract vulnerabilities continue to cause significant financial losses, despite the implementation of security measures such as manual audits and bug bounty platforms. A critical ...

Non-fungible token lending platform Gondi has vowed to compensate users affected in a Monday exploit during which the attacker stole roughly $230,000 worth of NFTs from the protocol. According to a ...

Yuval Rooz has a blunt message for the smart contract sector: If you claim to be the future plumbing of global finance, you’d better show the cash flow. “People have assigned a lot of value to these ...

New benchmark evaluates AI agents' ability to detect, patch, and exploit smart contract vulnerabilities. GPT-5.3-Codex scores 72.2% on exploit tasks. OpenAI and crypto venture firm Paradigm have ...

The Hacker News is the top cybersecurity news platform, delivering real-time updates, threat intelligence, data breach ...

Contract analysis once required weeks of manual audits and specialized review, but AI tools can now surface issues in seconds. However, as AI’s capabilities expand ...

A new tool from OpenAI evaluates AI agents’ ability to identify, patch, or exploit smart contract vulnerabilities. Researchers found that agents are better at exploiting vulnerabilities than finding ...

EVMbench is the latest collaborative effort between OpenAI and crypto investment firm Paradigm. The tool is designed to measure how well AI agents detect, patch, and exploit vulnerabilities in smart ...

New AI benchmark tests smart contract security; Claude leads as experts foresee AI-driven crypto future. Consequently, the need for such tools is underscored by the $3.4 billion in crypto stolen by ...

DeFi lending protocol Moonwell lost $1.78 million after AI code from Claude Opus 4.6 led to an oracle configuration error. The error triggered instant liquidations ...