Formalizing Proposer-Builder Separation Guarantees Credibly Neutral Transaction Ordering
The introduction of a two-stage commit-reveal protocol for block construction cryptographically enforces builder neutrality, eliminating the proposer's censorship vector.
Oracle Failures and Access Flaws Trigger $129 Million Multi-Chain DeFi Loss
The cascading $129M loss from oracle manipulation and faulty access controls re-centers the DeFi industry on infrastructure risk and security rigor.
InceptionLRT Isolated Restaking Segregates Risk, Unlocks Omnichain Liquidity
The launch of Isolated Liquid Restaking Tokens (iLRTs) structurally de-risks the restaking primitive, transforming it into a capital-efficient, multi-chain money lego.
Balancer V2 Exploit Exposes $116 Million Vulnerability in Composable Stable Pools
The $116 million exploit highlights systemic risk in complex AMM architectures, demanding a fundamental re-evaluation of composability security models.
Formalizing Blockchain Incentive Compatibility through New Economic Primitives
The research defines MMIC and OCA-proofness, new game-theoretic primitives that formally analyze and secure transaction fee mechanisms against collusion.
Jupiter Lend Public Beta Captures $643 Million TVL on Solana DeFi
The new lending primitive validates Solana's capital efficiency, leveraging the aggregated user base for immediate, deep liquidity provisioning.
Accountable Liveness Secures Consensus against Transaction Delay Attacks
This research extends accountable safety to liveness, introducing 'certificates of guilt' to cryptographically punish nodes that intentionally stall transaction finality.
Native Onion Routing Secures Proof-of-Stake Leader Liveness
PoS-CoPOR integrates native onion routing into consensus, concealing pre-elected leaders to defeat DoS attacks and guarantee network liveness.
Reusable Formal Verification Secures DAG Consensus Protocol Safety
A compositional TLA+ framework drastically reduces the effort required to formally verify complex DAG consensus protocols, establishing robust safety assurances.
