火星财经消息，继发布首个 BitVM 形式化验证研究成果后，Nubit 再次推动比特币编程能力升级，发布 BitVM IDE，一款在比特币上集成零知识证明（ZKP）开发与验证的工具。该工具允许开发者体验编写零知识电路、并直接在比特币网络上验证零知识证明的全部过程，为比特币大幅降低开发复杂度，无需信任且隐私性强的应用开发证明了可行的新路径。BitVM IDE 由 Nubit 联合 ZeroSync、Alpen Labs、Citrea 等合作伙伴共同推出。作为比特币生态的重要推动者，Nubit 正在成为比特币的「去信任世界计算机（Trustless World Computer for Bitcoin）」，让开发者能够利用比特币原生技术构建任何应用，推动比特币生态的大规模采用。

比特币开发 零知识证明 比特币工具