Add "make lib" and tell about it in README
doxygen.conf: minor typo
Update authorship information.
Rename profile_r1cs_ppzksnark to demo_r1cs_ppzksnark and do additional directory re-structuring.
Update gadgetlib1 to support linear combinations as first-class
objects and add functionality to report constraints that would benefit
from linear combination inlining.
Update gadgetlib2 documentation.
Abstract away double-and-add pattern in exponentiations.
Inline point equality check in G1/G2 operator+ so temporary results are reused.
fast_add_special: support for faster addition formulas when one of the
points is of special form. Improves performance for ppzkSNARK prover
when witness is mostly 0/1 valued at slight pre-processing cost in the
ppzkSNARK key generator.
QAP documentation updates.
add gadgetlib1 gadget base class