Reducing Latency of DAG-based Consensus in the Asynchronous Setting via the UTXO Model

DAG-based consensus has attracted significant interest due to its high throughput in asynchronous network settings. However, existing protocols such as DAG-rider (Keidar et al., PODC 2021) and ``Narwhal and Tusk'' (Danezis et al., Eurosys 2022) face two undesired practical issues: (1) high transaction latency and (2) high cost to verify transaction outcomes. To address (1), this work introduces a novel commit rule based on the Unspent Transaction Output (UTXO) Data Model, which allows a node to predict the transaction results before triggering the commitment. We propose a new consensus algorithm named ``Board and Clerk'', which reduces the transaction latency by half for roughly 50% of transactions. As the tolerance for faults escalates, more transactions can partake in this latency reduction. In addition, we also propose the Hyper-Block Model with two flexible proposing strategies to tackle (2): blocking and non-blocking. Using our proposed strategies, each node first predicts the transaction results if its proposal is committed and packs this result as a commitment in its proposal. The hyper-block packs the signature of the proposal and the outputs of the consensus layer together in order to prove the transaction results.

[1]  Sisi Duan,et al.  PACE: Fully Parallelizable BFT from Reproposable Byzantine Agreement , 2022, IACR Cryptol. ePrint Arch..

[2]  Sisi Duan,et al.  Marlin: Two-Phase BFT with Linearity , 2022, 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

[3]  A. Penzkofer,et al.  Reality-based UTXO Ledger , 2022, Distributed Ledger Technologies: Research and Practice.

[4]  Sisi Duan,et al.  Foundations of Dynamic BFT , 2022, 2022 IEEE Symposium on Security and Privacy (SP).

[5]  A. Sonnino,et al.  Bullshark: DAG BFT Protocols Made Practical , 2022, CCS.

[6]  A. Sonnino,et al.  Narwhal and Tusk: a DAG-based mempool and efficient BFT consensus , 2021, EuroSys.

[7]  Idit Keidar,et al.  All You Need is DAG , 2021, PODC.

[8]  Yijie Wang,et al.  MiniChain: A lightweight protocol to combat the UTXO growth in public blockchain , 2020, J. Parallel Distributed Comput..

[9]  Guiling Wang,et al.  Dumbo-MVBA: Optimal Multi-Valued Validated Asynchronous Byzantine Agreement, Revisited , 2020, IACR Cryptol. ePrint Arch..

[10]  Chao Liu,et al.  EPIC: Efficient Asynchronous BFT with Adaptive Security , 2020, 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

[11]  Manuel M. T. Chakravarty,et al.  The Extended UTXO Model , 2020, Financial Cryptography Workshops.

[12]  Dan Boneh,et al.  Batching Techniques for Accumulators with Applications to IOPs and Stateless Blockchains , 2019, IACR Cryptol. ePrint Arch..

[13]  Ittai Abraham,et al.  HotStuff: BFT Consensus with Linearity and Responsiveness , 2019, PODC.

[14]  Aggelos Kiayias,et al.  Ouroboros Praos: An Adaptively-Secure, Semi-synchronous Proof-of-Stake Blockchain , 2018, EUROCRYPT.

[15]  Elaine Shi,et al.  The Honey Badger of BFT Protocols , 2016, CCS.

[16]  Idit Keidar,et al.  Brahms: byzantine resilient random membership sampling , 2008, PODC '08.

[17]  Bruce M. Kapron,et al.  Fast asynchronous byzantine agreement and leader election with full information , 2008, SODA '08.

[18]  Miguel Castro,et al.  Practical byzantine fault tolerance and proactive recovery , 2002, TOCS.

[19]  Tal Rabin,et al.  Asynchronous secure computations with optimal resilience (extended abstract) , 1994, PODC '94.

[20]  Sam Toueg,et al.  Asynchronous consensus and broadcast protocols , 1985, JACM.

[21]  J. T. Sims,et al.  The Byzantine Generals Problem , 1982, TOPL.

[22]  Daniel Davis Wood ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER , 2014 .

[23]  S. Nakamoto,et al.  Bitcoin: A Peer-to-Peer Electronic Cash System , 2008 .