R1CS (Rank-1 Constraint System)
Compressão ZK · Fundo
Formato de restrição aritmetica usado para representar computacoes como sistemas de equacoes para geracao de provas de conhecimento zero. Programas sao compilados em restrições R1CS da forma A * B = C, onde A, B, C sao combinacoes lineares de variaveis. Groth16 e outros SNARKs usam R1CS como sua camada de representacao de computação.