What does "rank one" in "rank one constraint system" mean?

Asked Feb 24 '22 at 13:23

Active Jun 28 '23 at 12:07

Viewed 121 times

Although rank one constraint system (r1cs) is heavily used in zero-knowledge proofs, I didn't find anywhere details on where the rank comes from.

edited Jun 28 '23 at 12:07

asked Feb 24 '22 at 13:23

omg

2

See this post – Mauro ALLEGRANZA Feb 24 '22 at 13:25
I've read that post before,it's not clearly answered IMHO. It didn't explain why something like A*B+C = 0 is a rank one constraint. – omg Feb 24 '22 at 13:27
1

A rank-one matrix is the product of two vectors. – Mauro ALLEGRANZA Feb 24 '22 at 13:46
@MauroALLEGRANZA can you be more specific about how it relates with A*B+C = 0 ? – omg Feb 24 '22 at 14:16
It's even not clear which matrix it's referring to. – omg Feb 24 '22 at 14:39

0 Answers0