Introduction

This module contains followings.

Relations:

• QAP - Quadratic Arithmetic Program
• SAP - Square Arithmetic Program
• SSP - Square Span Program
• BACS - Bilinear Arithmetic Circuit Satisfiability
• TBCS - Two-input Boolean Circuit Satisfiability
• R1CS - Rank-1 Constraint System
• USCS - Unitary-Square Constraint System

zk-SNARKS (Zero-Knowledge Succinct Non-interactive ARgument of Knowledge):

• bacs_ppzksnark- - BACS PreProcessing zk-SNARK
• r1cs_gg_ppzksnark - R1CS Generic Group PreProcessing zk-SNARK (Groth16)
• r1cs_ppzksnark - R1CS PreProcessing zk-SNARK
• r1cs_se_ppzksnark - R1CS Simulation-Extractable PreProcessing zk-SNARK
• tbcs_ppzksnark - TBCS PreProcessing zk-SNARK
• uscs_ppzksnark - USCS PreProcessing zk-SNARK