🌕

zkSNARKS (Ongoing)

Arithmetization

if(x == 10 || x == 15 || x == 25 ) {
	return 1;
} else {
	return 0;
}

R1CS - Rank 1 Constraint System

w0w1w2w3w4w5w6w7w8
1151515500-100

R1CS example in detail

Quadratic Arithmetic Program - QAP

Resources