zk-SNARKS验证教程

• 概念
• 构建算数电路
• 同态隐藏
• 多项式盲估
• 系数测试及假设
• 可验证的多项式盲估实现
• 从计算到多项式
• Pinocchio 协议
• 椭圆曲线配对