6 papers
SoK: Speedy Secure Finality
Yash Saraswat, Abhimanyu Nag
While Ethereum has successfully achieved dynamic availability together with safety, a fundamental delay remains between transaction execution and immutable finality. In Ethereum's…
On Sybil Proofness in Competitive Combinatorial Exchanges
Abhimanyu Nag
We study Sybil manipulation in BRACE, a competitive equilibrium mechanism for combinatorial exchanges, by treating identity creation as a finite perturbation of the empirical distr…
A Coincidence of Wants Mechanism for Swap Trade Execution in Decentralized Exchanges
Abhimanyu Nag, Madhur Prabhakar, Tanuj Behl
We propose a mathematically rigorous framework for identifying and completing Coincidence of Wants (CoW) cycles in decentralized exchange (DEX) aggregators. Unlike existing auction…
Economic Security of Multiple Shared Security Protocols
Abhimanyu Nag, Dhruv Bodani, Abhishek Kumar
As restaking protocols gain adoption across blockchain ecosystems, there is a need for Actively Validated Services (AVSs) to span multiple Shared Security Providers (SSPs). This le…
Multi Agent Influence Diagrams for DeFi Governance
Abhimanyu Nag, Samrat Gupta, Sudipan Sinha +1
Decentralized Finance (DeFi) governance models have become increasingly complex due to the involvement of numerous independent agents, each with their own incentives and strategies…
Compound V3 Economic Audit Report
Rik Ghosh, Samrat Gupta, Arka Datta +2
Compound Finance is a decentralized lending protocol that enables the secure and efficient borrowing and lending of cryptocurrencies, utilizing smart contracts and dynamic interest…