找到约 15 条结果

专栏 知识证明之书

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

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

文章 Filecoin - Lotus存储证明了什么?

...。个人对存储证明的部分比较感兴趣,也就是FPS。采用知识证明技术,对存储进行证明是个大胆的尝试。 [Filecoin - PoRep和PoSt算法源代码导读](https://learnblockchain.cn/article/680) Filecoin团队,在2019年下半年出了个Lotus(莲花)测...

文章 知识证明-Semaphore源代码导读

Semaphore是一个用知识证明(zk-SNARK)技术的开源项目。Semaphore实现的是基于知识证明的身份和信号。 https://github.com/barryWhiteHat/semaphore ## 整体框架 Semaphore整个项目,由三部分组成:nodejs模块(客户端/服务器端以及前端...

文章 知识证明 - KZG多项式承诺

在网络上看到一篇非常棒的介绍KZG多项式承诺的文章: https://dankradfeist.de/ethereum/cryptography/2020/06/16/kate-polynomial-commitments.html 翻译了一下,方便感兴趣的小伙伴查看。Dankrad多次帮忙校对翻译内容,甚至在他的blog创建了中文翻...

文章 Tornado Cash是如何工作的?

...防止通过暴力破解哈希以揭示 secret。 ### (非交互式)知识证明 **知识证明** 是一种加密协议,允许证明者向验证者展示特定陈述为真,而不泄露超出该陈述本身真相的任何其他信息。换句话说,它允许证明者说服验证者...

文章 有效性(ZK)证明与欺诈证明

...有效的,使用**欺诈证明**在7天内证明虚假交易 2. [知识汇总(Zero Knowledge (ZK) Rollups)](https://www.alchemy.com/blog/zero-knowledge-rollups) - 使用**有效性证明**即时证明交易是否有效 有效性证明和欺诈证明在交易录入基础链状态之...

文章 知识证明 - zkHack V Puzzle 2 - Don't Lookup

接着看看zkHack V的第二道题。 https://zkhack.dev/zkhackV/puzzleV2.html ### 1. 题目 基于一个比较小的域,实现了一个Lookup协议。题目给定了一个从0~63的表,尝试证明2^15在表中。 ### 2. Lookup协议 题目中实现的Looku...

文章 从0到1搞定 zkMIPS 开发!

.../img.learnblockchain.cn/attachments/2025/02/wuRVAsTx67c182fa6aab4.png) 知识证明(Zero-Knowledge Proof, ZKP)作为区块链技术的核心驱动力,正在重塑 Web3 的未来格局。从隐私保护到链上计算效率提升,ZKP 技术不仅推动了去中心化应用(DApps)的...

文章 知识证明 - zkHack V Puzzle 3 - Shadow

...r}的hash值提交到网站。使用认证的过程,用户需要生成知识证明证明某个用户知道确定的pepper。题目给出了10个hash值,alice的公钥和pepper,以及bob的公钥,在alice提供诚实的hash的情况下,提供证明她是bob。 ### 2. Nior编写...

文章 选择排序的知识证明

感兴趣的大多数计算通常是“有状态的”——也就是说,它们需要经过一系列步骤才能产生最终结果。 有时,我们不需要展示我们执行了计算,而只需要展示结果。例如,如果 A 是一个列表,我们可以通过展示 B 是 A 的一个排...

文章 知识证明友好的哈希函数

ZK-friendly 哈希函数是相比传统密码学哈希函数,需要更少的约束来证明和验证的哈希函数。 像 SHA256 或 keccak256 这样的哈希函数大量使用按位运算符,例如 XOR 或位旋转。证明 XOR 或位旋转的正确执行需要将数字表示为 32 位,...

文章 区块链中的数学 - sigma协议与Fiat-Shamir变换

## 写在前面 上一篇介绍了[知识证明的概念及性质](https://learnblockchain.cn/article/2445), 没有举常见的数独,地图染色的例子,这些可以自行搜索了解, 本文继续讲sigma协议,具备一定知识性质的协议! ## Sigma协议9 设...

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

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

文章 简述知识证明与zkSNARK

...下zkSNARK这个拗口的技术到底是什么鬼。 ## 什么是知识证明 要了解zkSNARK,必须先理解什么是知识证明。 关于知识证明,概念并不难理解,我们以一个老掉牙的故事作为例子。 阿里巴巴被强盗抓住,为了保命,...