Buobe
    A Time-Space Tradeoff for the Sumcheck Prover | Buobe