### 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.

{}