...中的 **以下领域** 的进展与创新，这并不是全部。 **零知识 Rollups**：ZK rollups 是 Ethereum Layer2的主要扩展解决方案。将高效和标准化的 ZK-EVM 证明验证直接纳入，可以使滚动层避免单独重新创建冗余的证明系统。这简化开发，提...
 ## 零知识证明：基础知识简介 非常感谢 [Matt](https://x.com/__lostin__), [Porter](https://x.com/portport255), [Nick](https://x.com/nick_pennie), [Swen](https://x.com/swen_sjn...
...。** 也许过去十年中最强大的加密技术是通用的简洁零知识证明，通常称为 zk-SNARKs（“零知识简洁论证”）。一个 zk-SNARK 允许你生成一个证明，表明某些计算有某个特定输出，这种证明可以被极快速地验证，即便基础计算需要...
...的实际实现，请查看我们最近的文章 ["通过示例了解零知识证明".](https://x.com/2077Research/status/1866240669465075807) ## 智能合约是否符合服务的定义？ 裁定是 NO。 虽然不可变更的智能合约可能促进服务，但它们本身并不符合服务的...
...cale/50) 交易聚合平台 [ParaSwap](https://paraswap.io/) 宣布与 零知识证明研发机构[ StarkWare](https://starkware.co/) 合作，共同探索基于零知识证明技术的低成本兑换方案，降低用户成本，提高用户体验。 此前， DeversiFi 、Immutable 、dYdX 已...
...k-snarks/) > * 作者：Not a Monad Tutorial > * 译者：Kurt Pan 零知识证明（ZKP）正在因其在代理计算给不受信任的服务器，解决去中心化账本的可扩展性问题等方面的诸多应用而逐渐变得流行起来。ZKP 让我们可以在不泄露敏感数据的...
...需透露向量本身。 ### 动机 当我们讨论 Bulletproof 零知识证明时，它们通常是“我有两个向量的内积是 $v$”的形式。这看起来很简单，但实际上我们可以利用这一机制证明非常非平凡的声明。稍后我们将讨论这个问题。 但...
...—哪怕只是有上传、下载而不能修改的权力（比如某些零知识证明的链下撮合），也是中心化的，因为你可以拒绝履约。 用第一原理去要求当前的去中心化世界，似乎有点过于“残酷”（除了公链本身，其他项目都不满足）...
...里想要达到的目的是，理解自己和世界，打破限制，获得知识、能力和自由 。请回想一下，你是不是也在有意无意地做着一些事情，想要达到相似的目的呢？ 我暂且把为了达成此目的所做的事情称为去中心的实践。 有的人可...
...确地将状态证明纳入区块链应用，必须使用默克尔树、零知识证明和轻型客户端。介绍这些概念的最简单方法是打一个比方。 想象一下，你有一本大书，里面写了很多信息。这本书代表一个区块链。书中的每一页都被称为...
...步的进展，后续我们的首席架构师会分享更多的信息给零知识证明的开发者社区。 * 采用不必做安全设置的新零知识证明算法。 * 目前Beta1的电路只能容纳1百万用户。一旦我们的用户数量接近这个极限，我们就需要再做一次...
...ch/t/zkopru-zk-optimistic-rollup-for-private-transactions/7717)：使用零知识证明的 optimistic rollup 方案，每秒可处理 100 笔隐蔽交易。已上线测试网，支持 ETH、ERC20 和 ERC721 代币 * [反对在 Rollup 中使用 PoS 来选举领袖](https://ethresear.ch/t/against-pro...
...一个尊贵的工具链列表，该列表构建了可扩展的和/或零知识 (ZK) 证明的一般计算。所有以前在测试网或主网部署的系统都可以被分类为“写电路的库”³。这些也可以被视为为特定计算创建“ASIC”的工具链的等效物。Cairo 是一...