写于2024年4月28日。以下是原文：2023年4月28日，也就是去年今日，本人向比特币开发者邮件组发送了一封公开信[1]，提议在比特币内置编程语言Script中增加一个操作码，用于验证零知识证明。 这个操作码OP_ZKP，将使比特币能够验证链下计算以作为UTXO的支付条件，从而使得Script具备最终图灵完备性，支持诸多新应用。 现在整整一年过去了，我们可以进一步讨论这个提议。接下来，我将提供更多的技术背景，解释过去一年的进展，最后展望未来。关于BIP每个提案都需要伴随一个或多个BIP (比特币改进提案)，其中规范了相关的技术细节，以及支撑性的论证。然而，我们认识到零知识证明技术仍在快速发展中，有许许多多的证明方案，需要花费很多的资源去研究、发现正确的技术组合，以及可验证地正确实现相关技术（可验证意味着，社区可以严格地验证一个技术实现是正确的，可参考[6]，[7]和[8]则提供了在零知识证明系统中应用形式化验证方法的信息）。与此同时，所使用的技术栈必须在相当长的时间内保持安全和稳定。 这里没有一项是容易的。每个需求都需要大量的...