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