1. Introduction and History of ZKP (90%+)
2. Overview of Modern SNARK Constructions (90%+)
3. Libraries and Compilers to build ZKP (circom90%+,其余方法目前掌握成都较低)
4. Interactive Proofs (IP) (50%)
5. Plonk Interactive Oracle Proofs (IOP)
6. Discrete-log-based Polynomial Commitments
7. ZKP based on Error-Correcting Codes
8.Transparent ZKP
9. Linear Probabilistically Checkable Proofs (PCP)
10. Recursive SNARKs, Aggregation and Accumulation
11. Theoretical Foundations & Recent Theoretical Advancements
12. Overview of ZKP Applications & zkRollup and zkEVM
Building opcode compatible zk EVMs
13. Privacy-preserving Architectures
14. ZKP Applications & zkBridge, Trustless Bridge made Practical
More ZKP Applications
15. Formal Verification of ZKP
16.Hardware Acceleration of ZKP
标签:MOOC,based,Applications,关于,Proofs,ZKP,Theoretical,Interactive From: https://www.cnblogs.com/bwxr0525/p/18121571