Currently only loads existing proofs and can't run cannon to generate them.
Attach a file by drag & drop or click to upload
