13 papers
MANTA: Unlocking DAG Flexibility in Asynchronous BFT
Mohan Yu, Chenlin Wu, Jianyu Niu +2
DAG-based BFT protocols marked a shift in consensus design by replacing single-leader proposal paths with concurrent block proposals linked through a shared graph, where references…
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…
Demystifying Private Transactions and Their Impact in PoW and PoS Ethereum
Xingyu Lyu, Mengya Zhang, Xiaokuan Zhang +3
In Ethereum, private transactions, a specialized transaction type employed to evade public Peer-to-Peer (P2P) network broadcasting, remain largely unexplored, particularly in the c…
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…