GitHub repository: AntCPLab/HyperPianist
Primary language: Rust
Description: The repo of "HyperPianist: Pianist with Linear-Time Prover and Logarithmic Communication Cost (SP2025)"