STARK proof system developed by Ciphercurve
rust open-source research prototype proof-of-concept stark risc-v sp1 zk-starks proof-system starknet risc0 proving-system polynomial-math folding-scheme foundational-research ciphercurve
-
Updated
Jul 12, 2025 - Rust