...线图已经以 “rollup” 为方向：rollup 是一种使用证明（零知识证明或是 optimistic 欺诈证明）来继承以太坊安全性的独立执行环境。 在经过多年的开发后，rollup 最终被部署到以太坊上并且逐渐得到采用。这项技术的佼佼者 Arbitr...
之前有一篇文章分析了 [libsnark 源代码](https://learnblockchain.cn/2019/08/15/libsnark-source/)，ethsnarks在libsnark的基础上，实现了以太坊上与zkSNARK相关的智能合约和电路。 >题外：*最近看知乎，发现知乎上有些文章真的醍醐灌顶。印象...
...确地将状态证明纳入区块链应用，必须使用默克尔树、零知识证明和轻型客户端。介绍这些概念的最简单方法是打一个比方。 想象一下，你有一本大书，里面写了很多信息。这本书代表一个区块链。书中的每一页都被称为...
...息（ PHI ）**：受 HIPAA 监管的健康记录和药物信息。 * **知识产权（ IP ）**：受商业法保护的专利和商业秘密。 ## ZK 是解决方案 到目前为止， ZK 领域主要涉及扩展区块链， ZK rollups 现在是许多公链技术堆栈的重要组成部分...
...： 1. 如何进行传统的Solana空投 2. 成本来自何处 3. 零知识（ZK）压缩如何解决这些问题 4. 如何使用AirShip进行廉价的大规模空投 让我们开始吧。 ## 传统空投：工作原理 标准的Solana空投对每个接收者需要两个步骤： ...
...验证项目。我们花费了大量时间和精力投入研发创新的零知识证明，提升了证明创建速度并减少对内存的占用，并将 DECO 从理论研究推进到了 alpha 测试阶段。在未来，我们计划将 DECO 的核心零知识引擎开源，让整个研究社区可...
...正如我们将看到的，它被 ZK 的其他优势所抵消。 鉴于零知识技术的发展速度如此之快，我们认为不相信ZK是短视的。 ## Validia 不同的用户在区块链的成本和安全性之间做出不同的权衡。数以百万计的人使用 Polygon PoS 链来获...
...送给Dan - Eve将2 ETH发送给Fabian 顺序器生成有效的零知识证明，证明这些交易的正确性，并在以太坊上发布。然而，顺序器没有在链上或链外公开实际的交易细节。在没有底层数据的情况下，用户无法验证其余额或已执行的...
.../) 通过使用半诚实的混淆电路和基于混淆电路的交互式零知识证明来优化此方法。虽然这减少了一些开销，但成本仍然很大。 [Primus](https://primuslabs.xyz/) 在 MPC-TLS 设置中引入了 [garble-then-prove](https://eprint.iacr.org/2023/964) 协议，将...
...类型的 Rollup，而Chainway的发布旨在实现比特币的第一个零知识 Rollup。 Kasar Labs 和 Taproot Wizards 巧合地同时发布了一个用于比特币的 DA 适配器。这个适配器允许开发者将 Madara 技术堆栈连接到比特币上，以运行基于 StarkWare 创...
... 系统全面：从区块链系统构建，到完整DAPP开发，全流程知识点覆盖 由浅入深：从区块链基础切入，一步步掌握智能合约、DAPP、以太坊钱包开发 案例丰富：结合案例讲解，生动形象，附赠实战项目源代码 区块链专业平...
...每秒哈希证明的世界纪录** Ingonyama 是一家垂直整合的零知识（ZK）证明器领域的领先专家，以及支持 Starknet 生态系统开发和增长的 Starknet 基金会，Starknet 是一种将以太坊优势带给世界的安全扩展技术，他们很高兴地宣布建立合...
...操作。 使用随机化因子掩盖累加器中的群元素以保证零知识性。 [Nova](https://eprint.iacr.org/2021/370.pdf)是一种新协议，提出了一种实现 IVC 的轻量级替代构造。 不用[zk-SNARKs](https://www.notamonadtutorial.com/the-hunting-of-the-zk-snark/)，而是...
...价较高的操作。系统为这些操作同时提供了计算实现和零知识电路实现。 代码库遵循模块化架构，使用公共接口 (`PrecompilesProcessor`) 执行预编译操作，并为每个操作提供特定实现以及模块化的指数电路实现。每个预编译的实现...