SNARKChain: Proof-of-Useful-Work Blockchain Consensus with General-Purpose SNARK Marketplace
本文介绍了 SNARKChain，这是一种新颖的有效工作量证明（Proof-of-Useful-Work）共识协议，它通过将客户端外包的 SNARK 证明生成直接集成到挖矿过程中来保障区块链安全，从而在消除能源浪费的同时，在共识层建立了首个去中心化的 SNARK 证明市场。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
想象一下，区块链世界就像一个巨大的、全球性的数字账本，每个人都信任它，但没有单个人控制它。为了保护这个账本免受坏人的侵害，大多数区块链使用一种叫做**工作量证明（Proof of Work, PoW）**的系统。你可以把它想象成一场大规模、高科技的寻宝游戏，计算机在其中竞相解决极其困难的数学谜题。第一个解开谜题的人将获得在账本中编写下一页的权利，并赢得奖励。
问题在于？这些谜题就像为了维持火势而烧掉一座图书馆。它们消耗了大量的电力，但在区块链之外几乎不产生任何有用的东西。一些报告指出，仅仅是一个著名的区块链（比特币）所产生的二氧化碳排放量，就可能相当于整个希腊国家一年的排放量！
于是，SNARKChain 出现了——这是来自布尔诺理工大学研究团队的一个新想法。他们提出了一个问题：如果我们用来维护区块链安全的那些“无用”谜题，实际上可以为现实世界做一些有用的事情呢？
核心理念：解决有意义的谜题
研究人员提出了一种称为**有用功证明（Proof of Useful Work, PoUW）**的系统。与其将能量浪费在随机的数学问题上，矿工们将去解决那些能生成 zk-SNARKs 的谜题。
要理解 zk-SNARKs，请想象一位魔术师，他可以在不说出密码的情况下，证明自己知道那个秘密密码。这些是数字世界中用于隐私和安全的强大工具，但创建它们的成本极高。它们需要庞大的计算机和大量的时间，这使得普通人很难独立生成它们。
SNARKChain 将区块链变成了一个去中心化的市场。以下是神奇之处是如何发生的：
- 客户端（需要这些神奇证明的人）在区块链上发布请求。
- 矿工（维护网络安全的计算机）领取这些请求。
- 在他们致力于维护区块链安全的同时，他们将生成这些有用的证明作为一种“副产品”。
- 如果矿工正确解决了谜题，他们将获得在链上添加新区块的权利并赢得奖励。
据作者称，这是首次将这样的市场直接构建在区块链的核心安全层之中。
棘手之处：保持公平
研究人员知道，仅仅把一个谜题换成另一个谜题是不够的。他们必须确保系统不会破坏区块链的安全金律。他们必须解决几个特定的难题：
1. “被窃取的工作”问题
在过去，如果一名矿工解开了谜题，但没能在添加区块的竞赛中胜出，那么他们的工作就白费了。在 SNARKChain 中，如果一名矿工生成了一个证明，但由于未能赢得发布区块的抽奖而失败，那么这个证明对其他人来说也是毫无用处的，因为它与一个特定的、唯一的“完整性参数”（当前区块的数字指纹）相绑定。这防止了坏人窃取他人的劳动成果并将其据为己有。
2. “富者愈富”问题
如果系统仅仅奖励最快的计算机，那么只有规模最大、最昂贵的矿场才能获胜。研究人员设计了一个抽奖系统来解决这个问题。
- 想象一名矿工生成了一个证明。系统不再仅仅检查它是否“足够好”，而是掷出一个数字骰子。
- 证明越大、越复杂，赢得抽奖的机会就越高。
- 这意味着即使是拥有较弱计算机的小型矿工，只要他们坚持工作，仍然有公平获胜的机会。作者通过模拟（计算机模型）测试了这一点，结果表明奖励是根据每位矿工实际完成的工作量进行公平分配的。
3. “交通拥堵”问题
如果所有人都在同一时间尝试解决同一个请求会怎样？研究人员提出了一个“分桶”系统。把它想象成一个有很多不同邮件插槽的邮局。与其让所有人争夺一个插槽，不如根据代码将请求分类到不同的桶中。矿工选择一个桶，并只处理其中的请求。这防止了矿工们互相干扰并浪费能量。他们的模拟显示，使用更多的桶可以显著减少浪费的工作量。
论文说了什么（以及没说什么）
作者对自己的说法非常谨慎。他们建议其系统是有效的，并通过模拟展示了其安全性。他们并没有声称已经建立了一个在现实世界中运行多年并经过测试的完整运行中的区块链。
他们还明确排除了一些看似显而易见但行不通的想法：
- 他们拒绝“摊销”的概念： 你不能只是将多个证明打包在一起使其更容易，该系统旨在确保每一个证明都必须从头开始计算，从而确保没有人可以通过做更少的工作来作弊。
- 他们拒绝“预计算”的概念： 矿工无法在今天偷偷解开一个针对下周才会存在的区块的谜题。谜题每秒都会根据区块链的当前状态而改变，因此你必须在“现在”解决它。
总结
研究人员设计了一个系统，在这个系统中，用于维护区块链安全的能量不会被浪费。相反，这些能量被用于创建有价值的加密证明，帮助互联网的其他部分保持私密和安全。
虽然他们通过模拟展示了其数学逻辑是成立的且系统是公平的，但他们也承认，现实世界的部署是未来的步骤。他们建立了一个蓝图，让区块链不再仅仅是消耗能量，而是真正地做一些有用的事情，将过去的“无用功”转化为未来的“有用功”。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。