在这篇文章中，我们将介绍我们正在进行的零知识证明（ZKP）专用硬件方面的工作。 在 Cysic，我们正在开发一种专为 ZKP 工作负载设计的定制证明加速芯片。 该芯片利用非传统的空间架构来最大化并行性并提高多项式计算的吞...
...者（包括 web2 应用程序）证明他们是人类，同时通过*[零知识证明](https://en.wikipedia.org/wiki/Zero-knowledge_proof)*维护他们的隐私。World ID 旨在实现个人绑定，这意味着 World ID 只能由其颁发对象的个人使用。窃取或获取 World ID 凭证的...
...备好普遍可用的新功能)。 3. **隐私** ：比如，利用零知识证明在一个公共 L2 解决方案上提供隐私交易服务。 4. **更便宜/更简单的 L2-L3 互操作性** ：目前在 L1 和 L2 之间进行存入/提出资金流是出了名的昂贵。相反，由于 L2 的...
...防止通过暴力破解哈希以揭示 secret。 ### (非交互式)零知识证明 **零知识证明** 是一种加密协议，允许证明者向验证者展示特定陈述为真，而不泄露超出该陈述本身真相的任何其他信息。换句话说，它允许证明者说服验证者...
...不得披露任何个人数据。我们提倡将隐私保护技术（如零知识证明、隐秘地址或同态加密）集成到以太坊生态系统中，使用户能够自信且匿名地进行交易、互动和认证。 ##### 安全 我们意识到在去中心化系统的设计和实施中，...
...可编程密码学规模的必要条件。 我们可以通过 ZKP（零知识证明）、同态加密（FHE）、多方计算（MPC）和不可区分混淆（IO）等多种技术来实现上述某些内容。这些技术虽然纯粹且美观，但在规模部署方面存在不可忽视的障碍...
...作为奖励。 PoPs 将与未来的争议协议（包括可能基于零知识证明的协议）向前兼容。`DisputeGameFactory` 可以处理多种类型的游戏，只需要游戏暴露一个简单的接口（IDisputeGame）来传达游戏状态、元数据和结果。当前的实现（Fault...
...对安全和私密计算的需求比以往任何时候都更为迫切。零知识虚拟机（zkVMs）就是这样一种创新，它允许在不透露底层数据的情况下证明计算的正确性。zkVMs 对于隐私保护应用、去中心化金融（DeFi）和其他基于区块链的用例具有...
... 难题 2: Supervillain 第二个难题涉及聚合 BLS 签名与简单的知识证明方案的结合。这两者都使用了配对 e:G1×G2→G3。我们最近发布了一篇 [关于配对的入门文章↗](https://learnblockchain.cn/article/13707/)，如果你想要入门，请查看一下。 ...
...字领域之外的资产。StarkWare（最初创建支持 Starknet 的零知识 (Z K) 技术的公司）通过研究和访谈发现了做到这一点的三个主要障碍： **有限的比特币功能：** 简单的交易以及持有 (HODLing) 是比特币的主要用途，因为该网络本...
...思维都是在解决可用性问题。而可信性更多的是拓宽人类知识的边界，比特币这类就是在解决我们所有人如何去相信一个事物、数据。在这样一个脉络里，有这两种需求存在，就一直会有分叉出现。如果把比特币的创世当作源头...
...gqMiIiI65ed91a640c5f.png) Ethereum Layer2 Ecosystem ## **二、前置知识** ### （一）以太坊Layer2的解决方案有哪些？ 为什么需要Layer2 以太坊的Layer2（第二层）是指基于以太坊主链（Layer1）之上构建的扩展解决方案，其目的是提高网...
...要问题 我们如何**形式化验证**一个算术电路（正如 **零知识证明系统** 所使用的）具有所需的特性，例如可靠性、完备性和零知识性¹？ 证明系统的可靠性意味着它不会证明错误的陈述。类似地，证明系统所使用的电路的可...
.../) 通过使用半诚实的混淆电路和基于混淆电路的交互式零知识证明来优化此方法。虽然这减少了一些开销，但成本仍然很大。 [Primus](https://primuslabs.xyz/) 在 MPC-TLS 设置中引入了 [garble-then-prove](https://eprint.iacr.org/2023/964) 协议，将...
...learnblockchain.cn/2025/03/13/1UG5xRkQEU9l5jPjXTXzzaw.jpeg) 在解决零知识领域的碎片化问题方面，Veridise 获得了以太坊基金会的资助，以构建一种开源的 ZK 电路语言的中间表示 (IR)。 **我们称之为 LLZK** —— 一个灵活的框架，受 LLVM 启发...