Skip to main content

77 posts tagged with "Smart Contracts"

Smart contract development and security

View all tags

The $128M Rounding Error: How a Sub-Penny Math Bug Drained DeFi's Oldest AMM Across Nine Chains
·Dora Noda·10 min

The $128M Rounding Error: How a Sub-Penny Math Bug Drained DeFi's Oldest AMM Across Nine Chains

An in-depth analysis of the $128 million exploit on Balancer V2, revealing how a minor rounding error in smart contract code led to a historic multi-chain DeFi breach, impacting nine blockchains including Ethereum and Polygon.

DeFi
smart-contracts
Ethereum
Polygon
+1
CrossCurve's $3M Bridge Exploit: How One Missing Validation Check Drained a Multi-Chain Protocol in Minutes
·Dora Noda·8 min

CrossCurve's $3M Bridge Exploit: How One Missing Validation Check Drained a Multi-Chain Protocol in Minutes

An in-depth analysis of the CrossCurve bridge exploit, revealing how a single smart contract oversight led to a $3 million loss across multiple blockchain networks. Understand the vulnerabilities in cross-chain protocols and the lessons for DeFi developers.

Ethereum
DeFi
smart-contracts
blockchain
+1
BNB Chain Now Hosts More AI Agents Than Ethereum — What the ERC-8004 Chain Wars Mean for Web3
·Dora Noda·6 min

BNB Chain Now Hosts More AI Agents Than Ethereum — What the ERC-8004 Chain Wars Mean for Web3

In 2026, BNB Chain surpassed Ethereum in hosting AI agents under the ERC-8004 standard, marking a shift in the machine economy landscape. This article explores the implications for Web3 and the ongoing chain wars.

BNB Chain
AI agents
Web3
smart-contracts
+1
Circle Skills Brings Stablecoin Development Inside Your AI Coding Assistant
·Dora Noda·7 min

Circle Skills Brings Stablecoin Development Inside Your AI Coding Assistant

Circle Skills revolutionizes stablecoin development by enabling AI coding assistants to autonomously integrate USDC payments and manage crypto transactions, eliminating the need for traditional documentation.

AI
stablecoins
crypto
smart-contracts
+1
From 'Code Is Law' to 'Spec Is Law': How Formal Verification Could End DeFi's $3.4 Billion Exploit Crisis
·Dora Noda·9 min

From 'Code Is Law' to 'Spec Is Law': How Formal Verification Could End DeFi's $3.4 Billion Exploit Crisis

Explore how formal verification could transform DeFi security by replacing 'code is law' with 'spec is law,' potentially ending the exploit crisis that has cost the industry billions.

DeFi
smart-contracts
crypto
security
+1
Aave Crosses $1 Trillion in Cumulative Loans — DeFi Lending Has Officially Arrived at Institutional Scale
·Dora Noda·8 min

Aave Crosses $1 Trillion in Cumulative Loans — DeFi Lending Has Officially Arrived at Institutional Scale

Aave's achievement of $1 trillion in cumulative loans marks a pivotal moment for DeFi, showcasing its evolution into an institutional-grade financial infrastructure. Explore how Aave's architectural innovations and strategic partnerships are driving this transformation.

DeFi
smart-contracts
institutional-investment
crypto
+1
Babylon-Aave BTCFi Fusion: How Trustless Vaults Unlock Native Bitcoin DeFi Lending Without Bridges
·Dora Noda·8 min

Babylon-Aave BTCFi Fusion: How Trustless Vaults Unlock Native Bitcoin DeFi Lending Without Bridges

Discover how Babylon Labs and Aave Labs are transforming Bitcoin DeFi with trustless vaults, enabling native Bitcoin lending without bridges or custodians, unlocking vast potential for DeFi integration.

Bitcoin
DeFi
smart-contracts
crypto
+1
a16z's 'Rules as Law' Vision: How AI-Assisted Formal Verification and Runtime Guardrails Are Reshaping DeFi Security
·Dora Noda·9 min

a16z's 'Rules as Law' Vision: How AI-Assisted Formal Verification and Runtime Guardrails Are Reshaping DeFi Security

Explore how a16z's innovative approach using AI-assisted formal verification and runtime guardrails is transforming DeFi security, making exploits structurally impossible and reshaping the future of decentralized finance.

DeFi
AI
smart-contracts
security
+1
One Stale Timestamp, $26 Million Gone: Inside Aave's Oracle Meltdown and DeFi's Price Feed Reckoning
·Dora Noda·8 min

One Stale Timestamp, $26 Million Gone: Inside Aave's Oracle Meltdown and DeFi's Price Feed Reckoning

Aave's oracle mishap led to $26 million in liquidations, highlighting systemic vulnerabilities in DeFi's reliance on single oracle providers. Explore the incident's implications and emerging solutions for a more resilient decentralized finance ecosystem.

DeFi
smart-contracts
crypto
blockchain
+1
Showing 28–36 of 77 posts