GitHub repository: oraclize/proof-verification-tool
Primary language: JavaScript
Description: Tool to verify the proofs generated by Oraclize