很棒的摘要。
新的共识即将到来。
数学 数学 数学。
（“数学”比“math”更好，你们美国人）。
我在阅读@SonicLabs关于形式验证和DAG共识的最新文章。
说实话，这种东西让我非常兴奋，所以我不得不简化一下，分享给我的同伴Sooonic极客们，帮助他们更容易理解这些技术性的深坑，超级聪明的东西。
首先，如果你在想：“DAG是什么，兄弟，是什么意思？”
🔷DAG（有向无环图）：
🔹每笔交易就像是一个巨大的网络中的一个节点。
🔹交易直接引用多个早期的交易，而不是等待区块，这样网络就更深了。
🔹创建了一个分支的、像网络一样的结构，而不是传统的单区块线性区块链。
🔹目前使用的不同DAG协议（DAG-Rider、Hashgraph、Aleph、Cordial Miner、ES Bullshark）各自在不同领域表现出色，没有完美的赢家（见我下面的雷达图⤵️）。
🔷现在，Sonic的方法有什么不同：
Sonic从零开始构建了自己独特的协议，并开发了一个验证库，证明在多个DAG协议中，包括Sonic的（短期内，超级聪明的东西👀）：
🔹验证者创建事件区块，引用几个早期事件。
🔹在各层之间使用重叠选举来选择“领导者”事件以提高速度。
🔹一旦被选为领导者，事件就会线性化到主链中。
🔹专门为异步BFT（拜占庭容错）和PoS构建（不与DAG-rider、Hashgraph等混合）。
🔷这实际上为什么重要：
目前大多数加密安全性 = “我们进行了广泛测试，未发现漏洞……可能安全？”🤷♂️
Sonic现在使用数学证明，证明不安全行为是字面上不可能的。不是“可能不太可能”，而是“不可能”。不仅仅是概率，而是数学上的确定性。
数字非常惊人：14人月的形式验证研究，现在对整个区块链社区开放源代码。
这将整个行业从“相信我们，我们测试过”转变为“这是它工作的数学证明”，使用TLA+形式验证。
你的加密货币一直以来的安全性仅仅取决于其背后的数学，而现在我们有了这个数学的数学。
感谢@SonicAssistant转发这篇文章，否则我会错过它🤝
🔷下面的图表：
1⃣一般DAG机制
2⃣5种不同的DAG架构能力
3⃣关于Sonic
4⃣关键见解
3,570
76
本页面内容由第三方提供。除非另有说明，欧易不是所引用文章的作者，也不对此类材料主张任何版权。该内容仅供参考，并不代表欧易观点，不作为任何形式的认可，也不应被视为投资建议或购买或出售数字资产的招揽。在使用生成式人工智能提供摘要或其他信息的情况下，此类人工智能生成的内容可能不准确或不一致。请阅读链接文章，了解更多详情和信息。欧易不对第三方网站上的内容负责。包含稳定币、NFTs 等在内的数字资产涉及较高程度的风险，其价值可能会产生较大波动。请根据自身财务状况，仔细考虑交易或持有数字资产是否适合您。