ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
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演示，可以在网页中完成证明、验证等操作。オープンソースプロジェクトであるstwo-web-starkは、Cairoプログラムをstwoプロバーで証明するための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协议。Angold Wangはのレビューで検証可能な計算について概説しており、基礎的な計算量理論から現代のZK-SNARKsまでを扱い、インタラクティブ証明システム、知識複雑性、およびエラー検出と検証プロトコルにおける低次多項式の応用を探求し、最終的にGKRプロトコルに焦点を当てています。