...合约，但其中一些语言（包括 Cairo）在能够支持构建 **零知识证明**方面是独特的。零知识证明 (ZKPs) 允许一方（“证明者”）向另一方（“验证者”）证明他们知道某个信息而无需泄露任何秘密信息。这对智能合约尤其有用，...
...算跟踪，而是转变成使用它们来实现一个通用的 SNARK 零知识证据验证器（这是 Robin 一开始就打算使用 BitVM 实现的核心元件之一）。不再将裸的输入传进裸的计算踪迹中、用一个又一个位于叶子脚本中的门来运行，BitVM 2 实例的...
...构建了一种基于BitVM解决方案的分层虚拟机技术。通过零知识证明和乐观执行机制，该技术支持任意类型的计算操作，并在比特币上验证计算的有效性。分层虚拟机技术使我们能够支持任何前端类型的智能合约，例如那些在EVM中...
...** Kroma Network 是一个基于 OP stack 的通用 rollup，它利用零知识证明进行主动容错证明。它的使命是通过提升用户和开发者的体验来加速区块链技术在日常生活中的应用。 作为发展成为通用 ZK rollup 的战略愿景的一部分，Kroma 预计...
...的关注。阅读本文，了解你需要的思维模式，以及使用零知识证明进行编程时需要注意的陷阱。 ## 背景 2017 年秋天我开始研究 Mina 协议时，在生产环境中使用零知识编写应用程序还非常罕见。然而，今天在加密/web3 领域，ZK 编...
...又不必暴露这个向量本身。 ## 动机 在讨论 Bulletproot 零知识证明技术的时候，人们常常这样说：“我们有两个向量，它们的内积（inner product）是 c。” 似乎这很普通，但实际上，你可以用这个机制来证明非常复杂的陈述（claim...
...组件，功能职责是负责执行智能合约并生成最新状态和零知识证明。 **什么是分层虚拟机？** 要解答这个问题，我们直接看下图（*参考 Bitlayer 白皮书，见附录*）。 ** 创建有效的承诺，通常称为基于 VOLE 的零知识证明 (**VOLE-ZK**)。具体而言，除了使用 **SoftSpokenOT** 进行 Oblivious Transfer (OT) 之外，zkPass 协议的安全完整性与 [**VOLE-in-the-Head (VOLEitH)**](https://eprint.iacr.org/2023/996) 技术的...
...么抽取144个节点的路径，是因为全部node的路径生成的零知识证明的电路太大了。 > 7. commit 2 > 对c1得到路径，p1的步骤等计算零知识证明压缩，然后发送provcommit消息上链。因为每个sector都发送消息的话，费用比较高，所以支持...
...视频中，Yu Feng教授讨论了如何通过形式化方法来确保零知识电路（ZK circuit）的安全性。他强调了区块链软件中的漏洞可能导致严重的安全问题，尤其是在智能合约和零知识证明等层面。教授提到了一些具体的案例，例如闪电贷...
...抵抗这种形式的解密，无论是经典的还是量子的。 - **零知识证明**：最后，我们有零知识证明，它被纳入以完成系统。零知识证明允许一方验证其拥有关于条件或值的知识，而无需共享基础信息。这保持了机密性并保证了免受...
...更长时间，甚至需要更多研究工作来把 EVM 高效封装进零知识证明。不过好事情是，一旦 ZK Rollup 开发完成，现在所有的以太坊 dApp 和服务都可以平滑迁移到 ZK Rollup 上，无需花太多力气。 ZK Rollup 可以解决 Optimistic Rollup 上的几...