Verification The scalar certificate checker uses only Python 3's standard library and exact rational arithmetic. From this paper's root directory, run: ...