从拜占庭到区块链:分布式共识如何用四十年解决信任问题

1978年,Leslie Lamport在研究分布式系统时说过一句著名的话:“分布式系统就是这样一个系统:在这个系统中,一台你甚至不知道其存在的计算机的故障,可能会让你的计算机变得不可用。“三十年后,一个化名中本聪的人(或团队)用一篇九页的白皮书,给出了这个问题的解法。 ...

16 min · 7631 words

零知识证明为何如此复杂:从洞穴寓言到zkEVM的四十年密码学革命

1985年,三位MIT的研究者Shafi Goldwasser、Silvio Micali和Charles Rackoff向STOC会议提交了一篇论文。这篇题为《The Knowledge Complexity of Interactive Proof Systems》的论文提出了一个看似矛盾的问题:一个人能否在不泄露任何信息的情况下,让别人相信他确实知道某个秘密? ...

14 min · 6987 words