Universal updatable zk SNARK protocol that supports arbitrary circuits with succinct proofs. ← Pedersen Commitment Quadratic Funding →