14 citations · 17 across the 9 of their papers we have counts for
9 papers
Crypto x AI, AI x Crypto: A Survey
Sarah Allen, Pranay Anchuri, James Austgen +22
The intersection of crypto x AI is spawning papers, products, online posts, and companies. All the surrounding buzz, though, obscures what exactly has been done, what the opportuni…
Your Loss is My Gain: Low Stake Attacks on Liquid Staking Pools
Sen Yang, Aviv Yaish, Arthur Gervais +1
Permissionless Proof-of-Stake (PoS) economic security is predicated on the high cost of violating consensus safety or liveness. We show that liquid staking introduces additional ri…
Perils of Parallelism: Transaction Fee Mechanisms under Execution Uncertainty
Sarisht Wadhwa, Aviv Yaish, Fan Zhang +1
Modern blockchains increasingly rely on parallel execution to improve throughput. We show several industry and academic transaction fee mechanisms (TFMs) struggle to simultaneously…
Boost+: Equitable, Incentive-Compatible Block Building
Mengqian Zhang, Sen Yang, Kartik Nayak +1
Block space on the blockchain is scarce and must be allocated efficiently through block building. However, Ethereum's current block-building ecosystem, MEV-Boost, has become highly…
Geographical Centralization Resilience in Ethereum's Block-Building Paradigms
Sen Yang, Burak Öz, Fei Wu +1
Decentralization has an important geographic dimension that conventional metrics, such as stake distribution, often overlook. Validator location affects resilience to regional shoc…
Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts
Sen Yang, Kaihua Qin, Aviv Yaish +1
Most blockchains cannot hide the binary code of programs (i.e., smart contracts) running on them. To conceal proprietary business logic and to potentially deter attacks, many smart…
RediSwap: MEV Redistribution Mechanism for CFMMs
Mengqian Zhang, Sen Yang, Fan Zhang
Automated Market Makers (AMMs) are essential to decentralized finance, offering continuous liquidity and enabling intermediary-free trading on blockchains. However, participants in…
Agora: Trust Less and Open More in Verification for Confidential Computing
Hongbo Chen, Quan Zhou, Sen Yang +4
Binary verification plays a pivotal role in software security, yet building a verification service that is both open and trustworthy poses a formidable challenge. In this paper, we…
Decentralization of Ethereum's Builder Market
Sen Yang, Kartik Nayak, Fan Zhang
Blockchains protect an ecosystem worth more than $500bn with strong security properties derived from the principle of decentralization. Is today's blockchain decentralized? In this…