如果没有预算来使用它，那么一个在链上验证的证明是没有用的。 这就是 Noir 在 Stellar 上的问题。验证一个证明需要消耗 224.8M 的 CPU 指令，占用了超过一半的交易预算，还没等应用程序做任何事情就已经耗尽了预算。没有状态更新，没有提现，几乎连触发事件的空间都不够。 我们围绕 Stellar 的原生 BN254 主机功能重建了验证器。字段算术和多标量乘法现在运行在原生层，而不是客体 WASM。合约仅负责协调工作。 现在验证只需要 80M 指令，大约占预算的 20%，并且在我们测试的所有八个电路中表现一致。在实时 Testnet 上，一个屏蔽池证明的验证实际费用为 0.01242 XLM。 剩下的 80%属于应用程序。 我们的工程师作为 Stellar 的 zk 基础设施的一部分，负责维护和优化 Noir 验证器。