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

How do rank-1 constraint systems link to circuits?


1 Answer 1


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


Your Answer

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

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