Structs§
- Statement
- Statement is the input of the prover, which contains the constraints. All parameters are from line 1, st, in the verifier process, page 18 from the paper.
Functions§
- calculate_
b_ constraint - calculate b^{k} = \sum(a_{ij}^{k}<s_i, s_j>) + \sum(<phi_{i}^{k}, s_i>), k \in [K] in Prover initialization process, page 17 from the paper.