Solidity verifier for the Spartan-WHIR SNARK over the KoalaBear field - View it on GitHub