Marlin是一种预处理zkSNARKs方案，它基于zkSNARKsonic协议并进行了改进，核心是一个高效的代数全息证明(AHP)，用于秩1约束满足问题(R1CS)，实现了线性证明长度和常数查询复杂度。
Marlin在zkSNARK sonic协议基础上进行了改进。
The core of our preprocessing zkSNARK is an efficient algebraic holographic proof (AHP) for rank-1 constraint satisfiability (R1CS) that achieves linear proof length and constant query complexity.
论文见：《Marlin:Preprocessing zkSNARKs with Universal and Updatable SRS》
代码实现见：https://github.com/scipr-lab/marlin
参考资料：
[1] https://github.com/scipr-lab/marlin
[2] 《Marlin:Preprocessing zkSNARKs with Universal and Updatable SRS》
扫一扫
1676
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
