白菜的文章 - 登链社区

TA的文章 TA购买的 TA喜欢的 TA收藏的

通过一天的交流学习大概弄清了KZG10与Pairing的勾迹关系，对PCS也有了更进一步认识，这里记录一下它们之间的逻辑关系。Thanks感谢@KurtPan博和@miles的热心交流讨论，让我重新认识了“椭圆曲线group上的标量乘法”与“椭圆曲线group上的元素乘法

零知识证明椭圆曲线

发布于 2023-08-03 16:36 阅读(2195) 点赞(3) ( 11 )

【四】GKR 协议(原始版本)

GKR协议在InteractiveProtocol框架里是一套非常经典的协议，里面有很多细节值得关注一下，本系列专题主要通过手推的方式明确各个模块执行的时间成本：MultilinearExtensionsSum-CheckExtendedMUL/ADDOriginalGKRPr

interactive protocol sumcheck GKR

发布于 2023-07-25 12:13 阅读(4949) 点赞(0) ( 6 )

GKR协议在InteractiveProtocol框架里是一套非常经典的协议，里面有很多细节值得关注一下，本系列专题会逐一detail出来：MultilinearExtensionsSum-CheckExtendedMUL/ADD...本章节手推了一下电路MUL/ADDga

interactive protocol GKR multilinear extension

发布于 2023-07-22 00:49 阅读(3988) 点赞(0) ( 2 )

【二】GKR 协议系列之Sum-Check

GKR协议在InteractiveProtocol框架里是一套非常经典的协议，里面有很多细节值得关注一下，本系列专题会逐一detail出来：MultilinearExtensionsSum-CheckExtendedMUL/ADD...本章节，我们就一个数气球的toycas

interactive protocol sumcheck GKR

发布于 2023-07-22 00:16 阅读(4688) 点赞(0) ( 2 )

GKR协议在InteractiveProtocol框架里是一套非常经典的协议，里面有很多细节，本系列专题会逐一detail出来：MultilinearExtensionsSum-CheckExtendedMUL/ADD...背景MLE为解决Sum-Check问题提供了一

interactive protocol multilinear extension sumcheck

发布于 2023-07-21 23:38 阅读(3661) 点赞(0) ( 3 )

【三】NOVA系列之RecursiveSNARK

近期NOVA作为当前ZK领域热门的FoldingScheme解决方案，备受工业界追捧，该系列专题将逐一拆解它：Pederson and Poseidon ， R1CS and relaxed R1CS， NIFS， Circuit， RecursiveSNARK， CompressedSNARK。

Nova zkSNARK folding

发布于 2023-06-21 20:25 阅读(2944) 点赞(1) ( 14 )

【二】NOVA 系列之circuit

近期NOVA作为当前ZK领域热门的FoldingScheme解决方案，备受工业界追捧，该系列专题将逐一拆解它：PedersonandPoseidonR1CSNIFSCircuitRecursiveSNARKCompressedSNARK希望通过详尽且直白的逻辑能够把NOVA

Nova zkSNARK folding

发布于 2023-06-16 12:00 阅读(2987) 点赞(2) ( 17 )

【一】NOVA 系列之NIFS

本系列专题为NOVA系列专题，分六个主题：PedersonandPoseidon， R1CS， NIFS， Circuit， RecursiveSNARK， CompressedSNARK希望通过详尽且直白的阐述能够把NOVA整个框架的设计理念传达到读者，最终落地到实际的crypto应用场景中。

Nova zkSNARK folding

发布于 2023-06-13 21:36 阅读(3901) 点赞(5) ( 53 )