Open ariary opened 6 years ago
how to translate our problem to a RC1S form?
Do you want to translate from a QAP to R1CS?
How can I plug it with the code?
Here is an example of how to make a r1cs from input matrixs https://github.com/JacobEberhardt/ZoKrates/blob/develop/lib/wraplibsnark.cpp#L76
@barryWhiteHat no, from a generic problem (for example: we want to prove that we know the pre-image of hash) to a R1CS.
I try the qed-it "tutorial" to understand more deeply but I have to admit that it is a little bit tricky
If you want a generic programing language you could check https://github.com/JacobEberhardt/ZoKrates https://github.com/akosba/jsnark https://github.com/o1-labs/snarky
Hi everyone! I have 1 theorical question and one technical.
Theorical:
zk-SNARKs can be applied to any QAP (Quadratic Arithmetic Program). Thus, when we want to use our problem with zk-SNARK we have to "translate" (compile) it in a QAP form. here is the path to follow: problem --> Algebric circuit --> RC1S-->QAP Here is my question: how to translate our problem to a RC1S form? For example, if I want to prove that I know the secret value of a transaction (like in Zcash) how can I modelize it?
Technical:
Now admit that we have our problem modelize in the right form. How can I plug it with the code? For example the following R1CS system:
with witness:
[1, 3, 35, 9, 27, 30]
The flattened code is: