...在扩大其业务,专注于整个区块链领域中的新兴领域和零知识证明的应用。之前,我们专注于以太坊,并对零知识证明如何为以太坊生态系统贡献进行了 [研究](https://www.polyhedra.network/research),并构建了 zkBridge( [https://zkbridge.com/...
...次有趣的冒险之旅吧! --- # 第一步:最小化的理论知识 > 世上根本没有比特币,只有一个又一个的 UTXO。 > > 世上根本没有 CKB, 只有一个又一个的 Cell。 --- ### 理解 CKB 理解 CKB 的第一步,是抛开所有复杂的概念,...
... - 企业级密钥备份与恢复。 3. 隐私保护协议: - 与零知识证明结合,实现匿名多方签名。 - 去中心化身份认证(如 Sismo、Worldcoin)。 ### 核心特性 1. 安全性 - 抗共谋攻击:少于 t 个参与者无法生成有效签名。 - 前向安...
我们最近研究了如何使用零知识证明(ZKP)来验证全同态加密(FHE),因为这在两个新兴用例中至关重要。 - **fhEVM 的链下计算:** [Fhenix](https://www.fhenix.io/) 和 [Inco](https://www.inco.network/) 正在开发 L1 链,它们通过基于 [Zama 的 fh...
...证金作为发现欺诈的奖励。 #### ZK Rollups ZK 代表“零知识”,它是一种方法,一方(证明者)可以向另一方(验证者)证明给定的陈述是真实的,而证明者避免传达任何额外的信息,除了事实上的陈述是真实的。更多关于[零知识...
...奋? zkSync Era 是一个面向未来的 Layer 2 协议,它通过零知识密码学扩展以太坊的安全性,因此你可以获得与以太坊相似的外观和体验,但费用更低! zkSync 是一个 [ZK-rollup](https://era.zksync.io/docs/dev/fundamentals/rollups.html#what-are-zk-roll...
 ## 零知识证明:基础知识简介 非常感谢 [Matt](https://x.com/__lostin__), [Porter](https://x.com/portport255), [Nick](https://x.com/nick_pennie), [Swen](https://x.com/swen_sjn...
...型系统、所有权机制和并发模型,系统梳理了Rust的核心知识点。通过对《Rust编程之道》的章节概述和第一章内容的提炼,帮助读者理解Rust为何成为现代系统编程的首选语言,并为进一步学习提供清晰路径。 ## 主要内容 ##...
...隐私困境而存在的许多隐私问题,其中绝大多数集中在零知识证明(ZKPs)上。值得注意的例子包括[Proven 在 2023 年种子轮融资中筹集了 1580 万美元](https://www.coindesk.com/business/2023/03/09/zero-knowledge-crypto-startup-proven-raises-158m-in-seed-roun...
...) 过去一年,我们一直在探索一个大问题:AI 真的能在零知识电路和应用中发现好的 bug 吗?如果可以,这对我们审计员意味着什么?我们的工作是否安全,还是我们正处于更快、更便宜、由 AI 驱动的审计的边缘?在 [戛纳 EthCC]...
...化验证框架) 的初步步骤。 正如我们最近分享的那样,零知识电路[充满了错误](https://bugs.zksecurity.xyz/),但幸运的是,诸如形式化验证之类的技术可以极大地提高对 ZK 电路正确性的信心。 Clean 使我们能够在 Lean4 中定义电路,指...
...## Awesome-ZKP-Security 帝国理工博士 Stefanos Chaliasos 整理的零知识证明安全性研究的博客,播客,披露,审计,访谈,CTF,和谜题,论文,工具列表。 A curated list of awesome ZKP Security resources, papers, tutorials, and tools. - ### An Introducti...
...可验证数据解决方案的可能性。 ## 4\. zkTLS **zkTLS**(零知识传输层安全)是一个多方协议(通常涉及三个方),建立了 Web2 私有数据与 Web3 生态系统之间的门户。zkTLS 是一个混合协议,将 **ZKP(零知识证明)** 与 **TLS 加密系统*...
...—哪怕只是有上传、下载而不能修改的权力(比如某些零知识证明的链下撮合),也是中心化的,因为你可以拒绝履约。 用第一原理去要求当前的去中心化世界,似乎有点过于“残酷”(除了公链本身,其他项目都不满足)...