I was reading Vitalik Buterin's post on ZK-snarks and I need some clarification on some points . since there aren't that many posts and articles regarding the subject , I had no choice other than turning to stackexchange . here is the post : https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649
first I need to know what does he mean by saying " There is a standard way of converting a logic gate into a (a, b, c) triple depending on what the operation is " ? is he pointing to a specific topic in math ? why triple ? googled R1CS . not that many results came up.
secondly , why use the variable "one" . why assign the variables in a particluar order which is : "one" "x" "out" ... etc . why 3 vectors ? and HOW does that exactly work ? ESPECIALLY assigning the variables at the 3rd gate is a bit not clear .
I know these are too many questions and even though I really appreciate any help that I can get , yet I don't expect you to answer every single question.however , if you could point me to the topics,keywords,etc... which describe the methods used therein ,perhaps I could work my way to the end of this article . i wish someone would have wrote a complementary post on this article instead of repeating the sudoku example over and over again . all you can find is either really heavy math papers or waldo analogy . nothing in between .
p.s : i have read posts on zcash blog. still not clear on R1CS and QAP . and scientific papers are too math heavy ...! thanks in advance