https://9lib.org/document/zkw6jww1-on-generating-snarks.html