Ascon:轻量级IoT设备加密算法
前段时间经过了NIST的最终筛选
前段时间经过了NIST的最终筛选
Seek you in the vast sea.
Justin Thaler教授2022年8月在a16z上的演讲,第二部分简要介绍Rollup相关知识
Justin Thaler教授2022年8月在a16z上的演讲,第一部分简要介绍SNARK的一些背景
去年就开坑的paper,当时个人理解不足没看懂,文中有一个很巧妙的点来减少Verifier的开销
一个很简单又很巧妙的协议,不知道为啥半年前的自己看不懂
本部分介绍一下TinyRAM程序零知识证明系统中的各个子关系
以零知识的方式验证TinyRAM程序的正确执行,文章也提出了查表的概念,本篇先介绍一些概念和证明总体框架
利用快速傅氏变换来进一步优化Verifier的计算开销,不过代价是增加Prover的计算开销
MSM又是ZKP协议中非常常见的一个基本算法