Who knew Polynomial commitments and bilinear pairings would be the way!
530