找到约 12 条结果

文章 Lita 发布 Valida zkVM 及 C 编译器

2024年9月4日 亮点 - Lita发布了Valida知识虚拟机和C编译器的alpha版本,使开发者能够在Valid上编译、运行、证明和验证C程序 - Valida在初步基准测试中显示出前景,在证明生成速度和效率方面有多个数量级的改进 - LLVM Valida编译...

文章 以太坊Layer2扩容方案之Validium

...交易、链下保证数据可用性(链下存储数据)、同时生成知识证明对交易有效性进行确认。 # 二 Validium如何工作的? ## 2.1 提交交易 用户提交交易,交易会提交给Operator运营商,这里的运营商其实就是执行交易的Validium Node。这...

文章 Web3 极客日报 #1473

...方案,旨在加速和简化区块链扩展操作。Jolt集成了SNARK知识证明,为EVM兼容Rollups提供了框架,可以帮助开发人员创建基于SNARK的L2解决方案。该团队表示,与目前的zkVM相比,Jolt的速度“快了两倍”。 ### eps week1 纪要 - 以太...

文章 Mina之账号初始化流程

...Protocol 是一条轻量级区块链,以其固定大小的区块链和知识证明(zk-SNARKs)为核心特点。 这篇文章,将深入探讨 Mina 的账户初始化过程,让我们更好地理解和应用 Mina 网络 ## **账户初始化的过程** 在 Mina 网络中,账户...

文章 知识简介:知识领域导览,第一部分

## 引言 [知识证明↗](https://en.wikipedia.org/wiki/Zero-knowledge_proof) (ZKP) 代表了一类加密协议,它使得一个方(称为证明者)能够为一组值(称为见证值)生成知识证明。这些证明允许证明者向另一个方(称为验证者)证明知识,...

文章 zkRollup介绍 原理篇

...业场景的需求。 ## zkRollup是什么 `zkRollup`就是基于知识证明的二层扩容方案(`layer2`), `zkRollup`方案起源于18年下半年,由`Barry Whitehat`和`Vitalik`先后提出。`Rollup`顾名思义有“卷起”和“汇总”的意思,将大量的交易“卷起/...

文章 Zkzkevm:私有 EVM - 隐私性

...们要求 reth 添加两个新的树。私有存储树 (PST) 和私有知识树 (PNT)。 PST 和 PNT 中的每个叶子都会随着每次更新一起发布。因此,任何人都可以证明任何叶子的成员资格。但是,这些叶子包含的值仅对创建它们的用户已知。 ### ...

文章 Polygon zkEVM 是什么?

...中,我们将了解 Polygon zkEVM 协议,该协议结合了密码学知识证明和以太坊虚拟机(EVM)来提供 Layer-2 Rollup 解决方案。 ### 什么是 Polygon? [Polygon](https://polygon.technology/),以前称为 Matic,是一个提供多样化区块链解决方案的区...

文章 死磕grass平台

...识 - 数据完整性校验值 2. ZK处理器功能 通过知识证明技术实现: - 数据真实性验证 - 节点贡献度计算 - 隐私保护处理 ### Grass Points奖励系统 平台设计了完整的激励机制,通过Grass Points实现价值分配: ...

文章 利用知识证明、全同态加密和新的分布式系统算法改造未来

...保持简洁和清晰,我们简化了一些概念。在本讨论中,知识证明和计算完整性被视为一个单一概念,我们不会讨论工作量证明和权益证明的不同安全属性。 每个科学学科或工程领域的发展都会经历类似于经济领域中观察到的...

文章 [译]几种通用的zk-SNARKs 实现的比较

...-SNARK 实现,并在以后不定期更新。 像 zk-SNARK 这样的知识证明有很多应用:Zcash 利用知识证明 来保护隐私,Coda 和 Mir 利用知识证明将整个区块链压缩到只有 几 K 字节,0x 和 Matter 则利用知识证明将许多交易封装为以...

文章 什么是 知识证明:ZK-SNARKs?|Tokenview

知识证明(Zero-knowledge proofs )是允许一方向另一方透露信息知识而不透露信息本身的机制。ZK 证明也称为有效性证明,最初用于隐藏以隐私为中心的区块链中的交易细节。 但 ZK 证明还有另一个令人兴奋的用例:扩展通用...