白菜的文章 - 登链社区

一键转载

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

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

零知识证明椭圆曲线

更新于2023-08-03 22:04 阅读(1699) 点赞(3) ( 11 )

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

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

interactive protocol sumcheck GKR

更新于2023-07-25 12:24 阅读(2896) 点赞(0) ( 6 )

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

interactive protocol GKR multilinear extension

更新于2023-07-25 12:17 阅读(2120) 点赞(0) ( 2 )

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

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

interactive protocol sumcheck GKR

更新于2024-08-26 16:31 阅读(2646) 点赞(0) ( 2 )

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

interactive protocol multilinear extension sumcheck

更新于2023-07-25 12:19 阅读(2940) 点赞(0) ( 3 )

【三】NOVA系列之RecursiveSNARK

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

Nova zkSNARK folding

更新于2023-06-21 22:04 阅读(2346) 点赞(1) ( 14 )

【二】NOVA 系列之circuit

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

Nova zkSNARK folding

更新于2023-06-19 23:13 阅读(2304) 点赞(2) ( 17 )

【一】NOVA 系列之NIFS

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

Nova zkSNARK folding

更新于2023-07-11 09:45 阅读(3070) 点赞(5) ( 53 )