找到约 14 条结果

文章 WASM与安全性

...: [**带有 JavaScript 的 ZK-WASM** \\ \\ **ZK-WASM 将 Rust 中的知识证明 (ZKP) 集成到 WebAssembly (WASM) \[1\] 中。 Rust 之间的桥梁…**\\ \\ asecuritysite.com](https://asecuritysite.com/webcrypto/crypt_zk?source=post_page-----8bfe14836c03-------------------------------------...

文章 【zkMIPS系列】FRI预备知识

> **预备知识** > 1. 多项式和阶 > 1.1 多项式基本概念及其在密码学中的应用 > 1.2 低阶多项式的重要性及其在证明系统中的意义 > 2. 群与有限域 > 2.1 群和有限域 > 2.2 子群和陪集 > 2.3 循环群和单位根 (root of unity) > ...

文章 OP Labs | 无需许可的故障证明上线,OP Stack 进入第 1 阶段

...。该框架旨在使 OP Stack 能够支持多个证明系统,包括知识证明,以及当前系统 Cannon。生产冗余证明方案提供了一个从 OP Stack 链提取到 ETH 链的安全保障方案,可以将安理会的作用限制为仅在他们不同意的情况下在证明之间进...

文章 D1 Ventures:简析以太坊 Layer 2 方案与 DeFi 扩容选择

...生产证明的开销是有效性证明类扩容方案的艺术。 知识证明是一种精巧有效性证明方式,它使得 Layer1 的验证节点无需获取链下交易的全部信息并进行重复计算即可证明其有效性。知识证明算法的研究一直处在密码学领域...

文章 探索 zkEVM

...论这个主题之前,让我们花点时间探讨 zkEVM 是什么,知识证明的理论基础,以及它如何在各种Layer2项目中迅速发展。本文旨在比较当前利用 zkEVM 的 ZK rollups 的特征,假设读者对以太坊、Layer2解决方案和知识证明有基本了解...

文章 每周以太坊进展 2021/08/14

...com/remyroy/ethstaker/blob/main/monitoring.md) ## Layer2 - [Hermez知识EVM](https://blog.hermez.io/introducing-hermez-zkevm/) 路线图 - 使用StarkEx担保的无信任[L2到侧链桥](https://medium.com/starkware/a-trustless-sidechain-to-starkex-bridge-secured-by-ethereum-61e00f19f7e0)...

文章 各 Rollup 解决方案的权衡研究

...-on-board-1cf3487554f?fileGuid=9hhKcdCvwPrpcy8q),方便开发者使用知识证明技术。我们看到 rollup 技术有了很多突破,包括 Aztec 和 ZkSync 通过改进 PLONK 引入[递归](https://medium.com/matter-labs/zksync-v1-1-reddit-edition-recursion-up-to-3-000-tps-subscriptions-a...

文章 何谓“知识”,何谓“证明”?

...链更像一个有机体,融合了各种不同的理论技术。 知识证明是构建信任的重要技术,也是区块链这个有机体中不可缺少的一环。 > 知识证明是打通链上数据与链下计算的关键技术,也是实现链上数据隐私保护的重要途...

文章 具有DDH假设的ZKP

...密后,Victor将持有g^a (mod p), Peggy将持有g^b(mod p)。对于知识证明,我们这样开始: ![4.jpg](https://img.learnblockchain.cn/attachments/2022/07/07KgHTok62e3402416b27.jpg) Peggy有一个秘密值a并生成A = g^a。Victor 的秘密值为b并生成B = g^b。...

文章 从R1CS构建知识证明

...是简洁的。本文描述了如何实现这一点。 对于R1CS的知识证明是通过将见证向量转换为[有限域椭圆曲线点](https://learnblockchain.cn/article/11316),并将Hadamard乘积替换为每一行的[双线性配对](https://learnblockchain.cn/article/11321)。 给...

文章 StarkNet + ECN 中文开发者 Meetup

...tarkEx/StarkNet StarkWare 团队研发了基于 STARK 加密证明知识 Rollup (即我们熟知的 ZK-Rollup),目前其提供的方案有 StarkEx 和 StarkNet。 StarkEx 是 StarkWare 开发的一个独立运行的非托管式 ZK-Rollup 软件服务 (SaaS)。创新性地支持一系...

文章 彻底读懂知识证明及其实现方法:解析zk-SNARK

...我们还会更多地遇到它。 大家都知道它是一种实现知识证明的方法,也知道它是扩容和隐私方向的利器,但究竟什么是知识证明,zk-SNARK 是如何实现知识证明的?这便是本文试着去回答的问题。 阅读这篇文章需要保...

文章 审计知识证明(ZKP)应用

知识(ZK)是过时的加密技术吗?是和不是。 围绕 ZK 的市场宣传将其提升为先进的加密技术,这在概念上是相当正确的。ZK 证明系统当然是非常优雅的加密构造。 另一方面,当涉及到一个有效的 ZK 产品时,它们只是半个...

文章 zkRollup 赛道,有何可期?

...有关各个网络的信息将会有所变化。* ## 01. Rollups 背景知识 Rollups 是一种可扩展性解决方案,即通过在 Rollups (L2) 网络中将交易捆绑在一起并进行压缩,然后将它们发送到一个共识层 (比如以太坊 L1 主网) 进行验证。通过一次...