Supersonic SNARKs and Applications

Abstract

Supersonic is a transparent SNARKs proposed by Bünz et al. It has a significant improvement in proof size over previous constructions, while maintaining fast verification time. We summarize and implement Supersonic. The implementation is parallel and has good verifier performance. We run Supersonic on SHA-256 circuit and exponentiation-by-squaring circuit and provide experimentation results.