ZKP Applications Overview & zkBridge
ZKP MOOC的第14课,介绍一些ZKP的应用场景和zkBridge跨链
ZKP MOOC的第14课,介绍一些ZKP的应用场景和zkBridge跨链
ZKP MOOC的第7课,介绍如何利用线性码构建多项式承诺
如何利用简洁性来获取NP类的零知识性
ZK-Harness项目的一些Benchmark
SNARK的安全性目前还是一个比较混沌的问题,缺乏标准化和形式化的分析
介绍一下Nova的核心流程,其实很简单
一个专为增量可验证计算(IVC)设计的zkSNARK
Flashproof对范围证明和多项式求值证明做了特殊的优化
介绍后续的协议实现
Libra协议基于GKR协议和zkVPD构建,具有最佳Prover Time和简洁的证明大小与Verifier Time