zkSNARK
zk-merkle-tree库: 使用 zkSNARK 在以太坊上进行匿名投票
zk-merkle-tree 库: 使用 zkSNARK 在以太坊上进行匿名投票
- 翻译小组
- 发布于 2023-11-14
- 阅读 ( 2128 )
- ( 23 )
翻译小组
Vitalik Buterin
区块链中的数学 - Halo2 Circuit
本文介绍另一种基于plonk的proof system--halo2，目前看到基于plonk的工程实现有三种:bellman, dusk, halo2.
- blocksight
- 发布于 2021-09-06
- 阅读 ( 4065 )
- ( 4 )
blocksight
从零开始学习zk-SNARK(三)—从程序到多项式的构造
前文主要介绍了如何构造多项式的零知识证明协议，现在将开始探讨如何构造更通用的协议。本节主要是讲如何将一组计算的证明转换为多项式进行证明。本文重点主要包括：多项式的算术性质，多项式插值等。
- 安比实验室
- 发布于 2020-01-30
- 阅读 ( 5201 )
- ( 20 )
安比实验室
从零开始学习zk-SNARK(四)—多项式的约束
上一篇文章中我们学习了如何将程序转换为多项式进行证明。到这里似乎已经有点晕了，本文将对协议执行进一步的约束，并对协议展开优化。
- 安比实验室
- 发布于 2020-01-30
- 阅读 ( 5057 )
- ( 21 )
从零开始学习zk-SNARK(五)—Pinocchio 协议
作为本系列的最后一篇文章，本文继续对 zk-SNARK 协议进行完善，最终形成一个完整的 zk-SNARK 协议
- 安比实验室
- 发布于 2020-02-01
- 阅读 ( 6444 )
- ( 62 )
区块链中的数学 - Baby Jubjub Elliptic Curve
本文将介绍一种新的椭圆曲线实例-- Baby Jubjub Elliptic Curve。
- blocksight
- 发布于 2021-08-01
- 阅读 ( 5489 )
探索零知识证明系列1 - 初识「零知识」与「证明」
我认为区块链很难称为一个“技术”。它更像是一个领域，包罗万象。或者形而上地说，区块链更像一个有机体，融合了各种不同的理论技术。
零知识证明是构建信任的重要技术，也是区块链这个有机体中不可缺少的一环。
- 安比实验室
- 发布于 2019-08-01
- 阅读 ( 15124 )
- ( 25 )
Star Li
了解零知识证明历史
来自 lambda class 的了解零知识证明历史。 计算机科学、数学和硬件的进步，以及区块链的引入，导致了新的更高效的 SNARKs 的出现。
- 翻译小组
- 发布于 2024-02-20
- 阅读 ( 2264 )
- ( 45 )
juneocean
零知识证明的力量：深入理解zk-SNARK
zk-SNARK，即“零知识简洁非交互式知识论证”，使得一名验证者 能够确认一名证明者 拥有某些特定知识，这些知识被称为 witness，满足特定的关系，而无需透露关于见证本身的任何信息。
- DODO研究院
- 发布于 2023-11-02
- 阅读 ( 3222 )
- ( 32 )
DODO研究院
可编程密码学 - 第一篇
“可编程密码学”一词来指代今天变得实用的第二代密码学原语。这些原语的定义特征是它们比第一代密码学灵活得多：它们允许我们在密码协议内部或之上执行通用计算。
- 0xPARC
- 发布于 2024-08-12
- 阅读 ( 512 )
- ( 56 )
0xPARC
极客 Web3