Feature request: Adding writing of circuits

[nicola]

Hey @howardwu, great to see this tutorial, I wonder if you could add few more paragraphs on how to write circuits, in particular what are the different functions/methods/strategies for writing circuits, let us know how the community can also support this!

[oleiba]

+1

[ariary]

@nicola I think you should take a look at the tutorial.cpp file of gadget2lib directory of libsnark library. It seems to be a construction of R1CS. I can't tell more for now but I think if we understand how to manage with this file then we have to replace the line : r1cs_gg_ppzksnark_keypair<ppT> keypair = r1cs_gg_ppzksnark_generator<ppT>(example.constraint_system);

I will go back if I have news