Introduction Over the last decade, SNARKs (succinct, non-interactive arguments of knowledge) and STARKs (scalable, transparent arguments of knowledge) have been gaining attention due to their applications in verifiable private computation and scalability of blockchains. Groth introduced this proof system in 2016 and saw an early application in ZCash. The protocol
