Mithril Snarkification: a SNARK-friendly variant of the Mithril multi-signature protocol - View it on GitHub