Android app for verifying cryptographic proofs