Downloadable computer software for generating, recording, and verifying cryptographic commitments of digital data and files