Give AlbumentationsX a star on GitHub — it powers this leaderboard
A STARK prover and verifier for arbitrary computations