A tool for verifying game-hopping proofs
Project description
ProofFrog
A work in progress
Installation:
pip3 install -r requirements.txt
pip3 install -r requirements-dev.txt
Commands:
To use the proof engine: python3 proof_frog prove [proof_file]. As of right now, the only proofs working are 'examples/Proofs/SymEnc/OTUC=>OTS.proof' and 'examples/Proofs/SymEnc/CPA$=>CPA.proof'.
You can also parse any type of file (scheme, proof, game, or primitive) using python3 proof_frog parse [file]. It will read the file, transform it into an internal AST representation, stringify the representation, and print it back out to the screen.
The bash files testParsing.sh ensures that the ANTLR grammar can parse each file in the examples folder. testAST.sh parses each file with proof_frog, strips the whitespace, and diffs it with the original file to ensure that the AST output matches the file input.
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file proof_frog-0.1.0.tar.gz.
File metadata
- Download URL: proof_frog-0.1.0.tar.gz
- Upload date:
- Size: 165.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: python-requests/2.31.0
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
6c63a187c049d1db22757c9af4caa551996a98011943b49122cc16ffd55f0b28
|
|
| MD5 |
d3c1c4b0962ea0b6c32e6656eb441410
|
|
| BLAKE2b-256 |
c663746b579c9ff0b245fb983b377a175a6377546a665ceb28c615febe602f43
|
File details
Details for the file proof_frog-0.1.0-py3-none-any.whl.
File metadata
- Download URL: proof_frog-0.1.0-py3-none-any.whl
- Upload date:
- Size: 163.3 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: python-requests/2.31.0
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
734f477ad0f74ca5959e0e90bbb11a71931351fad0a053b6022e018c85a17d17
|
|
| MD5 |
55d868605f9f42444f51b77386b8a7cb
|
|
| BLAKE2b-256 |
9da6949db41363c49cedb721afd16c5d6861f36f8ba5efb86f40170e7e281004
|
