...操作。 使用随机化因子掩盖累加器中的群元素以保证零知识性。 [Nova](https://eprint.iacr.org/2021/370.pdf)是一种新协议，提出了一种实现 IVC 的轻量级替代构造。 不用[zk-SNARKs](https://www.notamonadtutorial.com/the-hunting-of-the-zk-snark/)，而是...
...扩容中，其便捷性堪比 web2 应用程序。 Linea 是一个由零知识证明驱动的下一代 Layer 2 区块链，专为大规模采用、快速 finality、低费用和完全 EVM 等效性而设计，这使得开发人员无需重写合约即可进行部署。但 Linea 不仅仅关乎性...
...zkVM 基准测试和 ZK 势不可挡的崛起，嘉宾 Justin Drake - 零知识 \| Spotify [在 Spotify 上播放](https://open.spotify.com/episode/3FQCZNNejvmqrBt1Q7ljjY?go=1&sp_cid=8dd61f28ec92620b929180082d34d301&utm_source=embed_player_p&utm_medium=desktop "在 Spotify 上播放") ## Ethpr...
...往往需要更多步骤来实现等效逻辑，从而增加了必须在零知识证明中提交和验证的行数。 # 每个程序的电路开销 尽管每条 MIPS 指令由于其复杂性可能带来更高的单条电路成本，但程序所需的指令总数更少。这带来了更低的累...
...存款无法区分。存款后，用户可以通过证明（通常通过零知识证明）他们对存款资产的支配权来发起交易。这使他们能够利用这些资产而不与他们的公钥相关联，从而有效地保护他们的隐私。隐蔽池的关键限制是，给定池中存在...
...源的领域特定语言**，用于安全无缝地构建保护隐私的零知识程序，不需要任何关于底层数学或密码学的先验知识。 YouTube ## 对话要点 以下是所涵盖主题的分类： - **00:17** — 介绍：Aztec 和 Noir 编程语言 - **00:57** — 为什么 Azt...
...存不足错误。 - **CPU 除法加速：** 速度提升 36%。 - **零知识证明 v2：** 新的哈希模式将验证速度提高了 34-38%，但证明时间略有增加。 - **噪声抑制压缩：** 压缩 MPC 中生成的大型密文。 - **密钥升级器：** 将旧密文更新为新的...
...每秒哈希证明的世界纪录** Ingonyama 是一家垂直整合的零知识（ZK）证明器领域的领先专家，以及支持 Starknet 生态系统开发和增长的 Starknet 基金会，Starknet 是一种将以太坊优势带给世界的安全扩展技术，他们很高兴地宣布建立合...
...是 "傻瓜 "搏斗。虽然财富可能是某些形式的能力和专业知识的代表，但考虑到其他形式的相对专业知识的预测可能更可靠。在某一特定领域赌输了的参与者，在另一领域可能有更准确的信念。但是，预测市场有一个不幸的结果...
...链上指纹验证其完整性。这一过程的最后一步是利用[零知识SNARKs](https://www.helius.dev/blog/zero-knowledge-proofs-its-applications-on-solana#-zk-snarks-and-circuits)，这为验证这些账户的完整性提供了证明系统。 ### 为什么ZK压缩？ 几个关键特...
...区就扩展平台的最佳方法展开了激烈的辩论。一方认为零知识（“ZK”）rollup 是未来，而另一方则提倡乐观 Rollup（“OR”）。大同小异。本质上，两者之间的主要区别在于它们证明发生在 Layer 2 (“L2”) 链上的交易正确性的方式...
# Starknet 学习之了解 `Starknet` 基础知识 ## 了解 `Starknet` 基础知识 ### 主题 1. 为什么选择 `Cairo` 2. 为什么选择 `Starknet` 3. 智能钱包 4. `Starknet` 架构 101 5. `Transactions` ### `Starknet` 相关名称的了解与区分 `STARKWARE ` ：是...
...区别在于，前者是在链上计算的。有效性证明（也称为零知识证明）是在链下计算的（即在 rollup 上），并在以太坊上进行验证。 正如我们在比较不同 [类型的零知识证明](https://learnblockchain.cn/article/5276) 的文章中所解释的那样...
...次有趣的冒险之旅吧！ --- # 第一步：最小化的理论知识 > 世上根本没有比特币，只有一个又一个的 UTXO。 > > 世上根本没有 CKB, 只有一个又一个的 Cell。 --- ### 理解 CKB 理解 CKB 的第一步，是抛开所有复杂的概念，...