找到约 13 条结果

文章 Aleo 网络 (ALEO) 是什么 - 全面概述

...处。 了解更多关于团队、Aleo 代币、Aleo 的用例和缺点的知识 ![](https://img.learnblockchain.cn/2025/08/22/ipGeRJRzEkHCK83aRG9CuaDQrc.png) 比特币和加密货币领域向我们承诺了一种新的支付模式、一个去中心化的时代,以及一种替代法定货币...

文章 SlowMist:探索法iat-Shamir方案中的Frozen Heart漏洞

...rt 漏洞最早是由 Trail of Bits 团队命名的。“Frozen”代表知识证明的铸造,而“Heart”则表明 Fiat-Shamir 转换是许多证明系统的核心。该漏洞指的是使用“弱 Fiat-Shamir”转换。在这种情况下,只对证明者的消息的部分进行了哈希,...

文章 登链 Weekly 2025/3/9

...chments/2025/03/oOlSJ4VA67cd47868c4f4.png!/scale/60) 你是否听说过知识证明(ZK)的神奇之处,却不知其运作机制?那么,“ZK白板系列”专栏将是你打开这扇魔法之门的钥匙! 从知识证明的基本概念出发,逐步深入到高级协议,并探...

文章 Polyhedra Networks 和 Lagrange Labs 合作公告:Optimistic Rollups 的 zkBridge 快速最终性…

...作性提供无需信任且高效的跨链基础设施。zkBridge 使用知识证明结构来[证明完整的 Ethereum PoS 共识](https://polyhedra.medium.com/proving-full-node-of-ethereum-in-zk-c7ffaaa688dd)以及各种 layer-1 和 layer-2 网络的state transitions。 凭借其高效的证明...

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

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

文章 关于Plonk,你想知道的一切

### 介绍 知识证明,也称为 ZKP,由于其在将计算委托给不受信任的服务器以及解决去中心化账本中的可扩展性问题方面的众多应用而变得越来越流行。通过使用 ZKP,我们可以证明给定计算的有效性,而无需泄露敏感信息,并...

文章 Polygon zkEVM架构

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

文章 L2 - 理解和思考

...判断正确状态。zkRollup是最直接的状态同步方式,通过知识证明技术,在向Layer1提交状态的同时提供状态变化的证明。Layer实现分类如下: ![](https://img.learnblockchain.cn/2021/07/13/16261606652533.jpg) zkRollup,按照采用的知识证明...

视频 Solana 上的保密代币转账

...额和余额。 * **技术实现:** 该功能利用同态加密和知识证明(ZK proofs)等密码学技术。 * **转账流程:** 用户首先将代币从公共余额存入待处理余额状态(加密),然后将待处理余额应用到可用余额状态。之后,代币可...

文章 ZK Mesh:2025年9月回顾

一份分享去中心化隐私保护技术、隐私协议开发和知识系统领域最新进展的月度新闻通讯 ## ZK Mesh:2025 年 9 月回顾 欢迎来到 ZK Mesh,这是一份精心策划的月度新闻通讯,涵盖了先进的隐私增强密码学、分布式协议开发...

文章 Layer2 开发教程 # 2 zkSync 基础

...kSync 是一种基于以太坊的二层扩容解决方案,它利用了知识证明技术来提高交易吞吐量和降低交易成本。zkSync 属于目前以太坊比较流行的扩容方案 ZK-Rollup 的一种,通过将大量交易批量处理并将结果提交到以太坊主链来实现高...

文章 RISC Zero的ZK-VM安全性:Veridise如何帮助RISC Zero实现可证明和持续的知识验证…

...SC Zero zkVM——一个利用RISC-V架构进行安全和私密计算的知识虚拟机。 虽然我们为RISC Zero完成了多次安全审核,但我们的安全合作不仅限于审核。 在这篇博客文章中,我们强调了我们是如何合作的,使用**Picus**,Veridise的自动...

文章 比特币生态系统的必然扩张

...通过比特币脚本实现以太坊 rollup 中执行的挑战游戏或知识证明验证,在现实中被认为是很困难的。 BitVM 于 2023 年 10 月发布,作为一种能够在比特币网络上验证链下计算结果的解决方案而备受关注,显示了解决此问题的可能...