Incremental verification of tamper-resistant ledger

A system comprising:

• a processor;
• and
• a memory device that stores program code structured to cause the processor to:
• obtain a first proof associated with a verification of the integrity of a tamper-resistant ledger at a first point in time;
• obtain, at a second point in time occurring after the first point in time, entries added to the tamper-resistant ledger between the first point in time and the second point in time;
• perform, based on the first proof value and the entries added to the tamper-resistant ledger between the first point in time and the second point in time, a second proof to verify the integrity of the tamper-resistant ledger at the second point in time;
• and
• provide the second proof to a server that maintains periodic proofs associated with periodic verifications of the integrity of the tamper-resistant ledger at periodic points in time, the periodic proofs enabling a verifier to incrementally verify the integrity of the tamper-resistant ledger by incrementally verifying the periodic proofs.

A computer-readable storage medium comprising executable instructions that, when executed by a processor, cause the processor to:

• obtain a first proof associated with a verification of the integrity of a tamper-resistant ledger at a first point in time;
• obtain a second proof associated with a verification of the integrity of the tamper-resistant ledger at a second point in time occurring after the first point in time;
• obtain, from the tamper-resistant ledger, entries added to the tamper-resistant ledger between the first point in time and the second point in time;
• verify, based on the first proof, the second proof, and the entries added to the ledger between the first point in time and the second point in time, the integrity of the tamper-resistant ledger between the first point in time and the second point in time;
• and
• responsive to verifying the integrity of the tamper-resistant ledger, perform an action.