我们从“不要作恶”（谷歌）转变为“不能作恶”（比特币）。 证明标准将我们引向“不能错误”（STARKs）。