8
$\begingroup$

Why not rank-2 constraint system or rank-3 constraint system?

How do rank-1 constraint systems link to circuits?

$\endgroup$

1 Answer 1

6
$\begingroup$

The "rank-1" specifically refers to the rank of the matrix which is produced.

As for the link to circuits, in zk-SNARKS at least, an arithmetic circuit is converted into a R1CS. Each constraint corresponds to one logic gate.

Here's a more detailed walkthrough by Vitalik Buterin: https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649

$\endgroup$
4

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.