zk-SNARK A messy C implementation of a zk-SNARK1 for polynomial roots as described in this paper. 1This is currently a zk-SARK as it isn't non-interactive just yet.