GitHub repository: pinargulsen/kroma-prover
Description: zk prover for Kroma network