我的表明是，原稿内里维护的变量和隐含条件过多，并且有的仿佛也不是须要。我相信「简朴等于美妙」的原则，于是去掉了一些以为冗余的稳定量。
Dahlia 提起了最初的论文稿其实投了 2018 年的 PODC 集会会议（漫衍式系统理论顶会），功效被拒。原因有二：审稿人以为这论文写得太笼统，他们没能领略算法的详细进程，以及证明过于简略；另一方面则是他们认为实用拜占庭容错算法（PBFT）的期刊版本已经在个中「体现」了大概存在线性巨大度的换届（view change），所以论文号称的线性换届并不是新对象。Dahlia 对第一点心服口服——这也是让我不看原文重头写过的原因之一。但她对第二点不觉得然，因为她去找来了谁人期刊论文，所谓「体现」并不行行。
「看来你需要归去从头读一遍啦，Ted！」，他淡然一笑，「不必担忧，原来这世界上没几多人懂 Paxos。」
2018 年暑期期间，他在 VMware Research 实习时提出了「HotStuff」协议中焦点算法，并完成了相关论文。
一入系统深似海
当年 12 月，在清华—康奈尔区块链研讨会期间，Dahlia 和 VMware Research 的高级研究员 Ittai Abraham 飞到深圳，短暂参会并作了学术陈诉。陈诉内容是关于 BFT 协议在区块链时代下的新研究课题。期间，他们公布发明白 2007 年得到 SOSP 最佳论文的 Zyzzyva BFT 系统存在的正确性问题，借此说明 BFT 协议过于巨大和难以领略，乃至在业界无数专家审稿的 10 年今后，仍然大概会发明算法层面的正确性 bug。
共鸣协议，可能推广至各类漫衍式系统的协议，是一类基于时态逻辑的算法描写，其难点在于「异步」（asynchrony）。
就这一点，我们两人在一次接头中对 PBFT 期刊版本的算法举办了分解，最终得出了一个好动静和一个坏动静：好动静是 PBFT 的换届做不到线性，也就是审稿人的说法有误；但坏动静是，Dahlia 的旧稿内里的算法并不切合标题所说的完全线性，而是有更深条理的微妙之处。
Dahlia 一直是我最恭顺的学者之一，因为她平易近人，跟年青人打成一片，而在接头学术问题时又有着渊博的常识储蓄和学者的严肃威严，接头细致入微，不让毫厘。
太平洋的风
于是，便有了第三版的「美人」，也是 Facebook 的
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
