• 历史概览

    • zkSNARKs 的基础

  • ZKP编译器流水线设计

    • 动机问题
    • 一般约束
    • 外卖
    • 编程语言
    • 编程库

  • 硬件加速

    • 主要问题
    • 商业模式
    • 3 潜在场景
    • 选择指标
    • ZKP硬件加速结构

  • 轻客户端

    • 主要问题
    • 技术亮点
    • 提交和证明方案

  • 算术域

    • 主要问题
    • 解决方案
    • 参考读物

  • 高效签名

    • 主要问题
    • 建议

  • 证明聚合

    • 主要问题
    • zk-SNARK 聚合结构
    • 潜在有趣的方法
    • 参考读物

  • 漏洞

    • 完整性
    • 健全性
    • 零知识财产
    • 一般系统漏洞

  • 许可

  • 可验证延迟函数 (VDF)

    • 主要问题
    • VDF 要求
    • 技巧
    • 应用
    • 巨大的资源

  • 形式验证

    • 主要问题
    • 技巧
    • ZK 电路的形式验证
    • 正式验证程序
    • 当前进展情况
    • 未来研究方向

  • 证明系统

    • 承诺计划
    • 防弹衣
    • Maurer (sigma) 证明
    • 光晕2
    • Plonky2
    • MPC-in-the-head

  • Historical Overview

    • Foundations of zkSNARKs

  • ZKP Compiler Pipeline Design

    • Motivation Question
    • General Constraints
    • Takeaways
    • Programming Languages
    • Programming Libraries

  • Hardware Acceleration

    • Leading Problem
    • Business Models
    • 3 Potential Scenarios
    • Selection metrics
    • Structure of ZKP Hardware Acceleration

  • Light Client

    • Leading Problem
    • Technology Highlight
    • Commit-and-proof Schemes

  • Arithmetic Fields

    • Leading Problem
    • Solutions
    • Reference Reading

  • Efficient Signatures

    • Leading Problems
    • Suggestions

  • Proof Aggregation

    • Leading Problem
    • zk-SNARK Aggregation Constructions
    • Potentially Interesting Approaches
    • Reference Reading

  • Vulnerabilities

    • Completeness
    • Soundness
    • Zero-knowledge property
    • General System Vulnerabilities

  • Licensing

  • Verifiable Delay Functions (VDF)

    • Leading Problems
    • VDF Requirements
    • Techniques
    • Applications
    • Great Resources

  • Formal Verification

    • Leading Problem
    • Techniques
    • Formal Verification for ZK Circuits
    • Formally Verified Programs
    • The State of Current Progress
    • Future Research Directions

  • Proof Systems

    • Commitment Schemes
    • Bulletproofs
    • Maurer (sigma) Proofs
    • Halo 2
    • Plonky2
    • MPC-in-the-head