...户自动化、通过资源锁定实现零桥接的跨链意图、使用零知识证明进行签名验证的隐私、新的信用和保证金账户系统等等。 为了使智能账户成为一个开放平台，必须解决三个基本问题。Rhinestone Protocol 1.0 直接解决了这些问题： ...
...Verfier合约进⾏数学验证。 **欺诈证明虽然不能像零知识证明那样具有⾼度的简洁性，但Arbitrum使⽤了⼀种“多轮分割-单步证明”的轮流式交互流程，最终需要证明的仅仅是单⼀的虚拟机操作码，成本相对较⼩。** ### ...
...用程序和钱包。 第二种类型的Rollup是ZKRollup。ZK代表零知识。它是密码学的一个高级分支，目的是在不透露内容的情况下证明某些东西是正确的。ZK Rollup不会将每个交易的数据发布到基础层。相反，他们发布一个加密证明——...
...受这个块的数据)，这个数据块首先需要签名(也叫“工作证明”)。这个签名是在解决了一个非常复杂的数学问题后得到的，这个签名是独一无二的。每个区块需要解决的数学问题难度是一样的。为了解决这个数学问题，需要耗费...
...，旨在增强密码学家实现高级算法和协议的能力——从零知识证明 (ZKPs) 开始——具有卓越的性能和易用性。它标志着朝着与硬件无关的密码学解决方案迈出的重要一步，确保在各种硬件平台上实现无缝兼容，且切换成本为零。 ...
...有控制权。 - 分布式账本 MobileCoin 区块链是一种零知识的数据结构，由 UTXO、密钥镜像（key images）和用于确保一致性和结构的 Merkle 证明的元数据块组成。 每个区块都包含可供未来花费的 UTXO，每笔交易都包含了未花...
... 介绍](https://hackmd.io/benjaminion/bls12-381) * [可视化适用于零知识证明的高效默克尔树](https://kndrck.co/posts/efficient-merkletrees-zk-proofs/) * Haseeb Qureshi：[写给程序员的密码学货币品类介绍](https://nakamoto.com/introduction-to-cryptocurrency/) * Eli Ben...
...约代码的执行、gas 记账、内存和状态。众所周知，在零知识（ZK）中执行和证明它非常困难。在过去的几年里，Buterin 和其他研究人员一直在探索创建 ZK 友好的 EVM 版本的方法，称为 ZKEVM。 _**（有关 ZK、ZKEVM 及其对扩展的好处...
...证明系统 大多数Rollup使用复杂的证明系统如乐观或零知识证明与以太坊进行通信。这些系统引入了显著的开销和复杂性，而对大多数用户来说并不必要。Signet 通过市场促进跨链转移，而不是将资产“证明”回到以太坊。 这...
...人，前阿里巴巴 JVM 专家。专注于智能合约编程语言、零知识证明密码学研究。*
该repository作为本人读书笔记, 记录知识的获取, 以blog的形式记录下来. 该文库我会不断更新, 如果喜欢的话麻烦点一下`star`. 由于文章由markdown的方式编写, 部分链接与图片显示可能存在问题, 大家可以移步到[github源](https://github.co...
...重要。这也可以包括额外的审计数据，如有效性证明、零知识证明或大型欺诈证明。 * **支持完整的去中心化 Web 体验**：Walrus 可以托管完整的去中心化 Web 体验，包括所有资源（如 JS、CSS、HTML 和媒体）。这些不仅提供内容，还...
...的 zkVM SP1，任何 OP Stack 链现在都可以在一小时内集成零知识证明。此升级提供了更快的终结性、更低的成本（每笔交易低至 0.5 美分）和易于集成，使得 zkEVM 无需深厚的密码学专业知识即可访问。OP Succinct 增强了以太坊的扩展...