Julia implementation of "Proofs of Useful Work from Arbitrary Matrix Multiplication" by Ilan Komargodski and Omri Weinstein.