找到约 15 条结果

文章 Polygon zkEVM架构

...户发送到网络的交易)引起的状态转换。之后通过利用知识功能创建有效性证明证明这些链外状态变化计算的准确性。 zkEVM的主要组件包括: - 共识(POE)合约(PolygonZkEVM.sol) - zkNode - 同步器(Synchronizer) - 排序...

文章 区块链中的数学 -- MultiSet check& Schwartz–Zippel lemma

...)转化成多项式函数。我们认为二者一定范围内等同,知识证明中大量使用多项式术语(多项式函数,承诺等),很多初学朋友问为什么要搞成多项式? **因为多项式可以实现简洁的验证,zksnark中s(Succinct)主要通过这种方式...

文章 EIP-4844: Rollups的量身定制

...提交的 blob 数据在需要时是可用且可验证的。这类似于知识证明,通过数学方法验证数据的完整性和有效性,而不需要将所有数据永久存储在链上。 3. **如何验证 Rollup 交易?** 1. **Rollup 压缩交易**:Rollup 链(例如 zkSync)...

文章 简明理解知识证明历史、原理与发展现状

> 知识证明已在区块链领域大放异彩,包括第一个实现 zkSNARK 的匿名加密货币 Zcash > 和 Layer 2 的主要解决方案 ZK Rollup。 **原文标题:《知识证明最简介绍:历史、原理、实现》 撰文:DeGate** 密码学可以说是区块链技术...

文章 建设未来:引领知识技术潮流的项目

...tps://www.gelato.cloud/blog) — Gelato 大学 ## 构建未来:引领知识技术发展的项目 ![](https://img.learnblockchain.cn/2025/06/13/_EBD_3_4_CF_0_83_C0_D33_A3_B915_DAF_cf78ce11dd.png) 可扩展性是以太坊面临的挑战,导致了像 ZK rollups 这样的 Layer-2 解决方案...

文章 知识证明 - 说说Nova

前段时间在翻译一本知识证明技术的书。上个月底基本内容已经翻译完成。翻译时间比我预想的长得多。目前正在和作者讨论书中的一些笔误,准备最后的定稿。 anyway,终于有点时间看看新鲜东西。先从Nova算法开始~ ...

文章 基于 RISC V 的ZK 虚拟机 zkVM 1.0 上线

...常缺乏基本功能。 ‍ 通过克服传统链上计算和复杂知识解决方案的限制,zkVM 1.0 使开发者能够轻松构建可扩展、互操作和创新的应用程序。 ‍ **为什么这很重要** -------------------- zkVM 1.0 为构建链上协议和去中心化...

文章 浅谈知识证明:背景与起源

浅谈知识证明系列文章已有如下更新: 1. [背景与起源](https://learnblockchain.cn/article/278) 2. [简短无交互证明(SNARK)](https://learnblockchain.cn/article/352) --- 上个学期在斯坦福跟着Dan Boneh学习了区块链和数字货币相关的技术。和以...

文章 zkVM 安全性:哪里可能出错?- ZKSECURITY

一个 zkVM (知识虚拟机) 使用知识证明证明和验证在特定 ISA (指令集架构) 中运行的计算。现有的 zkVM (例如, [risc0](https://risczero.com/), [sp1](https://github.com/succinctlabs/sp1), [jolt](https://github.com/a16z/jolt), [valida](https://github.com/valida-xy...

文章 Polygon ZK Rollups:你需要知道的一切

...以太坊的流行替代方案。 目前,Polygon 正在开发一套 [知识 Rollup](https://learnblockchain.cn/article/14331) (ZK Rollup),以提高以太坊的吞吐量,同时不牺牲去中心化或安全性。 ZK Rollup 在链下处理交易,并减少基础层上的计算,以实现...

文章 设计安全的 zkVM 应用:与 Rami Khalil (RISC Zero) 的炉边谈话

...来发展。 ## 什么是 zkVM? Rami 解释说,zkVM 本质上是知识证明的实践实现。他将知识证明比作签名的泛化。在签名中,私钥生成消息上的签名,公钥可以验证该签名。利用知识证明,“私有部分”可以是任何输入,“签...

文章 Tornado.cash: 一个关于匿名和zk-SNARKs的故事

...个随机数,从而暴露我们的身份。 ## 用球为例解释知识 现在,如果我们能向警卫证明,我们知道一个秘密的数字,在不透露实际数字的情况下,在碗内对承诺进行哈希运算呢?那么,我们可以用知识证明来做到这一点...

文章 密码学基础:算术电路

...ttps://learnblockchain.cn/article/10821),我们深入探讨了一个 _知识证明_ 协议的特定示例。尽管优化和性能问题不谈,它涵盖了所需的用例:证明一个数字在 _某个范围_ 内。然而,该协议是 _极其具体_ 的,为了另一个声明而制作另...

文章 一文读懂 zk-STARK 与 zk-SNARK 知识证明

## **一. 从隐私到扩容,知识证明的崛起** 自区块链问世以来,如何在去中心化的环境下保证数据隐私与系统可扩容,一直是产业和学界的共同难题。区块链承诺为我们带来**不可篡改、无需信任**的分布式账本,但交易透明...

文章 2024-09-29 zk-insights Weekly

...了 BitSNARK v.0.1,第一次使得使用户能够验证比特币上的知识证明。允许任何人在不分叉代码的情况下升级网络。BitSNARK 协议是在比特币网络上验证知识证明执行情况的一种方法,它允许将比特币的转移与可证明的外部事件(...