Automated Liveness Verification Reduces Proof Burden for Distributed Protocols
LVR soundly reduces complex liveness proofs to simpler safety property checks using automated ranking function synthesis, accelerating foundational protocol verification.
Record Ethereum Staking Queue Confirms Structural Profit-Taking and Maturation
Early investors are exiting staking to take profits and optimize positions, confirming a healthy, maturing market structure.
Port3 Cross-Chain Token Flaw Allows Unauthorized Ownership Transfer
A critical boundary condition flaw in the CATERC20 contract's ownership check enables unauthorized administrative control post-relinquishment.
Revelation Mechanisms Secure Truthful Consensus against Forking Disputes
Mechanism design introduces economic incentives to consensus, creating a unique equilibrium where validators only propose truthful blocks to resolve chain disputes.
Zero-Knowledge Mechanisms Secure Private Verifiable Mechanism Design
This framework uses zero-knowledge proofs to allow mechanism designers to commit to secret rules while players verify incentive compatibility without a mediator.
Lending Protocol Drained by Malicious Developer Access Control Flaw
An insider-leveraged access control vulnerability in a lending fork allowed unauthorized function calls, resulting in a critical $1.18M asset drain.
Ethereum Transaction Ordering Exploited via MEV-Boost Sandwich Attack
MEV-Boost manipulation enables transaction sandwiching, allowing attackers to front-run user swaps and extract millions in capital from order flow.
Non-Delegatable Commitments Enforce Cryptographic Proof of Work and Identity
Non-Delegatable Commitments cryptographically bind action to private key possession, preventing outsourcing and enforcing honest participation in attestations.
Moonwell Lending Protocol Drained Exploiting External Oracle Price Feed
A critical external oracle malfunction allowed collateral token mispricing, enabling immediate, high-speed, under-collateralized asset withdrawal.
