Formal Verification Secures Stellar DeFi Lending Protocols
A novel formal verification tool, Certora Sunbeam Prover, mathematically guarantees the integrity of Stellar-based DeFi smart contracts, preventing catastrophic financial exploits.
Large Bitcoin Transfer Sparks Market Speculation
A significant transfer of 7,441 Bitcoin from a major exchange to an unknown wallet ignites speculation on potential market shifts and institutional moves.
Shibarium Bridge Compromised by Flash Loan and Validator Key Manipulation
A critical vulnerability in Shibarium's validator consensus, leveraged by a flash loan, enabled unauthorized asset exfiltration, posing systemic risk to cross-chain bridges.
Onyx Protocol Suffers $3.8 Million Exploit via NFT Liquidation Contract
A critical flaw in Onyx Protocol's NFT liquidation contract enabled an attacker to drain $3.8 million, compromising stablecoin peg integrity.
V-ZOR: Quantum-Driven ZKP Oracle Relays for Verifiable Cross-Chain Communication
A novel verifiable oracle relay, V-ZOR, integrates zero-knowledge proofs and restaking to secure cross-chain data, mitigating over $2.8 billion in risks.
New Gold Protocol Suffers $2m Flash Loan Oracle Manipulation
A flawed pricing oracle, susceptible to flash loan manipulation, enabled an attacker to drain nearly $2 million from a newly launched DeFi protocol.
SwissBorg Suffers $41 Million Solana Loss via Partner API Exploit
An exploited third-party API allowed attackers to drain $41 million in Solana tokens, highlighting critical risks in external service integrations for DeFi protocols.
Formalizing Maximal Extractable Value for Provable Blockchain Security
This research establishes a rigorous, abstract model of MEV to enable formal security proofs against economic attacks in decentralized systems.
Batch Processing Eliminates MEV in Automated Market Makers
This research introduces a novel batch-processing mechanism for Automated Market Makers, fundamentally mitigating Miner Extractable Value and fostering equitable transaction execution.
