Suggest a link

Suggesting a link for: Lighter and Eigen advance ZK prover optimization via autoresearch challenge