Delegated State Proofs Secure Liquid Staking without Full Node Trust
Delegated State Proofs introduce a cryptographic mechanism for LSDs to securely attest to underlying finality, mitigating systemic de-pegging risk.
Biomimetic Sybil-Resistance Enables Four Orders of Magnitude Consensus Speed and Security
The first asymmetric Sybil-resistance method, Proof-of-Balance, adapts biological signaling to allow honest agents to retain network control without matching adversary's budget, yielding a 40,000x security and speed increase.
Web3 Social Platform UXLINK Drained $41 Million via Multi-Sig Key Compromise
A multi-sig wallet's private key compromise enabled an attacker to weaponize a `delegatecall` function, resulting in unauthorized token minting and a $41M capital drain.
Formalizing Complete Knowledge Prevents Secret Key Encumbrance and Restores Cryptographic Possession
Formalizing Complete Knowledge Prevents Secret Key Encumbrance and Restores Cryptographic Possession
New Complete Knowledge proofs prevent secret encumbrance by TEEs/MPC, ensuring unencumbered key control and securing decentralized governance.
Lending Protocol Moonwell Exploited via External Oracle Price Manipulation
A critical oracle failure mispriced collateral, enabling the attacker to leverage a minimal deposit into a $1.1 million insolvency event.
Balancer V2 Drained Multi-Chain Exploiting Boosted Pool Access Control Flaw
A critical access control and callback flaw in complex pool logic allowed unauthorized batch swaps, creating systemic risk across all interconnected chains.
Automated Formal Analysis Secures DeFi Oracle Input Vulnerabilities
OVer, a formal verification framework, uses SMT solvers to automatically identify and guard against oracle manipulation, securing DeFi protocols against skewed data.
Balancer Multi-Chain Exploit Drains $128 Million via Access Control Flaw
A critical access control flaw in Balancer's core vault logic enabled a multi-chain cascade, compromising pooled assets and eroding systemic trust.
Decentralized Arrangers Unify Sequencing and Data Availability via Set Consensus
An extension of Set Byzantine Consensus creates a decentralized arranger service, formally eliminating L2 sequencer centralization risk and ensuring data integrity.
