Buckler: Fast Zero Knowledge Proofs for Multi-Party HE Keys & Ciphertexts This is a fork of Ringo-SNARK. Please refer to the original repository for detailed usage.