Is there a well maintained, preferably documented, Sigma protocols compiler library? i.e. takes an abstraction of statements to prove, and outputs a cryptographic protocol between verifier and prover?
A search yielded that paper, but it seems to point a library in which I don't find any code.

  • $\begingroup$ My two cents. Cryptographic protocols should be thoroughly thouth through. Then they will not change very frequently. So, what is the real benefit having a compiler? $\endgroup$
    – user27950
    Jul 12 '18 at 20:58
  • $\begingroup$ Your thought can be equivalently applied to all cryptographic schemes, and clearly there are many useful cryptographic compilers out there, which defeats your point. Generally, compilers come to automate such processes which seem to fit into repetitive patterns. A witness to that claim is the attached paper itself... $\endgroup$
    – oleiba
    Jul 13 '18 at 18:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.