Abstract: Disclosed are a computer-hosted database system providing cryptographic verifiability and comprising an immutable key-value data store and cryptographic proof data (which may be stored in a Merkle Hash Tree). The logical structure of a data record is defined by a rich data model and comprises a first field and a second field. Disclosed is a method that comprises receiving an instruction requesting retrieval of first field data and returning the data stored in the first field and cryptographic proof data sufficient to prove data originality of the first field data without knowledge of the data in the second field. The rich data model may be a relational data model or a document data model.

Abstract: Disclosed are a computer-hosted database system providing cryptographic verifiability and comprising an immutable key-value data store and cryptographic proof data (which may be stored in a Merkle Hash Tree). The logical structure of a data record is defined by a rich data model and comprises a first field and a second field. Disclosed is a method that comprises receiving an instruction requesting retrieval of first field data and returning the data stored in the first field and cryptographic proof data sufficient to prove data originality of the first field data without knowledge of the data in the second field. The rich data model may be a relational data model or a document data model.

Abstract: Cryptographically-verifiable immutable database systems and methods for permanently deleting transaction value data from the immutable database system, preserving transaction verification data. Database schema data may be preserved when transaction value data is deleted.

Abstract: Disclosed is an SBOM-reporting software program product that generates dynamic software bill of materials (SBOM) data for a software application during execution of the software application. Dynamic SBOM data identifies currently loaded dependencies of the software application. The program instructions for generating dynamic SBOM data are included in the software application. Also disclosed is a computer system for locating potentially-exploitable software dependencies comprising one or more computers comprising one or more SBOM-reporting software applications programmed to generate dynamic SBOM data. The computer system includes an SBOM server that can request of receive dynamic SBOM data from the SBOM-reporting software applications and may also include an SBOM collector that collects dynamic SBOM data from the SBOM-reporting applications.

Abstract: Disclosed herein are computer-implemented methods of, and computer systems for, constructing dual cryptographic proofs for transactions where transaction data is stored in a cryptographically-linked data file and in an incremental hash tree, where a dual cryptographic proof includes linear cryptographic proof data from the cryptographically-linked transaction file and binary cryptographic proof data from the incremental hash tree. The transaction may include one or more key-value pairs.

Abstract: Disclosed are a computer-hosted database system providing cryptographic verifiability and comprising an immutable key-value data store and cryptographic proof data (which may be stored in a Merkle Hash Tree). The logical structure of a data record is defined by a rich data model and comprises a first field and a second field. Disclosed is a method that comprises receiving an instruction requesting retrieval of first field data and returning the data stored in the first field and cryptographic proof data sufficient to prove data originality of the first field data without knowledge of the data in the second field. The rich data model may be a relational data model or a document data model.