RICS
零知识证明算法 Marlin 是基于 R1CS 的证明系统，给定系数矩阵参数 I = ( F,n,m,A,B,C ) 和一组有效赋值 z=(x,w) ∈ Fn，其中 x 为公开的信息，即 Instance；w 为私有的信息, 即, witness。如果有: Az o Bz = Cz 成立，则说明 R1CS 成立。
Transition into Polynomial (efficiency)
Prepare
Define polynomial
Linearity check
AHP for R1CS
Common
Prover
Verifier
Polynomial commitment
Optimization
Reduce sumcheck
Common
Verifier
Reduce polynomial numbers for Sumcheck - 2
对三个矩阵的现行校验, 压缩成对一个矩阵的校验, 即:
M=ηAA∗+ηBB∗+ηCC∗
对这个多项式进行稀疏矩阵的表示。
矩阵多项式，从 9 个缩减为 3 个。
Set b = 1
令 b = 1
Final Procotol
Marlin in Arkworks
(https://github.com/arkworks-rs/marlin/blob/master/diagram/diagram.pdf )
参考
Arkworks for Marlin
(https://github.com/arkworks-rs/marlin/blob/master/diagram/diagram.pdf )
Marlin
(https://eprint.iacr.org/2019/1047.pdf)
Fractal
(https://eprint.iacr.org/2019/1076.pdf )
关于我们
Sin7y 成立于 2021 年，由顶尖的区块链开发者组成。我们既是项目孵化器也是区块链技术研究团队，探索 EVM、Layer2、跨链、隐私计算、自主支付解决方案等最重要和最前沿的技术。
微信公众号:Sin7y
GitHub: Sin7y
Twitter: @Sin7y_Labs
Medium: Sin7y
Mirror: Sin7y
HackMD: Sin7y
HackerNoon: Sin7y
Email: contact@sin7y.org
【免责声明】市场有风险，投资需谨慎。本文不构成投资建议，用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资，责任自负。
