VOProof: Efficient zkSNARKs from Vector Oracle Compilers

Abstract The design of zkSNARKs is increasingly complicated and requires familiarity with a broad class of cryptographic and algebraic tools. This complexity in zkSNARK design also increases the difficulty in zkSNARK implementation, analysis, and opt...