summaryrefslogtreecommitdiff
path: root/src/zklaim
AgeCommit message (Expand)Author
2018-08-18fixzklaimSchanzenbach, Martin
2018-08-18proving worksSchanzenbach, Martin
2018-08-17cleanupSchanzenbach, Martin
2018-08-17proving worksSchanzenbach, Martin
2018-08-17proving key still missingSchanzenbach, Martin
2018-08-17issue doneSchanzenbach, Martin
2018-08-17add prove and issueSchanzenbach, Martin
2018-08-17copyrightSchanzenbach, Martin
2018-08-17towards zklaim proveSchanzenbach, Martin
2018-08-16store to nsSchanzenbach, Martin
2018-08-16add serviceSchanzenbach, Martin
2018-08-16start zklaim serviceSchanzenbach, Martin
2018-08-16simplifySchanzenbach, Martin
2018-08-16start zklaim integration againSchanzenbach, Martin
2018-08-16fixSchanzenbach, Martin
2018-08-16start zklaimSchanzenbach, Martin