Supporting code
Modular Localization for Private Field Encodings
Work in progress. Not all claims have been verified by a human.
Run these commands from the code directory:
python3 -m pip install -r requirements.txt
python3 checks/check_constructions.py