# Reproducing and verifying E38

1. Download every file of this bundle (keep the sub-directories).
2. Save `E38_VERIFIER/verify_e38.py.txt` as `verify_e38.py`; `pip install cryptography`.
3. `python3 verify_e38.py .` -- `result` must be `INTACT`. The verifier recomputes every proof verdict itself and must reject every object in MALICIOUS.json.

Implementation source is not published; E38_SIGNATURES.json carries sha256 commitments to it.
