3505 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Dennis Kuhnert	f132c9fbea	Code cleanup, fix typos	2017-01-30 01:08:59 +01:00
Dennis Kuhnert	9e3d4bed6b	Add witness calculation; Add complete run of libsnark	2017-01-30 00:50:35 +01:00
Dennis Kuhnert	9d6991784b	Add libsnark "is_satisfied" binding with [0, 0, .., 0] solution vector test.	2017-01-29 16:59:13 +01:00
Dennis Kuhnert	840ba4b57b	First basic implemntation for code to r1cs	2017-01-27 23:45:24 +01:00
Dennis Kuhnert	cabe205949	Initial commit	2017-01-27 19:08:59 +01:00