Sublinear-Space Zero-Knowledge Proofs: Ein Durchbruch

Forscher haben SSZKP entwickelt, ein Zero-Knowledge-Proof-System mit sublinearem Speicherplatz und einer Rust-Implementierung unter Verwendung von KZG/BN254. Es erreicht eine Speichernutzung von O(√T) für eine Spur der Länge T, wobei blockweise IFFTs und Streaming-Akkumulatoren verwendet werden. SSZKP verwendet standardmäßige KZG-Commitments, ohne ganze Polynome zu puffern, und bietet einen hocheffizienten Ansatz zum Aufbau skalierbarer zk-Systeme. Das Projekt umfasst vollständige CLI-Tools für Prover und Verifier sowie End-to-End-Testskripts.