├── Base                         // Containing abstract class
│   ├── Circuit.py               // Abstract circuit class. All custom circuit class should inherit from this class
│   ├── Gate.py                  // Abstract gate class, add gate class, constant multiplication gate class, and multiplication gate class
│   ├── ParallelSum.py           // Parallel sum circuit class. It is used for recursive linear IOP.
│   ├── ParallelSumRootM.py      // Parallel sum circuit class. It is used for short proofs for parallel circuit.
│   └── GGate.py                 // Abstract G-gate class. All custom G-gate class should inherit from this class
├── Custom                       // Containing User custom circuit
│   ├── InnerProductGGate.py     // Custom G-gate to perform inner product
│   ├── InnerProductCircuit.py   // Custom circuit containing only one inner product G-gate
│   └── ComplexCircuit.py        // Custom circuit containing many add gate, cmul gate, and inner product G-gate
├── Unit                         // Calculation unit
│   ├── Operand.py               // Abstract class of all operand class of circuit and G-gate
│   ├── Integer.py               // Modular Integer
│   ├── Proof.py                 // Proof vector
│   ├── Query.py                 // Query vector
│   └── Polynomial.py            // Containing polynomial coefficient vector
├── Pipfile
├── Pipfile.lock
├── TestComplexCircuit.py                     // Run this .py file to test FLPCP for complex circuit
├── TestInnerProductParallelSum.py            // Run this .py file to test recursive linear IOP for parallel-sum inner product circuit
├── TestInnerProductParallelSumWithoutIOP.py  // Run this .py file to test short proofs FLPCP for parallel-sum inner product circuit
└── TestInnerProductCircuit.py                // Run this .py file to test FLPCP for simple inner product circuit