A succinct zero-knowledge proof system with fast verification and compact proof size.