REVIEW 2 major objections 5 minor 121 references
SoK: DAG-based Consensus Protocols
T0 review · 2 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read This SoK argues that DAG-based consensus protocols are best understood through a CAP-theorem-inspired trade-off between availability and consistency, and it sorts the field into two families accordingly: availability-focused protocols…
desk verdict Useful SoK with a genuinely new availability/consistency taxonomy, but the binary classification is undermined by its own duplicate entry for Slipstream and needs a clarifying revision before it becomes a stable reference. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The organizing device is the CAP-theorem-inspired dichotomy itself, which the paper uses to split protocols into availability-focused and consistency-focused categories. The second load-bearing mechanism is the blockDAG: a directed acyclic graph in which each block references multiple predecessors via hash links, establishing causal order and enabling parallel block production, unlike a linear blockchain. Within the two families, the central distinguishing machinery is the broadcast primitive: best-effort broadcast for optimistic DAGs versus reliable or consistent broadcast for certified DAGs, with the certified case making every block a certificate signed by a quorum of validators. The paper maps concepts such as finality, leader-based or leaderless consensus, mempool structure, and network model onto these categories, making the taxonomy the analytical engine of the survey.
What would settle it
Finding a documented DAG-based consensus protocol that combines open, dynamically available participation with deterministic finality and no BFT-style quorum certificates, and that therefore fits neither the availability-focused nor the consistency-focused description, would refute the classification's completeness. A formal counterexample showing that the consistency-safety and availability-liveness correlations cannot be instantiated together in any DAG protocol would similarly undermine the CAP-inspired framing.
Extended reading notes
Core claim
The paper's central claim is that every DAG-based consensus protocol can be classified by which side of the availability-versus-consistency trade-off it prioritizes. Availability-focused protocols, further split into structured DAGs and unstructured DAGs, aim to keep the ledger making progress through lottery-based block proposal, often in permissionless and dynamically available settings, and they typically offer probabilistic finality. Consistency-focused protocols, split into optimistic DAGs and certified DAGs, build on Byzantine fault tolerant agreement, typically in permissioned settings, and they offer deterministic finality. The paper further argues that the choice of broadcast primitive is a defining design decision: best-effort broadcast underlies optimistic DAGs and requires mechanisms to handle equivocation, while reliable or consistent broadcast underlies certified DAGs and represents each block as a quorum-signed certificate. It also surveys the attack vectors that matter for each family, including balance attacks, parasite-chain attacks, equivocation attacks, liveness attacks, censorship, fork bombs, and data-availability attacks, and it discusses desirable properties such as ordering, fairness, MEV protection, and garbage collection.
Load-bearing premise
The classification assumes that the CAP theorem is a meaningful lens for DAG-based consensus and that consistency can be informally equated with safety while availability is equated with liveness; if that mapping fails in permissionless or quasi-permissionless settings, the two-category split loses its grounding.
Editorial extensions
If this is right
- Designers can locate a protocol by the trade-off it accepts: availability-focused DAGs sacrifice deterministic ordering for continuous progress, while consistency-focused DAGs sacrifice openness for deterministic finality.
- The subcategories map onto implementation choices: optimistic DAGs rely on best-effort broadcast and must handle equivocation, whereas certified DAGs sign every block with a quorum certificate and gain stronger consistency guarantees.
- Attack surfaces divide by category: availability-focused protocols are more exposed to balance and parasite-chain attacks, while consistency-focused protocols face liveness, equivocation, and censorship risks.
- For payment-only applications, partial ordering from the DAG is sufficient, so total ordering is not an unavoidable cost in such systems.
- The paper's research gaps point to concrete next steps: standardized benchmark suites, generalized security abstractions, mempool designs that prevent transaction duplication, and fairness and MEV analyses for open writing access.
Reading between the lines
- The CAP-inspired divide is an instrumental ordering device rather than a proven theorem; the paper does not derive the two classes from first principles, so the taxonomy is best read as a map of the field rather than a law of nature.
- The availability/consistency axis could be combined with the broadcast-primitive axis to make testable predictions: optimistic-DAG families should show lower common-case latency but weaker equivocation resistance than certified-DAG families, a comparison that a common benchmark could settle.
- Because the paper deliberately excludes performance evaluation, the classification cannot currently predict which family achieves higher throughput; running the surveyed protocols on a shared benchmark would test whether the taxonomy correlates with measured trade-offs.
- The identified research gaps, especially standardized benchmarks and formal security proofs, suggest that the next synthesis of DAG consensus is likely to be empirical rather than purely taxonomic.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This SoK surveys DAG-based consensus protocols and organizes them around a CAP-inspired availability/consistency dichotomy. After introducing background concepts (ordering, ledger model, participation, network model, dynamic availability, broadcast primitives, adversarial model, finality), the paper categorizes protocols in Table II into availability-focused (structured/unstructured DAG) and consistency-focused (optimistic/certified DAG) families. It then reviews attack vectors, desirable properties such as fairness and MEV protection, recent developments, and future research directions. The paper states in Section I.C that it does not present performance evaluations, and it flags unverified finality claims and uncertain network classifications in footnotes 2 and 3.
Significance. If the classification were made internally consistent, this would be a useful reference for researchers entering DAG-based consensus: the coverage is broad and current (through 2024), the tables (Tables I–III) condense a large literature, and the paper is transparent about its limitations. The explicit disclaimers about unverified finality claims and uncertain network models are commendable for a systematization. The paper does not provide formal proofs, machine-checked artifacts, or reproducible code, but those are not required for a SoK. However, the central contribution is the availability/consistency taxonomy, and that taxonomy currently contains a concrete internal inconsistency that must be fixed before the paper can serve as a reliable reference.
major comments (2)
- [Sec. III, introductory paragraph] The binary classification is internally falsified by the duplicate listing of Slipstream under both Availability-Focused Unstructured DAG and Consistency-Focused Optimistic DAG. Section III-B describes Slipstream as an ebb-and-flow protocol [54] that offers an optimistic ordering live in a sleepy model under up to 50% Byzantine faults and a final ordering safe in an eventual lock-step synchronous model under up to 33% Byzantine faults; ebb-and-flow protocols [75] exist precisely to combine dynamic availability with deterministic finality. Slipstream therefore satisfies both category criteria from Section III simultaneously. Meshcash, also described as ebb-and-flow in Section III-B, is listed only under availability-focused, which suggests the placement is not being applied by a consistent rule. The paper nowhere defines a hybrid category or states that membership can be non-exclusive, while Section I.C promises 'a structured classification ... into Availability-focused and Consistency-focused categories.' The taxonomy as presented is not a partition. The authors should either introduce a hybrid category (including at least Slipstream and Meshcash) or explicitly state that the two categories are non-exclusive and provide guidance for classifying mixed protocols.
- [Sec. III] The CAP-based motivation is load-bearing for the classification, but the paper states only an informal correlation of consistency with safety and availability with liveness, while acknowledging these terms are 'traditionally distinct concepts.' Because the subsequent category definitions rely on notions such as dynamic availability, permissionless settings, BFT primitives, and permissioned environments rather than on a formal CAP interpretation, it is unclear whether the availability/consistency labels are derived from the CAP lens or retrofitted onto protocol families. The authors should either make the mapping precise (for example, define availability-focused as satisfying liveness under dynamically available participation and consistency-focused as satisfying deterministic safety under BFT quorum assumptions) or explicitly frame the taxonomy as a pragmatic, non-formal heuristic and engage with known critiques of applying CAP to permissionless/dynamically available systems. As written, the informal mapping contributes to the ambiguous placement of hybrid protocols such as Slipstream.
minor comments (5)
- [Abstract vs. Sec. I.C] The abstract states that the paper analyzes 'performance and trade-offs' of DAG-based protocols, but the note in Section I.C says 'the paper does not discuss or present any performance evaluation of the included protocols.' The abstract should be revised to avoid this overclaim, or the note should be moved to a more prominent position.
- [Sec. VI.D] The sentence ending 'Lin et al. developed TangleSim [113] ... Byzantine environments. Bullshark [47].' leaves a dangling citation 'Bullshark [47].' that appears to be a leftover fragment; complete the sentence or remove the dangling reference.
- [Sec. III.B] In 'The Slipstream protocol, [54], is also ebb-and-flow style consensus protocol [75]', the indefinite article 'a' is missing before 'ebb-and-flow'.
- [Reference [66]] The author name 'E. G /dieresis.ts1un Sirer' appears corrupted; it should read 'E. Gün Sirer'.
- [Sec. I.B.4] The 'Reachability challenge' bullet is vague; it would benefit from a concrete example, such as how pruning or light-client operation depends on reachability information in the DAG.
Circularity Check
No significant circularity: the paper is a taxonomy, not a derivation; self-citations are not load-bearing.
full rationale
I found no circular step that reduces a prediction or derived result to its own inputs. The paper is a Systematization of Knowledge: its central claim is a classification of DAG-based consensus protocols into availability-focused and consistency-focused categories (Sec. III, Table II), which is a taxonomic organization rather than a derivation. The categories are defined by design attributes (lottery-based open participation vs. BFT-style permissioned/quasi-permissionless consensus), and protocols are assigned to them by descriptive analysis. There are no fitted parameters, no equations, and no quantitative prediction; the paper explicitly disclaims performance evaluation. The CAP-theorem framing is an external lens, and the paper itself flags that it informally correlates consistency with safety and availability with liveness (Sec. III). Self-citations appear (Tangle 2.0 [17], Slipstream [54], Fairness Notions [94], and related IOTA papers), but they are used as objects of classification or as literature references, not as evidence that forces the taxonomy; the cited protocols are independently published and externally verifiable. The duplicate listing of Slipstream in both the availability-focused Unstructured DAG column and the consistency-focused Optimistic DAG column of Table II is an internal consistency problem for the binary partition, and Tangle 2.0 is discussed under availability-focused protocols in Sec. III-B but tabulated under consistency-focused protocols, yet overlap or misclassification is not a circular reduction. Footnote 2 acknowledges that finality results are claims by protocol authors, further showing the paper is reporting rather than deriving. The only minor concern is nontrivial self-citation in the set of protocols anchoring the taxonomy, but it is not load-bearing, so the circularity score is 2.
Assumptions & free parameters
assumptions (2)
- domain assumption CAP theorem provides a valid lens for analyzing DAG-based consensus protocols, with consistency mapped to safety and availability mapped to liveness.
- domain assumption DAG-based consensus protocols can be cleanly partitioned into availability-focused and consistency-focused categories (with subcategories).
Cite this review
Pith. "Pith review of SoK: DAG-based Consensus Protocols." pith.science (2026). https://pith.science/paper/SJZM4U57
@misc{pith2026241110026,
author = {Pith},
title = {Pith review of: SoK: DAG-based Consensus Protocols},
year = {2026},
howpublished = {\url{https://pith.science/paper/SJZM4U57}},
note = {Machine review of arXiv:2411.10026}
}
read the original abstract
This paper is a Systematization of Knowledge (SoK) on Directed Acyclic Graph (DAG)-based consensus protocols, analyzing their performance and trade-offs within the framework of consistency, availability, and partition tolerance inspired by the CAP theorem. We classify DAG-based consensus protocols into availability-focused and consistency-focused categories, exploring their design principles, core functionalities, and associated trade-offs. Furthermore, we examine key properties, attack vectors, and recent developments, providing insights into security, scalability, and fairness challenges. Finally, we identify research gaps and outline directions for advancing DAG-based consensus mechanisms.
Figures
Reference graph
Works this paper leans on
-
[54]
Slipstream: Ebb-and-flow consensus on a dag with fast confirmation for utxo transactio ns,
N. Polyanskii, S. Muller, and M. Raikwar, “Slipstream: Ebb-and-flow consensus on a dag with fast confirmation for utxo transactio ns,”
-
[75]
Ebb-and-flow protocols: A r esolution of the availability-finality dilemma,
J. Neu, E. N. Tas, and D. Tse, “Ebb-and-flow protocols: A r esolution of the availability-finality dilemma,” in 2021 IEEE Symposium on Security and Privacy (SP) . IEEE, 2021, pp. 446–465
work page 2021
-
[1]
Speed-security tradeo ffs in blockchain protocols,
A. Kiayias and G. Panagiotakos, “Speed-security tradeo ffs in blockchain protocols,” Cryptology ePrint Archive , 2015
2015
-
[2]
Security-Performa nce Tradeoff in DAG-based Proof-of-Work Blockchain Protocols,
S. Wu, P . Wei, R. Zhang, and B. Jiang, “Security-Performa nce Tradeoff in DAG-based Proof-of-Work Blockchain Protocols,” Cryptology ePrint Archive, 2023
2023
-
[3]
The scalability trilemma in blockchain,
NeonV est, “The scalability trilemma in blockchain,” 2018, accessed: 23.08.2023. [Online]. Available: https://aakash-111.medium.com/the-scalability-trilemma-in-blockchain-75fb57f6 46df
2018
-
[4]
Databases fit for blockchain technology: A complete overvi ew,
J. Kalajdjieski, M. Raikwar, N. Arsov, G. V elinov, and D. Gligoroski, “Databases fit for blockchain technology: A complete overvi ew,” Blockchain: Research and Applications , p. 100116, 2022
2022
-
[5]
Bitcoin: A peer-to-peer electronic cash s ystem,
S. Nakamoto, “Bitcoin: A peer-to-peer electronic cash s ystem,” Decen- tralized business review , p. 21260, 2008
2008
-
[6]
The hashgraph protocol: Efficient asyn- chronous BFT for high-throughput distributed ledgers,
L. Baird and A. Luykx, “The hashgraph protocol: Efficient asyn- chronous BFT for high-throughput distributed ledgers,” in 2020 In- ternational Conference on Omni-layer Intelligent Systems (COINS). IEEE, 2020, pp. 1–7
2020
Show all 121 references
-
[7]
The tangle,
S. Popov, “The tangle,” White paper , vol. 1, no. 3, p. 30, 2018
2018
-
[8]
Sok: Dag-based bloc kchain systems,
Q. Wang, J. Y u, S. Chen, and Y . Xiang, “Sok: Dag-based bloc kchain systems,” ACM Computing Surveys , vol. 55, no. 12, pp. 1–38, 2023
2023
-
[9]
A survey on consensus algori thms of blockchain based on dag,
X. Lu, C. Jiang, and P . Wang, “A survey on consensus algori thms of blockchain based on dag,” in Proceedings of the 2024 6th Blockchain and Internet of Things Conference , ser. BIOTC ’24. New Y ork, NY , USA: Association for Computing Machinery, 2024, p. 50–5 8. [Online]. Ava...
2024
-
[10]
SOK: a comprehensive survey on distributed ledger technologies ,
B. Bellaj, A. Ouaddah, E. Bertin, N. Crespi, and A. Mezri oui, “SOK: a comprehensive survey on distributed ledger technologies ,” in 2022 IEEE International Conference on Blockchain and Cryptocur rency (ICBC). IEEE, 2022, pp. 1–16
2022
-
[11]
M ind the gap: Trade-offs between distributed ledger technology charact eristics,
N. Kannengießer, S. Lins, T. Dehling, and A. Sunyaev, “M ind the gap: Trade-offs between distributed ledger technology charact eristics,” arXiv preprint arXiv:1906.00861, 2019
1906 arXiv
-
[12]
C hain or dag? underlying data structures, architectures, topologi es and consensus in distributed ledger technology: A review, taxonomy and re search issues,
H. Y . Wu, X. Y ang, C. Y ue, H.-Y . Paik, and S. S. Kanhere, “C hain or dag? underlying data structures, architectures, topologi es and consensus in distributed ledger technology: A review, taxonomy and re search issues,” Journal of Systems Architecture , vol. 131, p. 102720, 2022
2022
-
[13]
The consensus number of a cryptocurrency,
R. Guerraoui, P . Kuznetsov, M. Monti, M. Pavloviˇ c, and D.-A. Seredin- schi, “The consensus number of a cryptocurrency,” in Proceedings of the 2019 ACM Symposium on Principles of Distributed Computi ng, 2019, pp. 307–316
2019
-
[14]
Fastpay: High-p erformance byzantine fault tolerant settlement,
M. Baudet, G. Danezis, and A. Sonnino, “Fastpay: High-p erformance byzantine fault tolerant settlement,” in Proceedings of the 2nd ACM Conference on Advances in Financial Technologies, 2020, pp. 163–177
2020
-
[15]
Flash: An asynch ronous payment system with good-case linear communication comple xity,
A. Lewis-Pye, O. Naor, and E. Shapiro, “Flash: An asynch ronous payment system with good-case linear communication comple xity,” arXiv preprint arXiv:2305.03567 , 2023
2023 arXiv
-
[16]
Spectre: A fast and scalable cryptocurrency protocol,
Y . Sompolinsky, Y . Lewenberg, and A. Zohar, “Spectre: A fast and scalable cryptocurrency protocol,” Cryptology ePrint Archive , 2016
2016
-
[17]
Tangle 2.0 leaderless nakamoto consensus on the he aviest dag,
S. M¨ uller, A. Penzkofer, N. Polyanskii, J. Theis, W. Sa nders, and H. Moog, “Tangle 2.0 leaderless nakamoto consensus on the he aviest dag,” IEEE Access , vol. 10, pp. 105 807–105 842, 2022
2022
-
[18]
Scal- able and probabilistic leaderless bft consensus through me tastability,
T. Rocket, M. Yin, K. Sekniqi, R. van Renesse, and E. G. Si rer, “Scal- able and probabilistic leaderless bft consensus through me tastability,” arXiv preprint arXiv:1906.08936 , 2019
1906 arXiv
-
[19]
The Extended UTXO Model,
M. M. T. Chakravarty, J. Chapman, K. MacKenzie, O. Melko nian, M. Peyton Jones, and P . Wadler, “The Extended UTXO Model,” in Financial Cryptography and Data Security , M. Bernhard, A. Bracciali, L. J. Camp, S. Matsuo, A. Maurushat, P . B. Rønne, and M. Sala, E ds. Cham: Sprin...
2020
-
[20]
Ethereum: A secure decentralised generalised trans- action ledger,
G. Wood et al. , “Ethereum: A secure decentralised generalised trans- action ledger,” Ethereum project yellow paper , vol. 151, no. 2014, pp. 1–32, 2014
2014
-
[21]
Reality-based utxo ledger,
S. M¨ uller, A. Penzkofer, N. Polyanskii, J. Theis, W. Sa nders, and H. Moog, “Reality-based utxo ledger,” Distrib. Ledger Technol., vol. 2, no. 3, sep 2023. [Online]. Available: https://doi .org/10.1145/3616022
2023 doi
-
[22]
The sui smart contracts platform,
The Mysten Labs Team, “The sui smart contracts platform,” 2022, accessed: 22.08.2023. [Online]. Availab le: https://github.com/MystenLabs/sui/blob/main/doc/paper/sui.pdf
2022
-
[23]
Mysticeti: Low-latency dag consensus with fast commit pat h,
K. Babel, A. Chursin, G. Danezis, L. Kokoris-Kogias, an d A. Sonnino, “Mysticeti: Low-latency dag consensus with fast commit pat h,” 2023
2023
-
[24]
Permissionless cons ensus,
A. Lewis-Pye and T. Roughgarden, “Permissionless cons ensus,” arXiv preprint arXiv:2304.14701, 2023
2023 arXiv
-
[25]
Obelia: Scaling dag-based blockchains to hundreds of validators,
G. Danezis, L. Kokoris-Kogias, A. Sonnino, and M. Tian, “Obelia: Scaling dag-based blockchains to hundreds of validators,” 2024. [Online]. Available: https://arxiv .org/abs/2410.08701
2024 arXiv
-
[26]
The availability-account ability dilemma and its resolution via accountability gadgets,
J. Neu, E. N. Tas, and D. Tse, “The availability-account ability dilemma and its resolution via accountability gadgets,” in International Confer- ence on Financial Cryptography and Data Security . Springer, 2022, pp. 541–559
2022
-
[27]
The sleepy model of consensus,
R. Pass and E. Shi, “The sleepy model of consensus,” in Advances in Cryptology–ASIACRYPT 2017: 23rd International Conferenc e on the Theory and Applications of Cryptology and Information Secu rity, Hong Kong, China, December 3-7, 2017, Proceedings, Part II 23 . Springer, 2017,...
2017
-
[28]
Asynchronous byzantine agreement protoco ls,
G. Bracha, “Asynchronous byzantine agreement protoco ls,” Information and Computation , vol. 75, no. 2, pp. 130–143, 1987
1987
-
[29]
Impossib ility of distributed consensus with one faulty process,
M. J. Fischer, N. A. Lynch, and M. S. Paterson, “Impossib ility of distributed consensus with one faulty process,” J. ACM , vol. 32, no. 2, p. 374–382, apr 1985. [Online]. Available: https://doi.org/10.1145/3149.214121
1985
-
[30]
Secure high-rate transac tion processing in bitcoin,
Y . Sompolinsky and A. Zohar, “Secure high-rate transac tion processing in bitcoin,” in Financial Cryptography and Data Security: 19th Inter- national Conference, FC 2015, San Juan, Puerto Rico, Januar y 26-30, 2015, Revised Selected Papers 19 . Springer, 2015, pp. 507–527
2015
-
[31]
Inclusive block chain protocols,
Y . Lewenberg, Y . Sompolinsky, and A. Zohar, “Inclusive block chain protocols,” in Financial Cryptography and Data Security: 19th Inter- national Conference, FC 2015, San Juan, Puerto Rico, Januar y 26-30, 2015, Revised Selected Papers 19 . Springer, 2015, pp. 528–547
2015
-
[32]
Byteball: A decentralized system for st orage and transfer of value,
A. Churyumov, “Byteball: A decentralized system for st orage and transfer of value,” URL https://byteball. org/Byteball. pdf , p. 11, 2016
2016
-
[33]
Phantom gho stdag: a scalable generalization of nakamoto consensus: September 2, 2021,
Y . Sompolinsky, S. Wyborski, and A. Zohar, “Phantom gho stdag: a scalable generalization of nakamoto consensus: September 2, 2021,” in Proceedings of the 3rd ACM Conference on Advances in Financi al Technologies, 2021, pp. 57–70
2021
-
[34]
The DAG KNIGHT Protocol: A Parameterless Generalization of Nakamoto Consensus,
Y . Sompolinsky and M. Sutton, “The DAG KNIGHT Protocol: A Parameterless Generalization of Nakamoto Consensus,” Cryptology ePrint Archive, 2022
2022
-
[35]
Prism: Deconstructing the blockchain to approach physical limits ,
V . Bagaria, S. Kannan, D. Tse, G. Fanti, and P . Viswanath , “Prism: Deconstructing the blockchain to approach physical limits ,” in Pro- ceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security , ser. CCS ’19. New Y ork, NY , USA: Association for Co...
2019
-
[36]
Ghast: Breaking confirmatio n delay barrier in nakamoto consensus via adaptive weighted blocks ,
C. Li, F. Long, and G. Y ang, “Ghast: Breaking confirmatio n delay barrier in nakamoto consensus via adaptive weighted blocks ,” 2020
2020
-
[37]
Joint- graph: A dag-based efficient consensus algorithm for consor tium blockchains,
F. Xiang, W. Huaimin, S. Peichang, O. Xue, and Z. Xunhui, “Joint- graph: A dag-based efficient consensus algorithm for consor tium blockchains,” Software: Practice and Experience , vol. 51, no. 10, pp. 1987–1999, 2021
1987
-
[38]
Aleph: Efficient atomic broadcast in asynchronous networks with byzantine n odes,
A. Ga֒gol, D. Le´ sniak, D. Straszak, and M. ´Swie֒tek, “Aleph: Efficient atomic broadcast in asynchronous networks with byzantine n odes,” in Proceedings of the 1st ACM Conference on Advances in Financi al Technologies, 2019, pp. 214–228
2019
-
[39]
All you need is dag,
I. Keidar, E. Kokoris-Kogias, O. Naor, and A. Spiegelma n, “All you need is dag,” in Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing , 2021, pp. 165–175
2021
-
[40]
Ohie: Blockch ain scaling made simple,
H. Y u, I. Nikoli´ c, R. Hou, and P . Saxena, “Ohie: Blockch ain scaling made simple,” in 2020 IEEE Symposium on Security and Privacy (SP) . IEEE, 2020, pp. 90–105
2020
-
[41]
Parallel ch ains: Improving throughput and latency of blockchain protocols via paralle l composi- tion,
M. Fitzi, P . Ga, A. Kiayias, and A. Russell, “Parallel ch ains: Improving throughput and latency of blockchain protocols via paralle l composi- tion,” Cryptology ePrint Archive , 2018
2018
-
[42]
Security analysis of filecoin’s expected consensus in the byzantine vs honest model,
X. Wang, S. Azouvi, and M. Vukoli´ c, “Security analysis of filecoin’s expected consensus in the byzantine vs honest model,” arXiv preprint arXiv:2308.06955, 2023
2023 arXiv
-
[43]
Nano: A feeless distributed cryptocurre ncy network,
C. LeMahieu, “Nano: A feeless distributed cryptocurre ncy network,” Nano [Online resource]. URL: https://nano. org/en/whitep aper (date of access: 24.03. 2018) , vol. 16, p. 17, 2018
2018
-
[44]
Chainweb: A proof- of-work parallel-chain architecture for massive throughp ut,
W. Martino, M. Quaintance, and S. Popejoy, “Chainweb: A proof- of-work parallel-chain architecture for massive throughp ut,” Chainweb whitepaper, vol. 19, 2018
2018
-
[45]
Torto ise and hares consensus: the meshcash framework for incentive-compatib le, scalable cryptocurrencies,
I. Bentov, P . Hub´ aˇ cek, T. Moran, and A. Nadler, “Torto ise and hares consensus: the meshcash framework for incentive-compatib le, scalable cryptocurrencies,” in Cyber Security Cryptography and Machine Learn- ing: 5th International Symposium, CSCML 2021, Be’er Sheva, Israe...
2021
-
[46]
Nar- whal and Tusk: a DAG-based mempool and efficient BFT consensu s,
G. Danezis, L. Kokoris-Kogias, A. Sonnino, and A. Spieg elman, “Nar- whal and Tusk: a DAG-based mempool and efficient BFT consensu s,” in Proceedings of the Seventeenth European Conference on Comp uter Systems, 2022, pp. 34–50
2022
-
[47]
Bullshark: DAG BFT protocols made practical,
A. Spiegelman, N. Giridharan, A. Sonnino, and L. Kokori s-Kogias, “Bullshark: DAG BFT protocols made practical,” in Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communicatio ns Security, 2022, pp. 2705–2718
2022
-
[48]
Cordial miners: A fa mily of simple, efficient and self-contained consensus protocols for every eventuality,
I. Keidar, O. Naor, and E. Shapiro, “Cordial miners: A fa mily of simple, efficient and self-contained consensus protocols for every eventuality,” arXiv preprint arXiv:2205.09174 , 2022
2022 arXiv
-
[49]
BBCA-CHAIN: One- Message, Low Latency BFT Consensus on a DAG,
D. Malkhi, C. Stathakopoulou, and M. Yin, “BBCA-CHAIN: One- Message, Low Latency BFT Consensus on a DAG,” arXiv preprint arXiv:2310.06335, 2023
2023 arXiv
-
[50]
Shoal : Improving DAG-BFT Latency And Robustness,
A. Spiegelman, B. Aurn, R. Gelashvili, and Z. Li, “Shoal : Improving DAG-BFT Latency And Robustness,” arXiv preprint arXiv:2306.03058, 2023
2023 arXiv
-
[52]
Sail fish: Towards improving latency of dag-based bft,
N. Shrestha, R. Shrothrium, A. Kate, and K. Nayak, “Sail fish: Towards improving latency of dag-based bft,” Cryptology ePrint Archive , 2024
2024
-
[53]
Mahi-mahi: Low-latency asynchronous bft da g-based consensus,
P . Jovanovic, L. K. Kogias, B. Kumara, A. Sonnino, P . Ten nage, and I. Zablotchi, “Mahi-mahi: Low-latency asynchronous bft da g-based consensus,” 2024. [Online]. Available: https://arxiv .org/abs/2410.08670
2024 arXiv
-
[55]
Vite: A high performance asyn chronous decentralized application platform,
C. Liu, D. Wang, and M. Wu, “Vite: A high performance asyn chronous decentralized application platform,” White Paper, 2018
2018
-
[56]
Consensus on a DAG,
IOTA Foundation, “Consensus on a DAG,” 2023, accessed: 19.11.2023. [Online]. Available: https://wiki.iota.org/learn/protocols/iota2.0/core-concepts/consensus/introduction/
2023
-
[57]
Towards robust distributed systems,
E. A. Brewer, “Towards robust distributed systems,” in PODC, vol. 7, no. 10.1145. Portland, OR, 2000, pp. 343 477–343 502
2000
-
[58]
Cap twelve years later: How the
E. Brewer, “Cap twelve years later: How the ”rules” have changed,” Computer, vol. 45, no. 2, pp. 23–29, 2012
2012
-
[59]
Hedera: A governing council & public hashgraph network,
L. Baird, M. Harmon, and P . Madsen, “Hedera: A governing council & public hashgraph network,” The trust layer of the internet, whitepaper , vol. 1, pp. 1–97, 2018
2018
-
[60]
Phantom,
Y . Sompolinsky and A. Zohar, “Phantom,” IACR Cryptology ePrint Archive, Report 2018/104 , 2018
2018
-
[61]
A decentralized blockchain with high through put and fast confirmation,
C. Li, P . Li, D. Zhou, Z. Y ang, M. Wu, G. Y ang, W. Xu, F. Long , and A. C.-C. Y ao, “A decentralized blockchain with high through put and fast confirmation,” in 2020 {USENIX} Annual Technical Conference ({USENIX}{ATC} 20), 2020, pp. 515–528
2020
-
[62]
BBCA- LEDGER: High Throughput Consensus meets Low Latency,
C. Stathakopoulou, M. Wei, M. Yin, H. Zhang, and D. Malkh i, “BBCA- LEDGER: High Throughput Consensus meets Low Latency,” arXiv preprint arXiv:2306.14757, 2023
2023 arXiv
-
[63]
Shoal++: High throughput dag bft can be fast!
B. Arun, Z. Li, F. Suri-Payer, S. Das, and A. Spiegelman, “Shoal++: High throughput dag bft can be fast!” 2024. [Online]. Availa ble: https://arxiv.org/abs/2405.20488
2024 arXiv
-
[64]
Graphchain: A blockch ain-free scal- able decentralised ledger,
X. Boyen, C. Carr, and T. Haines, “Graphchain: A blockch ain-free scal- able decentralised ledger,” in Proceedings of the 2nd ACM W orkshop on Blockchains, Cryptocurrencies, and Contracts , 2018, pp. 21–33
2018
-
[65]
Sailfish: Towards improving latency of dag-based bft,
N. Shrestha, A. Kate, and K. Nayak, “Sailfish: Towards improving latency of dag-based bft,” IACR Cryptol. ePrint Arch., vol. 2024, p. 472, 2024. [Online]. Available: https://api.semanticscholar.org/CorpusID:268678908
2024
-
[66]
Avalanche native token ($avax) dynamics,
S. Buttolph, A. Moin, K. Sekniqi, and E. G /dieresis.ts1un Sirer, “Avalanche native token ($avax) dynamics,” 2020, accessed: 14.11.2023. [Online]. Availab le: https://assets.website-files .com/5d80307810123f5ffbb34d6e/6008d7bc56430d6b8792b8d1 Avalanche%20Native%20Token%20Dynamics.pdf
2020
-
[67]
Ourobor os praos: An adaptively-secure, semi-synchronous proof-of-stake b lockchain,
B. David, P . Gaˇ zi, A. Kiayias, and A. Russell, “Ourobor os praos: An adaptively-secure, semi-synchronous proof-of-stake b lockchain,” in Advances in Cryptology–EUROCRYPT 2018: 37th Annual Intern a- tional Conference on the Theory and Applications of Cryptog raphic Technique...
2018
-
[68]
Practical byzantine fault tolerance,
M. Castro, B. Liskov et al. , “Practical byzantine fault tolerance,” in OsDI, vol. 99, no. 1999, 1999, pp. 173–186
1999
-
[69]
The byzantine gen erals problem,
L. Lamport, R. Shostak, and M. Pease, “The byzantine gen erals problem,” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 4, no. 3, pp. 382–401, 1982
1982
-
[70]
Fruitchains: A fair blockchain,
R. Pass and E. Shi, “Fruitchains: A fair blockchain,” in Proceedings of the ACM symposium on principles of distributed computing , 2017, pp. 315–324
2017
-
[71]
{Bitcoin- NG}: A scalable blockchain protocol,
I. Eyal, A. E. Gencer, E. G. Sirer, and R. V an Renesse, “ {Bitcoin- NG}: A scalable blockchain protocol,” in 13th USENIX symposium on networked systems design and implementation (NSDI 16) , 2016, pp. 45–59
2016
-
[72]
On trees, chains and fa st transactions in the blockchain,
A. Kiayias and G. Panagiotakos, “On trees, chains and fa st transactions in the blockchain,” in Progress in Cryptology–LATINCRYPT 2017: 5th International Conference on Cryptology and Informatio n Security in Latin America, Havana, Cuba, September 20–22, 2017, Revi sed Selected...
2017
-
[73]
Condorcet’s paradox,
W. V . Gehrlein, “Condorcet’s paradox,” Theory and Decision , vol. 15, no. 2, pp. 161–197, 1983
1983
-
[74]
Scaling n akamoto consensus to thousands of transactions per second,
C. Li, P . Li, D. Zhou, W. Xu, F. Long, and A. Y ao, “Scaling n akamoto consensus to thousands of transactions per second,” arXiv preprint arXiv:1805.03870, 2018
2018 arXiv
-
[76]
V oting-based probabilistic c onsensuses and their applications in distributed ledgers,
S. Popov and S. M¨ uller, “V oting-based probabilistic c onsensuses and their applications in distributed ledgers,” Annals of Telecommunications, vol. 77, no. 1, pp. 77–99, 2022. [Online]. Available: https://doi.org/10.1007/s12243-021-00875-7
2022 doi
-
[77]
When is sp ring coming? a security analysis of avalanche consensus,
I. Amores-Sesar, C. Cachin, and E. Tedeschi, “When is sp ring coming? a security analysis of avalanche consensus,” 2022
2022
-
[78]
Random oracles in c onstan- tipole: practical asynchronous byzantine agreement using cryptogra- phy,
C. Cachin, K. Kursawe, and V . Shoup, “Random oracles in c onstan- tipole: practical asynchronous byzantine agreement using cryptogra- phy,” in Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing , 2000, pp. 123–132
2000
-
[79]
Asynchronous consensus and bro adcast protocols,
G. Bracha and S. Toueg, “Asynchronous consensus and bro adcast protocols,” Journal of the ACM (JACM) , vol. 32, no. 4, pp. 824–840, 1985
1985
-
[80]
Fault-scalable byzantine fault-tolerant service s,
M. Abd-El-Malek, G. R. Ganger, G. R. Goodson, M. K. Reite r, and J. J. Wylie, “Fault-scalable byzantine fault-tolerant service s,” ACM SIGOPS Operating Systems Review , vol. 39, no. 5, pp. 59–74, 2005
2005
-
[81]
Threshold logical clocks for asynchronous di stributed coor- dination and consensus,
B. Ford, “Threshold logical clocks for asynchronous di stributed coor- dination and consensus,” arXiv preprint arXiv:1907.07010 , 2019
1907 arXiv
-
[82]
A better method to analyze blockchain consistency,
L. Kiffer, R. Rajaraman, and a. shelat, “A better method to analyze blockchain consistency,” in Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, ser. CCS ’18. New Y ork, NY , USA: Association for Computing Machinery, 2018, p. 729–744. [Onl...
2018
-
[83]
The balance attack against pr oof-of-work blockchains: The r3 testbed as an example,
C. Natoli and V . Gramoli, “The balance attack against pr oof-of-work blockchains: The r3 testbed as an example,” 2016. [Online]. Available: https://arxiv.org/abs/1612.09426
2016 arXiv
-
[84]
Attested append-only memory: Making adversaries stick to their word ,
B.-G. Chun, P . Maniatis, S. Shenker, and J. Kubiatowicz , “Attested append-only memory: Making adversaries stick to their word ,” ACM SIGOPS Operating Systems Review , vol. 41, no. 6, pp. 189–204, 2007
2007
-
[85]
An analy sis of avalanche consensus,
I. Amores-Sesar, C. Cachin, and P . Schneider, “An analy sis of avalanche consensus,” in Structural Information and Communication Complexity: 31st International Colloquium, SIROCCO 2024, Vietri Sul Mare, Italy, May 27–29, 2024, Proceedings . Berlin, Heidelberg: Springer-V erla...
2024 doi
-
[86]
Frosty: Bringing strong liveness guarantees t o the snow family of consensus protocols,
A. Buchwald, S. Buttolph, A. Lewis-Pye, P . O’Grady, and K. Sekniqi, “Frosty: Bringing strong liveness guarantees t o the snow family of consensus protocols,” 2024. [Online]. Avail able: https://arxiv.org/abs/2404.14250
2024 arXiv
-
[87]
An empirical study of consensus protocols’ dos r esilience,
G. Giuliari, A. Sonnino, M. Frei, F. Streun, L. Kokoris- Kogias, and A. Perrig, “An empirical study of consensus protocols’ dos r esilience,” in Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, ser. ASIA CCS ’24. New Y ork, NY , USA: Associa...
2024
-
[88]
The coordi- cide,
S. Popov, H. Moog, D. Camargo, A. Capossele, V . Dimitrov , A. Gal, A. Greve, B. Kusmierz, S. Mueller, A. Penzkofer et al. , “The coordi- cide,” Accessed Jan, pp. 1–30, 2020
2020
-
[89]
Upper boun d prob- ability of double spend attack on spectre,
L. Kovalchuk, M. Rodinko, and R. Oliynykov, “Upper boun d prob- ability of double spend attack on spectre,” in Proceedings of the 3rd W orkshop on Cryptocurrencies and Blockchains for Distr ibuted Systems, 2020, pp. 18–22
2020
-
[90]
Adelie: Detection and prevention of byzan tine behaviour in dag-based consensus protocols,
A. Chursin, “Adelie: Detection and prevention of byzan tine behaviour in dag-based consensus protocols,” 2024. [Online]. Availa ble: https://arxiv.org/abs/2408.02000
2024 arXiv
-
[91]
Feed back control for distributed ledgers: An attack mitigation policy for da g-based dlts,
P . Ferraro, A. Penzkofer, C. King, and R. Shorten, “Feed back control for distributed ledgers: An attack mitigation policy for da g-based dlts,” IEEE Transactions on Automatic Control, vol. 69, no. 8, pp. 5492–5499, 2024
2024
-
[92]
M itigation of liveness attacks in dag-based ledgers,
D. Camargo, A. Penzkofer, S. M¨ uller, and W. Sanders, “M itigation of liveness attacks in dag-based ledgers,” in 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) , 2023, pp. 1–9
2023
-
[93]
Sui lutris: A blockchain combining broadcast and consensus,
S. Blackshear, A. Chursin, G. Danezis, A. Kichidis, L. K okoris-Kogias, X. Li, M. Logan, A. Menon, T. Nowacki, A. Sonnino et al., “Sui lutris: A blockchain combining broadcast and consensus,” arXiv preprint arXiv:2310.18042, 2023
-
[94]
Fairness No tions in DAG- Based DLTs,
M. Raikwar, N. Polyanskii, and S. M¨ uller, “Fairness No tions in DAG- Based DLTs,” in 2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS ), 2023, pp. 1–8
2023
-
[95]
Flash boys 2.0: Frontrunning in dece ntralized exchanges, miner extractable value, and consensus instabi lity,
P . Daian, S. Goldfeder, T. Kell, Y . Li, X. Zhao, I. Bentov , L. Brei- denbach, and A. Juels, “Flash boys 2.0: Frontrunning in dece ntralized exchanges, miner extractable value, and consensus instabi lity,” in 2020 IEEE Symposium on Security and Privacy (SP) . IEEE, 2020, pp. 910–927
2020
-
[96]
SoK: MEV countermeasures: Theory and Practice,
S. Y ang, F. Zhang, K. Huang, X. Chen, Y . Y ang, and F. Zhu, “SoK: MEV countermeasures: Theory and Practice,” arXiv preprint arXiv:2212.05111, 2022
2022 arXiv
-
[97]
Leveraging machine learning for bidding strategies in miner extractable value (mev) auctio ns,
C. Raun, B. Estermann, L. Zhou, K. Qin, R. Wattenhofer, A. Gervais, and Y . Wang, “Leveraging machine learning for bidding strategies in miner extractable value (mev) auctio ns,” Cryptology ePrint Archive, Paper 2023/1281, 2023. [Online ]. Available: https://eprint.iacr.org/2023/1281
2023
-
[98]
Maximal extractable va lue (mev) protection on a dag,
D. Malkhi and P . Szalachowski, “Maximal extractable va lue (mev) protection on a dag,” arXiv preprint arXiv:2208.00940 , 2022
2022 arXiv
-
[99]
Lo: An accountable mempool for mev resistance,
B. Nasrulin, G. Ishmaev, J. Decouchant, and J. Pouwelse , “Lo: An accountable mempool for mev resistance,” in Proceedings of the 24th International Middleware Conference , ser. Middleware ’23. New Y ork, NY , USA: Association for Computing Machinery, 2023, p . 98–110. [Online]...
2023
-
[100]
Reducing Late ncy of DAG- based Consensus in the Asynchronous Setting via the UTXO Mod el,
K. Liu, M. Jourenko, and M. Larangeira, “Reducing Late ncy of DAG- based Consensus in the Asynchronous Setting via the UTXO Mod el,” arXiv preprint arXiv:2307.15269 , 2023
2023 arXiv
-
[101]
Flexible advancement in asynchronous bft consensus,
S. Liu, W. Xu, C. Shan, X. Y an, T. Xu, B. Wang, L. Fan, F. De ng, Y . Y an, and H. Zhang, “Flexible advancement in asynchronous bft consensus,” in Proceedings of the 29th Symposium on Operating Systems Principles , 2023, pp. 264–280
2023
-
[102]
We will dag you,
I. Amores-Sesar and C. Cachin, “We will dag you,” arXiv preprint arXiv:2311.03092, 2023
2023 arXiv
-
[103]
Prism removes consensus bottleneck for smart contracts,
G. Wang, S. Wang, V . Bagaria, D. Tse, and P . Viswanath, “ Prism removes consensus bottleneck for smart contracts,” in 2020 Crypto V alley Conference on Blockchain Technology (CVCBT) , 2020, pp. 68– 77
2020
-
[104]
Block-stm: Scaling blockchain executi on by turning ordering curse to a performance blessing,
R. Gelashvili, A. Spiegelman, Z. Xiang, G. Danezis, Z. Li, D. Malkhi, Y . Xia, and R. Zhou, “Block-stm: Scaling blockchain executi on by turning ordering curse to a performance blessing,” 2022. [O nline]. Available: https://arxiv.org/abs/2203.06871
2022 arXiv
-
[105]
Pilotfish: Distributed transaction execution for lazy blo ckchains,
Q. Kniep, L. Kokoris-Kogias, A. Sonnino, I. Zablotchi , and N. Zhang, “Pilotfish: Distributed transaction execution for lazy blo ckchains,”
-
[106]
Properties of the tangle for uniform random and random walk tip selection,
B. Kusmierz, W. Sanders, A. Penzkofer, A. Capossele, a nd A. Gal, “Properties of the tangle for uniform random and random walk tip selection,” in 2019 IEEE International Conference on Blockchain (Blockchain). IEEE, 2019, pp. 228–236
2019
-
[107]
Available: https://arxiv .org/abs/2401.16292
[Online]. Available: https://arxiv .org/abs/2401.16292
-
[108]
Direct acyclic graph-based ledger for internet of things: Performance and security analysis,
Y . Li, B. Cao, M. Peng, L. Zhang, L. Zhang, D. Feng, and J. Y u, “Direct acyclic graph-based ledger for internet of things: Performance and security analysis,” IEEE/ACM Transactions on Networking, vol. 28, no. 4, pp. 1643–1656, 2020
2020
-
[109]
Performance analysis of dag -based cryptocurrency,
S. Park, S. Oh, and H. Kim, “Performance analysis of dag -based cryptocurrency,” in 2019 IEEE International Conference on Commu- nications workshops (ICC workshops) . IEEE, 2019, pp. 1–6
2019
-
[110]
Dagsim: Simulation o f dag- based distributed ledger protocols,
M. Zander, T. Waite, and D. Harz, “Dagsim: Simulation o f dag- based distributed ledger protocols,” ACM SIGMETRICS Performance Evaluation Review, vol. 46, no. 3, pp. 118–121, 2019
2019
-
[111]
Impact of delay classes on the data structure in iota,
A. Penzkofer, O. Saa, and D. Dziubałtowska, “Impact of delay classes on the data structure in iota,” in International W orkshop on Data Privacy Management. Springer, 2021, pp. 289–300
2021
-
[112]
Stability of local tip pool sizes,
S. M¨ uller, I. Amigo, A. Reiffers-Masson, and S. Ruano -Rinc´ on, “Stability of local tip pool sizes,” 2023. [Online]. Availa ble: https://arxiv.org/abs/2302.01625
2023 arXiv
-
[113]
The effect of network delays on Distributed Ledgers based on Dir ect Acyclic Graphs: A mathematical model,
N. Kumar, A. Reiffers-Masson, I. Amigo, and S. Ruano Ri nc´ on, “The effect of network delays on Distributed Ledgers based on Dir ect Acyclic Graphs: A mathematical model,” Available at SSRN 4253421 , 2022
2022
-
[114]
Embedding a deterministi c bft protocol in a block dag,
M. A. Schett and G. Danezis, “Embedding a deterministi c bft protocol in a block dag,” in Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing , 2021, pp. 177–186
2021
-
[115]
Tanglesim: An agent-based, modular simulator for dag-bas ed dis- tributed ledger technologies,
B.-Y . Lin, D. Dziubałtowska, P . Macek, A. Penzkofer, a nd S. M¨ uller, “Tanglesim: An agent-based, modular simulator for dag-bas ed dis- tributed ledger technologies,” in 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) . IEEE, 2023, pp. 1–5
2023
-
[116]
The flare consensus protocol: Fair fast federated byzantine agreement consensus,
N. S. Rowan and N. Usher, “The flare consensus protocol: Fair fast federated byzantine agreement consensus,” Tech. rep, Tech . Rep, Tech. Rep., 2019
2019
-
[117]
Blockmania: from block d ags to consensus,
G. Danezis and D. Hrycyszyn, “Blockmania: from block d ags to consensus,” arXiv preprint arXiv:1809.01620 , 2018
2018 arXiv
-
[118]
Ldv: A lightweight dag- based blockchain for vehicular social networks,
W. Y ang, X. Dai, J. Xiao, and H. Jin, “Ldv: A lightweight dag- based blockchain for vehicular social networks,” IEEE Transactions on V ehicular Technology, vol. 69, no. 6, pp. 5749–5759, 2020
2020
-
[119]
Faithful Simulatio n of Randomized BFT Protocols on Block DAGs,
H. Attiya, C. Enea, and S. Nassar, “Faithful Simulatio n of Randomized BFT Protocols on Block DAGs,” Cryptology ePrint Archive , 2023
2023
-
[120]
Geckodag: Towards a lightweight dag-based blockchain via reducing data redundancy,
X. Dai, Y . Zhou, J. Xiao, F. Cheng, X. Xie, H. Jin, and B. L i, “Geckodag: Towards a lightweight dag-based blockchain via reducing data redundancy,” in 2023 IEEE 43rd International Conference on Distributed Computing Systems (ICDCS) . IEEE, 2023, pp. 451–462. This figure "DAG...
2023 arXiv
-
[121]
L ightweight and scalable dag based distributed ledger for verifying iot dat a integrity,
S. R. Cherupally, S. Boga, P . Podili, and K. Kataoka, “L ightweight and scalable dag based distributed ledger for verifying iot dat a integrity,” in 2021 International Conference on Information Networking ( ICOIN). IEEE, 2021, pp. 267–272
2021
-
[2024]
Available: https://arxiv .org/abs/2410.14876
[Online]. Available: https://arxiv .org/abs/2410.14876
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.