2 citations · 3 across the 8 of their papers we have counts for
8 papers · 1 filter
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…
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…
Lifefin: Escaping Mempool Explosions in DAG-based BFT
Jianting Zhang, Sen Yang, Alberto Sonnino +2
Directed Acyclic Graph (DAG)-based Byzantine Fault-Tolerant (BFT) protocols have emerged as promising solutions for high-throughput blockchains. By decoupling data dissemination fr…
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…
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…