Rank-1 Constraint System (R1CS) & Quadratic Arithmetic Program (QAP)
Generate R1CS
Witness vector
Nhập biểu thức và bấm "Generate R1CS" để tạo các ô nhập witness.
Auto Fill Values
Generate QAP (prime order p = 47)