Here are the implementations and benchmarks referenced in the sum-check protocol explained in the blog posts. Tests cargo test Benchmarks cargo bench