0
$\begingroup$

I'm trying to understand the step-by-step zkSNARK's generation process for proving the knowledge of the hash pre-image (as in this example). However, I don't understand how exactly SHA-256 is turned into QAP. Do you know any references that might be helpful?

P.S. It seems both libsnark and ZoKrates already did it, but I don't see any theoretical explanation and/or article.

$\endgroup$

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.