ZK论文解读--SoK: Understanding zk-SNARKs: The Gap Between Research and Practice

在web3摘不拿拿
发布于 3天前
阅读 249

这是一篇论文解读：SoK: Understanding zk-SNARKs: The Gap Between Research and Practice.

这是一篇论文解读：[SoK: Understanding zk-SNARKs: The Gap Between Research and Practice](https://eprint.iacr.org/2025/172)
B站讲解视频：https://www.bilibili.com/video/BV1WAXvYVEZu/?spm_id_from=333.1387.upload.video_card.click&vd_source=8f4d32b059752418ad125b1566f6cf07
# 将高级程序转换为zk-SNARK的一般步骤

![image.png](https://img.learnblockchain.cn/attachments/2025/04/OgB0vhZ967f8c4bee4a1a.png)

![image.png](https://img.learnblockchain.cn/attachments/2025/04/h2CjVKqA67f8c453eeb3a.png)
## 1. 高级程序
![image.png](https://img.learnblockchain.cn/attachments/2025/04/vTVUOjnr67f8c47dd93a7.png)

![image.png](https://img.learnblockchain.cn/attachments/2025/04/izjG4kS767f8c4d4db4fd.png)
## 2. 约束系统
![image.png](https://img.learnblockchain.cn/attachments/2025/04/JqFtDNcu67f8c4f850250.png)

![image.png](https://img.learnblockchain.cn/attachments/2025/04/LZLEuJnE67f8c50f6de04.png)
## 3. 证明系统
![image.png](https://img.learnblockchain.cn/attachments/2025/04/2L8OqBnp67f8c53a83334.png)

![image.png](https://img.learnblockchain.cn/attachments/2025/04/JjetsNxo67f8c55fb2652.png)
## 研究方向
![image.png](https://img.learnblockchain.cn/attachments/2025/04/KGepG0ei67f8c5e9ca33a.png)

![image.png](https://img.learnblockchain.cn/attachments/2025/04/a4EyGy5v67f8c60182ea3.png)
# 证明系统
![image.png](https://img.learnblockchain.cn/attachments/2025/04/QZvTHHpd67f8c6289fc2b.png)
## 1. 基于QAP的zk-SNARKs
![image.png](https://img.learnblockchain.cn/attachments/2025/04/ibuDtpiD67f8c67d34a03.png)

![image.png](https://img.learnblockchain.cn/attachments/2025/04/LQi7eh4Y67f8c8a1543f4.png)
## 2. 基于PIOP+PCS的zk-SNARKs
![image.png](https://img.learnblockchain.cn/attachments/2025/04/F1H4kcvi67f8c8b367353.png)

![image.png](https://img.learnblockchain.cn/attachments/2025/04/Bq21KGxE67f8c92fb9d4f.png)

![image.png](https://img.learnblockchain.cn/attachments/2025/04/QaDhRkHT67f8c98c488d0.png)

![image.png](https://img.learnblockchain.cn/attachments/2025/04/4Af1wbQv67f8c9600957e.png)
### PCS的分类
![image.png](https://img.learnblockchain.cn/attachments/2025/04/DFTZzHMq67f8c9bb966ee.png)

![image.png](https://img.learnblockchain.cn/attachments/2025/04/gZZN9gKu67f8ca2aa7999.png)
# 总结
![image.png](https://img.learnblockchain.cn/attachments/2025/04/TUYAn19b67f8ca6e67f05.png)

![image.png](https://img.learnblockchain.cn/attachments/2025/04/O9OFHWrV67f8ca8167f29.png)

![image.png](https://img.learnblockchain.cn/attachments/2025/04/JPgv01Qw67f8caa1e833f.png)

![image.png](https://img.learnblockchain.cn/attachments/2025/04/I5FU0LfS67f8cab2ce44b.png)

这是一篇论文解读：SoK: Understanding zk-SNARKs: The Gap Between Research and Practice B站讲解视频：https://www.bilibili.com/video/BV1WAXvYVEZu/?spm_id_from=333.1387.upload.video_card.click&vd_source=8f4d32b059752418ad125b1566f6cf07