ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Wed 星期三
01.15
2025
https://github.com/Okm165/stwo-web-stark
stwo-web-stark is an open-source project that provides a web demonstration for proving Cairo programs using the stwo prover, allowing proof generation and verification to be performed in a browser. 开源项目stwo-web-stark，提供使用stwo证明器证明Cairo程序的Web演示，可以在网页中完成证明、验证等操作。
https://eprint.iacr.org/2025/008
Angold Wang reviews verifiable computation in , covering topics from foundational complexity theory to modern zkSNARKs, discussing interactive proof systems, knowledge complexity, and the application of low-degree polynomials in error detection and verification protocols, ultimately focusing on the GKR protocol. Angold Wang在综述中审视了可验证计算，从基础复杂性理论到现代ZK-SNARKs，探讨了交互式证明系统、知识复杂性及低次多项式在错误检测和验证协议中的应用，最终落脚在GKR协议。