Part of our ZKP for exclusion of CT log entries implemented in ZKPDL for purposes of measuring performance