...而，Polygon 使用 Polygon 2.0 的更广泛愿景是使用最新的 [零知识证明](https://ethereum.org/en/zero-knowledge-proofs/) 创新来为其所有以太坊扩容解决方案提供动力，而当前状态下的 Polygon PoS 由其自己的验证者保护；**_不是_**由 ZK 证明保护。...
...icada：一个新的、开源的 Solidity 库，利用时间锁谜题和零知识证明来实现私人链上投票。与现有的系统相比，Cicada 具有新颖的隐私属性，最大限度地减少了信任假设，并且足够高效，可以在以太坊主网上使用。 在这篇文章中...
...要问题 我们如何**形式化验证**一个算术电路（正如 **零知识证明系统** 所使用的）具有所需的特性，例如可靠性、完备性和零知识性¹？ 证明系统的可靠性意味着它不会证明错误的陈述。类似地，证明系统所使用的电路的可...
...esting) ## 概述 ZKSNARKS 是一种强大的加密工具，可实现零知识证明，这是一种在不透露任何输入或输出信息的情况下验证计算有效性的方法。ZKSNARKS 可用于创建保护隐私的应用程序，例如匿名交易、可验证计算和去中心化身份。...
...该示例代码前，请仔细阅读libsnark的源代码分析： [零知识证明 - libsnark源代码分析](https://learnblockchain.cn/2019/08/15/libsnark-source) 唯一有点遗憾的，libsnark没有给个完整的电路构造实例，入门者想搭建自己的电路，刚开始有点摸...
...hines (SVM)，突出了它们的功能和用例。 - 最近，zkVM（零知识虚拟机）取得了进展，它在区块链中提供了增强的隐私性、安全性以及可扩展性。 - 关于最终的想法，Wasm VM 具有强大的潜力，VM 的使用案例数量不断增加以适应应...
...zkSNARK证明生成上的一些优化措施，我们成功地将生成零知识证明的成本降低为每笔交易仅0.03分RMB（100万笔交易成本大约300RMB），与目前我们线上的版本相比，成本降低了15倍。再加上其他一些优化手段，最终路印协议每笔撮合...
视频的核心内容是关于ZK-EVM（零知识以太坊虚拟机）的介绍，主要由Polygon Hermes的技术负责人Giordi进行讲解。ZK-EVM的目的是通过零知识证明技术提高以太坊交易的验证效率，从而实现更好的可扩展性。 **主要观点：** 1. **ZK-EVM的...
# 零知识证明-SRP协议 ## 简介 SRP 是 Secure Remote Password 协议的缩写，是一种密码协议，用于在客户端和服务器之间建立安全的身份验证。该协议的设计旨在避免将用户密码明文传输到服务器，从而提高了安全性。 在 ...
...zkApp 层的推出，这使得 Mina 成为第一个采用图灵完备的零知识智能合约层的区块链。这是一个历时多年、高度复杂的项目，它的发布证明了使之成为可能的团队的辛勤工作和奉献精神。 从那时起，Mina 基金会在[下半年支持新 z...
...身份本体** —— 这正是 ZKLogin 的切入点。 ## ZKLogin：零知识驱动的认证机制 ZKLogin 是一种基于零知识证明（ZKP）的链上身份验证机制，其核心目标是： > 在不暴露 OAuth 身份信息的前提下，实现链上认证与账户绑定。 > #...
...质。 这个周末有空，讲讲我对FFT的理解。方便学习零知识证明的小伙伴理解这部分内容。从头讲起，零知识证明Groth16算法基于QAP问题：  [零知识证明 - Groth16算法介绍](https://l...
...作，同时保持与原始数据的关系。** 本文是我们理解零知识 (ZK) 证明的数学先决条件系列的第六篇。理解同态至关重要，因为它允许我们对加密或承诺的数据执行计算，而无需泄露原始值，从而使零知识证明成为可能。 本...
...，即 P ≠ NP。 通过理解 P vs NP 问题，我们可以看到零知识证明（ZKP）如何融入计算机科学的更大领域，并理解 ZKP 能做什么和不能做什么。 将零知识证明与 P vs NP 问题联系起来，能够更容易地“领会”零知识证明的概念。 ...