Python Rekor Monitor

Usage

To fetch the latest checkpoint from the rekor server: python main.py -c or python main.py --checkpoint
To verify that a particular log index is included in the transparency log as of now and verify the signature on that artifact stored in the transparency log: python main.py --inclusion <logIndex> --artifact <artifactFilePath>
To verify that an older checkpoint is consistent with the latest checkpoint on the rekor server: python main.py --consistency --tree-id <treeID> --tree-size <treeSize> --root-hash <rootHash> Tree ID, tree size and root hash from the older checkpoint.

Add an artifact to the Rekor transparency log using the cosign tool. Verify that the entry was successfully included in the transparency log.
Verify the consistency of the rekor transparency log, i.e that the new entry that was append only to the log.

Create an artifact (binary) that will be signed with entry being stored in the rekor log.
Use the cosign tool to sign the artifact using your email id and store the signature and certificate that was used to sign it. (bundle command)
Get checkpoint of the rekor public instance transparency log. "--checkpoint"
a. Verify that the artifact is in the transparency log by getting a merkle proof and verifying it offline (use merkle_proof api) "--inclusion " b. Verify that the artifact signature is correct (use crypto api)
At any point in time, can verify that the consistency of the checkpoint which had our entry added and the latest checkpoint by verifying the consistency proof. Just need the old checkpoint details: tree id, tree size, and root hash. Verifying consistency of a checkpoint till the latest checkpoint.

For consistency verification, you need the old and new checkpoint details (treeSize, rootHash, treeID) and the hashes to generate a merkle proof to show that the old checkpoint exists in the new checkpoint.
For inclusion verification, you need the