Submit a story or source

Suggesting a link for: Research post describes a machine-checked core for GKR proofs and a sparse prover made faster with byte-identical proofs