Darlin: Recursive proofs using Marlin
1. 引言
2021年HorizenLabs团队发布论文 Darlin: Recursive proofs using Marlin 作为其 Zendoo——zk-SNARK可验证跨链传输协议 proving system的白皮书。
相关代码实现见：
- https://github.com/HorizenOfficial/ginger-lib（Rust）
Horizen采用Darlin来处理计算其Latus侧链中的block proof和epoch proof。
Latus为Zendoo内构建的侧链，使用recursive proof来为互操作的链的当前状态的正确性生成succinct proof。互操作链内发生的每笔交易的proof都由一组Provers计算，然后将这些交易合并为当前epoch的唯一proof。整个过程中无需信任任何第三方的同时保护了隐私。
Horizen中的block proof和epoch proof的proving system设计的关键要求在于：
- 1）使用R1CS来定义circuits。
- 2）避免trusted setup，从而给Zendoo开发者更多自由来自定义其circuits。
Darlin的核心为：
- Marlin SNARK【R1CS circuit】
- Bulletproofs的基于dlog的polynomial commitment scheme【无需trusted setup】
- 基于Halo的技术实现了Marlin inner sumchecks的recursive proof【recursive proof】
参考资料
[1] 2021年论文 Darlin: Recursive proofs using Marlin
[2] zkProofs——Darlin
[3] Horizen Publishes the Darlin: A Proof-Carrying Data Scheme Based on Marlin Whitepaper
[4] Horizen Sidechain Extended Whitepaper: Zendoo: A Zk-SNARK Verifiable Cross-Chain Transfer Protocol Enabling Decoupled And Decentralized Sidechains
[5] Horizen Publishes The Latus Incentive Scheme For SNARK-Based Sidechains
Darlin: Recursive proofs using Marlin相关推荐
- Recursive SNARKs总览
1. 引言 Recursive SNARKs又名Incrementally Verifiable Computation(IVC).Proof Carrying Data(PCD)或 inductiv ...
- PLONK: permutations over lagrange-bases for oecumenical noninteractive arguments of knowledge 学习笔记
1. 引言 Gabizon等人2019年论文<PLONK: permutations over lagrange-bases for oecumenical noninteractive arg ...
- ZKP方案衍变及对比
1. 引言 2019年是ZKP方案创新井喷的一年. 2019年10月,Chiesa在#zk0x04上的分享 State of the SNARG-scape - Alessandro Chiesa ( ...
- Nova: Recursive Zero-Knowledge Arguments from Folding Schemes学习笔记
1. 引言 前序博客有: Lurk--Recursive zk-SNARKs编程语言 rank-1 constraint system R1CS Spartan中 Vitalik R1CS例子 SNA ...
- Fast Reed-Solomon Interactive Oracle Proofs of Proximity学习笔记
1. 引言 Eli Ben-Sasson等人2018年论文<Fast Reed-Solomon Interactive Oracle Proofs of Proximity>.该论文又俗称 ...
- Marlin:Preprocessing zkSNARKs with Universal and Updatable SRS学习笔记
1. 引言 Chiesa等人2019年论文<Marlin:Preprocessing zkSNARKs with Universal and Updatable SRS>. 相关代码实现有 ...
- Marlin中的Polynomial commitment scheme
1. 引言 前序博客有: Marlin:Preprocessing zkSNARKs with Universal and Updatable SRS学习笔记 相关代码实现有: https://git ...
- 使用RFECV、递归特征消除 (Recursive Feature Elimination)进行特征筛选详解及实战
使用RFECV.递归特征消除 (Recursive Feature Elimination)进行特征筛选详解及实战 包装法,根据目标函数(通常是预测效果评分),每次选择若干特征,或者排除若干特征. 所 ...
- scala recursive value x$5 needs type
recursive value x$5 needs type的原因是使用了一个类型不确定的变量,例如 val (id, name) = (id, getName(id)) 其中id是个变量,其值还不确 ...
最新文章
- oracle-25031安装错误分析解决
- 项目管理过程中的一些注意事项
- java.lang.NoClassDefFoundError: org/springframework/dao/support/DaoSupport
- 《C语言程序设计：问题与求解方法》——0.5节本章习题
- java学生签到系统视频教程_手把手教你做一个Java web学生信息、选课、签到考勤、成绩管理系统附带完整源码及视频开发教程...
- Redis+Twemproxy安装与使用
- php正则匹配域名不包含端口_3分钟短文 | PHP极速匹配子字符串，你是怎么做的？...
- C51数据类型扩充定义
- java mysql结果集_Java JDBC结果集的处理
- Ros_Topic通信方式
- spark之kryo序列化及其使用
- 批处理路径中含有空格的处理办法
- caffe手写数字分类－学习曲线
- 第十二届蓝桥杯 杨辉三角形 Python题解 满分
- JavaScript 怎样写注释
- 批量图片压缩、生成PDF文件及PDF文件压缩
- 有多少旅游企业入驻了抖音平台？有多少抖音用户喜欢看旅游视频？
- [转]斗鱼大数据搭建的经验和坑
- shp文件格式说明(二)
- 面试到了“IT大佬”，怼得我哑口无言…