Expander, an open-source GKR prover designed for scaling large-scale parallel computing. - View it on GitHub