Hybrid BFT Achieves Both Probabilistic Speed and Periodic Finality
Albatross combines speculative BFT's high throughput with Tendermint's periodic provable finality, resolving the performance-finality consensus trade-off.
Compositional Formal Verification Secures Complex DAG Consensus Protocols
This framework modularizes DAG consensus proofs into reusable components, dramatically reducing verification effort and ensuring robust protocol safety.
New Asynchronous BFT Consensus Achieves Throughput-Oblivious Latency
This protocol overcomes the FLP barrier, delivering a practical asynchronous BFT consensus that maintains minimum latency regardless of network load.
Maestro Launches Audited Bitcoin Indexer, Boosts Decentralized Finance
Maestro's new audited Bitcoin indexer empowers developers to build secure, scalable financial apps on Bitcoin, democratizing infrastructure access.
Blockchain Secures TEE State Continuity against Rollback and Forking
This research introduces Narrator-Pro, a blockchain-integrated TEE system, to prevent state manipulation attacks, enabling robust, decentralized confidential computing.
Bullshark on Narwhal Achieves High-Performance Byzantine Fault-Tolerant DAG Consensus
This work meticulously analyzes Bullshark on Narwhal, revealing how round-based DAGs deliver optimal Byzantine fault-tolerant consensus for scalable decentralized systems.
