零知识证明 - DIZK介绍
DIZK，Distributed Zero Knowledge，分布式的零知识证明系统。在分布式环境下，DIZK能支持超大规模电路（10亿门级别）的计算。
- Star Li
- 发布于 2020-02-13
- 阅读 ( 4075 )
- ( 6 )
Star Li
从零开始学习zk-SNARK(五)—Pinocchio 协议
作为本系列的最后一篇文章，本文继续对 zk-SNARK 协议进行完善，最终形成一个完整的 zk-SNARK 协议
- 安比实验室
- 发布于 2020-02-01
- 阅读 ( 6806 )
- ( 62 )
安比实验室
从零开始学习zk-SNARK(四)—多项式的约束
上一篇文章中我们学习了如何将程序转换为多项式进行证明。到这里似乎已经有点晕了，本文将对协议执行进一步的约束，并对协议展开优化。
- 安比实验室
- 发布于 2020-01-30
- 阅读 ( 5298 )
- ( 21 )
从零开始学习zk-SNARK(三)—从程序到多项式的构造
前文主要介绍了如何构造多项式的零知识证明协议，现在将开始探讨如何构造更通用的协议。本节主要是讲如何将一组计算的证明转换为多项式进行证明。本文重点主要包括：多项式的算术性质，多项式插值等。
- 安比实验室
- 发布于 2020-01-30
- 阅读 ( 5495 )
- ( 20 )
零知识证明 Learn by Coding：libsnark 入门篇
希望通过本系列文章，所有开发者都能亲自上手实践，在短时间内迅速入门 libsnark，一步步了解 libsnark 的基本概念.
- 安比实验室
- 发布于 2020-01-03
- 阅读 ( 4517 )
- ( 35 )
浅谈零知识证明：背景与起源
本文介绍零知识证明的背景和起源，阅读后大家对为什么需要零知识证明，和零知识证明到底有多强大，有了一个更加深入的了解。
- 安比实验室
- 发布于 2019-12-24
- 阅读 ( 5889 )
- ( 55 )
吴寿鹤
十分钟开发一个混币-原理篇
混币的目的是切断加密货币交易中发送方与接受方的联系，提高加密货币的隐私性和匿名性，使第三方更难追踪加密货币的用途以及它属于谁。
- 吴寿鹤
- 发布于 2019-12-18
- 阅读 ( 8067 )
- ( 11 )
juneocean
零知识证明-Semaphore源代码导读
Semaphore是一个用零知识证明（zk-SNARK）技术的开源项目。Semaphore实现的是基于零知识证明的身份和信号。
- Star Li
- 发布于 2019-11-08
- 阅读 ( 9684 )
- ( 22 )
零知识证明学习资料汇总
本文收集了关于零知识证明的一些学习资料（包括科普文章，论文，开源仓库及相关学习网站等），并对这些资源进行了整理分析，希望能对大家有所帮助。
- 安比实验室
- 发布于 2019-11-08
- 阅读 ( 45460 )
- ( 329 )
探索零知识证明系列4 - 亚瑟王的「随机」挑战
本文继续长篇大论零知识证明背后的机制原理，希望帮助大家理解这一类「现代密码学工具」的大致轮廓。本文约8000字，少量数学公式。
- 安比实验室
- 发布于 2019-11-04
- 阅读 ( 10138 )
- ( 20 )
