什麼是 rank-1 約束系統？

為什麼不是 rank-2 約束系統或 rank-3 約束系統？

rank-1 約束系統如何連結到電路？

“rank-1”特指生成的矩陣的秩。

至於電路的連結，至少在zk-SNARKS中，一個算術電路被轉換成一個R1CS。每個約束對應一個邏輯門。

這是 Vitalik Buterin 更詳細的演練：https ://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649

引用自：https://crypto.stackexchange.com/questions/67857