R1CS (Rank-1 Constraint System)
Compresión ZK · Fondo
Un formato de restricción aritmetica usado para representar computaciones como sistemas de ecuaciones para la generación de pruebas de conocimiento cero. Los programas se compilan en restricciones R1CS de la forma A * B = C, donde A, B, C son combinaciones lineales de variables. Groth16 y otros SNARKs usan R1CS como su capa de representacion de computación.