16 papers
Breaking Fault Lines: Unifying TEE-Assisted BFT Consensus in Partially Trusted Worlds
Xiaoqing Wen, Tong Liu, Jianyu Niu +4
This paper revisits TEE-assisted BFT under a universal partial-TEE model, where an arbitrary subset of replicas execute inside TEEs while the remaining replicas operate without har…
A Formal Analysis of Agent Payment Protocols
Ke Jiang, Mohan Yu, Yuan Chang +4
Agent payment protocols are emerging as a key transaction layer for autonomous commerce, enabling AI agents to purchase goods and services and execute payments on users' behalf. Un…
Safe to Resume? Breaking Execution Continuity of Agent Execution via Rollback
Guanlong Wu, Dahui Li, Ke Jiang +3
AI agents are moving toward persistent, stateful execution across various applications, accumulating execution state and external effects that are costly to reconstruct after failu…
Chimera: Protocol-Aware Recovery for Confidential BFT Consensus
Tong Liu, Xiaoqing Wen, Ziwei Zhou +4
Trusted Execution Environments (TEEs) have enabled confidential Byzantine Fault-Tolerant (BFT) consensus systems with confidentiality and improved scalability. However, TEEs do not…
DIST-FL: Enhancing Security for TEE-based Aggregation in Federated Learning
Guanlong Wu, Ju Yang, Zhen Huang +4
Trusted Execution Environments (TEEs)-aided federated learning protocols emerge as promising solutions to counter server-side adversaries and ensure the trustworthiness of the serv…
TeeDAO: A Decentralized Autonomous Organization for Heterogeneous TEEs
Pinshen Xu, Wentao Dong, Guoxing Chen +3
Trusted Execution Environments (TEEs) have emerged as a critical technology for safeguarding sensitive data and ensuring code integrity in modern computing systems. However, relyin…
ODYSSEY: Reestablishing Confidentiality in Confidential Blockchain via Delegated Execution
Ju Yang, Weili Wang, Jianyu Niu +2
Confidential blockchains leveraging Trusted Execution Environments (TEEs) have garnered extensive attention for transaction confidentiality. In this paper, we first taxonomize two…
CachePrune: Privacy-Aware and Fine-Grained KV Cache Sharing for Efficient LLM Inference
Guanlong Wu, Zhaohan li, Yao Zhang +4
Large Language Models (LLMs) rely on Key-Value (KV) caching to accelerate inference, and many serving systems further share the KV cache across users' requests to reduce redundant…
HYDRA: Breaking the Global Ordering Barrier in Multi-BFT Consensus
Hanzheng Lyu, Shaokang Xie, Jianyu Niu +5
Multi-Byzantine Fault Tolerant (Multi-BFT) consensus, which runs multiple BFT instances in parallel, has recently emerged as a promising approach to overcome the leader bottleneck…
Orthrus: Accelerating Multi-BFT Consensus through Concurrent Partial Ordering of Transactions (Extended Version)
Hanzheng Lyu, Shaokang Xie, Jianyu Niu +4
Multi-Byzantine Fault Tolerant (Multi-BFT) consensus allows multiple consensus instances to run in parallel, resolving the leader bottleneck problem inherent in classic BFT consens…
Unraveling Responsiveness of Chained BFT Consensus with Network Delay
Yining Tang, Mohan Yu, Qihang Luo +4
With the advancement of blockchain technology, chained Byzantine Fault Tolerant (BFT) protocols have been increasingly adopted in practical systems, making their performance a cruc…
Leader Rotation Is Not Enough: Scrutinizing Leadership Democracy of Chained BFT Consensus
Jianyu Niu, Yining Tang, Runchao Han +2
With the growing popularity of blockchains, modern chained BFT protocols combining chaining and leader rotation to obtain better efficiency and leadership democracy have received i…
MECURY: Practical Cross-Chain Exchange via Trusted Hardware
Xiaoqing Wen, Quanbi Feng, Jianyu Niu +2
The proliferation of blockchain-backed cryptocurrencies has sparked the need for cross-chain exchanges of diverse digital assets. Unfortunately, current exchanges suffer from high…
TeeRollup: Efficient Rollup Design Using Heterogeneous TEE
Xiaoqing Wen, Quanbi Feng, Hanzheng Lyu +3
Rollups have emerged as a promising approach to improving blockchains' scalability by offloading transactions execution off-chain. Existing rollup solutions either leverage complex…
Crystal: Enhancing Blockchain Mining Transparency with Quorum Certificate
Jianyu Niu, Fangyu Gai, Runchao Han +3
Researchers have discovered a series of theoretical attacks against Bitcoin's Nakamoto consensus; the most damaging ones are selfish mining, double-spending, and consistency delay…
EBFT: Simplifying BFT Consensus Through Egalitarianism
Jianyu Niu, Runchao Han, Shengqi Liu +4
We present Egalitarian BFT (EBFT), a simple and high-performance framework of BFT consensus protocols for decentralized systems like blockchains. The key innovation in EBFT is egal…