登链社区

zk-SNARK 系列 - #1 SNARK介绍 & 证明媒介

介绍 SNARK 及证明媒介

zkSNARK 零知识证明

Maksym
发布于 2024-07-25
阅读 ( 971 )
( 10 )

零知识证明 - 深入理解powersoftau

powersoftau，采用MPC以及随机Beacon，完成可信设置。通过POK算法实现可验证的密钥对，并建立和上一个参与方计算结果的绑定。参与可信设置的人数可扩展，并且参与方只需要按照顺序一个个的进行指定的计算即可。协调方在接收到某个参与方的计算后，验证后，发送给下一个参与方。

powersoftau 零知识证明 MPC

Star Li
发布于 2020-12-24
阅读 ( 3378 )
( 4 )

零知识证明 - PLONK电路原理

PLONK算法的电路采用新的描述模型。整个电路由门电路约束和Copy约束（连线约束）组成。门电路约束和Copy约束都转换为多项式表达。Copy约束通过累加算法实现。

零知识证明 PLONK

Star Li
发布于 2020-10-06
阅读 ( 4709 )
( 24 )

10 篇塑造现代零知识证明的必读论文

ZKP

zksecurity
发布于 2024-11-13
阅读 ( 362 )
( 26 )

零知识证明 - 说说Nova

Nova算法是一种针对IVC（增量可验证计算，Incrementally Verifiable Computation）的新型的零知识证明算法。

零知识证明 Nova IVC

Star Li
发布于 2023-08-28
阅读 ( 2332 )

零知识证明：应用和具体用例

零知识证明（Zero-KnowledgeProofs，ZKPs）是应用密码学中令人兴奋的突破，将在各个行业中解锁新的用例，

零知识证明

Chainlink
发布于 2023-06-07
阅读 ( 1784 )

零知识证明 - zkEVM源代码分析（State Circuit）

前一篇文章介绍了zkEVM的EVM Circuit的电路实现细节，接下来继续介绍State Circuit。

零知识证明 zkEVM 源码分析

Star Li
发布于 2022-05-06
阅读 ( 2777 )

零知识证明 - Halo2开发常见错误(Custom Gate)

使用Halo2开发电路，不可避免会设计custom gate。在实际开发custom gate的过程中，经常会碰到一些错误。该篇文章总结并分析了在Halo2库基础上开发custom gate的一些错误和原理。

零知识证明 Halo2

Star Li
发布于 2022-06-24
阅读 ( 2778 )

零知识证明 - Zkopru Layer2隐私协议介绍

Zkopru利用零知识证明在以太坊上实现layer2隐私交易的新方案

Layer2 零知识证明隐私 zkopru

Star Li
发布于 2020-09-17
阅读 ( 3216 )
( 33 )

零知识前沿：关于SNARKs，STARKs和未来的应用

在今天的文章中，我将剖析有史以来最强大但经常被误解的密码学工具之一：零知识证明 。此外，我将重点介绍未来实现的用例和建议，并展示为什么零知识证明是crypto未来的关键。

零知识证明 zkSNARK zkSTARK

XPTY
发布于 2022-05-09
阅读 ( 4093 )

CUDA - cuda-fixnum源代码导读

零知识证明 CUDA

Star Li
发布于 2019-06-09
阅读 ( 3023 )

零知识证明 - Coda SNARK挑战（Stage1）

零知识证明 Coda SNARK

Star Li
发布于 2019-06-28
阅读 ( 3269 )

零知识证明 - Coda SNARK挑战（Stage2）

零知识证明 Groth16 zkSNARK

Star Li
发布于 2019-07-17
阅读 ( 2768 )

探索 zkVMs：哪些项目真正符合零知识虚拟机的标准？

探索市面上的 zkVMs：哪些项目真正符合零知识虚拟机的标准？

zkVM 零知识证明

Vac.dev
发布于 2024-10-25
阅读 ( 513 )
( 34 )

零知识证明 - 再谈EYBlockchain

上次我写了一篇 EYBlockchain 在以太坊上创建隐私币, 最近有点时间，重新看了看EYBlockchain的源代码，对EYBlockchain的理解又深入了不少。画了一些图，分享给有需要的小伙伴 :)

密码学 EYBlockchain 零知识证明

Star Li
发布于 2019-07-08
阅读 ( 9715 )
( 20 )