精读Groth16算法
目前为止证明长度最短的SNARK方案
目前为止证明长度最短的SNARK方案
Groth16有点似懂非懂,看一下之前的方案
看ZKP的论文经常遇到环签名,下学期打密码赛也可能会用到,提前学一下
正式介绍DAP的实例化Zerocash
接下来展示如何利用zk-SNARKs构造DAP方案,以及方案中一些其他的组件,下一章会给出了这个构造的一个实例化
本部分继续介绍分布式匿名支付方案的概念
主要按照论文的思路简单回顾一下zk-SNARKs
最早由Uriel Feige、Amos Fiat、Adi Shamir提出,一种利用用户身份完成认证和签名的方案
一篇2021 NDSS的论文
2021NDSS PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification的精读与思考