前一段时间,介绍了几篇零知识证明文章:[入门zkSNARK](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/), [从 QSP 到 QAP](https://learnblockchain.cn/2019/05/07/qsp-qap/),[Groth16 算法介绍](https://learnblockchain.cn/2019/05/27/groth16/), 今天这篇文章分享下...
...以太坊的流行替代方案。 目前,Polygon 正在开发一套 [零知识 Rollup](https://learnblockchain.cn/article/14331) (ZK Rollup),以提高以太坊的吞吐量,同时不牺牲去中心化或安全性。 ZK Rollup 在链下处理交易,并减少基础层上的计算,以实现...
求助Zokrates相关问题,小白不懂,有没有大佬? ## 代码 我有以下代码,这个代码主要用来判断输入的a是否大于b,如果a大于b则输出1,否则输出0 ```zok def main(private field a, private field b) -> field { return if a > b { 1 }...
...防止通过暴力破解哈希以揭示 secret。 ### (非交互式)零知识证明 **零知识证明** 是一种加密协议,允许证明者向验证者展示特定陈述为真,而不泄露超出该陈述本身真相的任何其他信息。换句话说,它允许证明者说服验证者...
...t 6:递归 ZK-SNARK 与常规 ZK-SNARK 有何不同? 在之前的零知识证明系列文章中,我们详细介绍了ZK-SNARKs技术及其使用优缺点,本期内容我们将继续介绍另外两种零知识证明类型ZK-STARK和递归ZK-SNARK? ## 什么是 ZK-STARK? ZK-STARK ...
... 作者:[Oleh Malanii](https://hacken.io/author/oleh-malanii/) 为零知识(zk)rollup实施一种新的共识机制正在如火如荼地进行。十几个以上的协议正在争夺零知识证明中的 L2 领导地位。Polygon zkEVM 很有可能赢得这场竞赛。 Polygon Technology 是...
...包”交易,并将“打包”后的交易数据连同一个 SNARK 零知识证明发布到链上。交易的合法性由链上智能合约通过零知识证明来验证,负责“打包”的操作者不可能发布恶意或无效的交易。这样就能做到一次性执行一批链下交易...
...去年大段时间都在翻译PAZK。歇了一段时间,最近发现零知识证明技术有些新的方向和变化。感叹,总是有些有趣的人做着有趣的事情。羡慕,并努力让自己有趣。先说说Binius。Binius是个新颖的零知识证明系统,目的是降低证明...
...B**(相当于几条推文的大小)。 * 采用 **zk-SNARKs**(零知识证明)的递归压缩技术,无需存储完整的区块链历史。 2. **轻量化与去中心化** * 用户可以运行一个完整的 Mina 节点,硬件需求极低(如普通手机或笔记本电脑...
毕业设计是要搞一个以Go语言为基础的NIZK的DApp,但是在网上搜相关的学习资料,只有割裂开的Go语言、NIZK知识和DApp知识,请问大家有较好的将三者结合起来的学习资料推荐吗?或者给一些灵感也可以?麻烦大家了!
...本文是系列文章的第五部分,该系列文章逐步介绍理解零知识证明如何工作的必要数学预备知识。**它解释了什么是循环群,以及为什么由于离散对数问题的难度,它们通常用于密码学。** ### 预备知识 在阅读本文之前,你...
...。个人对存储证明的部分比较感兴趣,也就是FPS。采用零知识证明技术,对存储进行证明是个大胆的尝试。 [Filecoin - PoRep和PoSt算法源代码导读](https://learnblockchain.cn/article/680) Filecoin团队,在2019年下半年出了个Lotus(莲花)测...
...学 101:模运算 学习模运算和同余,密码学、区块链和零知识证明(如 Groth16 和 PLONK)背后的关键数学概念。 本文是解释**理解区块链密码学和零知识系统(如**[**Groth16**](https://eprint.iacr.org/2016/260.pdf)**和**[**PLONK**](https://eprint.iacr...
...ckchain.cn/2025/08/07/1aNTAQGhY0vFS7GqjrbaSUw.png) ## Baby Jubjub 与零知识证明 ### Baby Jubjub 是一种电子宠物,但它也是一种椭圆曲线,支持增强的零知识证明的使用 区块链技术的核心进步之一是零知识证明 (ZKP),尤其是围绕 zk-SNARKs(...
Semaphore是一个用零知识证明(zk-SNARK)技术的开源项目。Semaphore实现的是基于零知识证明的身份和信号。 https://github.com/barryWhiteHat/semaphore ## 整体框架 Semaphore整个项目,由三部分组成:nodejs模块(客户端/服务器端以及前端...