Rank-1 Constraint Systems (R1CS)
This method converts computations into a system of constraints, expressed as polynomial equations. These equations must be satisfied by input values for a valid zk-SNARK proof.
Preset
n8
Number of inputs in 8-bit encoding.
Constraints
Number of mathematical equations and conditions to verify the proof.
Variables
Number of variables involved in the computation.
Public Inputs
Number of values that are known and available to both the prover and the verifier.
Private Inputs
Secret values that the prover wants to prove.
Labels
Number of identifiers assigned to different elements within an arithmetic circuit. These elements include inputs, outputs, gates (operations), and wires (intermediary values).
Outputs
The final values produced by the circuit after all operations are performed.
{}