Code transparency system operation
The disclosed technology is generally directed to code transparency. In one example of the technology, a claim associated with an application is received. The claim is a document that is signed with a claim signature and that includes evidence associated with a policy, and further includes an expected set of at least one binary measurement associated with the application. The evidence is cryptographically verifiable evidence associated with the application. A trusted execution environment (TEE) is used to provide a distributed ledger. The claim is verified. Verifying the claim includes verifying the expected set of at least one binary measurement associated with the application, verifying the claim signature, and, based at least on the evidence, verifying that the application meets the policy. Upon successful verification of the claim, the claim is appended to the distributed ledger. A ledger countersignature associated with the claim is generated.
1. An apparatus, comprising:
a device including at least one memory having processor-executable code stored therein, and at least one processor that is adapted to execute the processor-executable code, wherein the processor-executable code includes processor-executable instructions that, in response to execution, enable the device to perform actions, including:
receiving a first claim that is associated with a first application, wherein the first claim is a document that is signed with a claim signature and that includes first evidence that is associated with a first policy, and further includes an expected set of at least one binary measurement associated with the first application, wherein the first evidence is cryptographically verifiable evidence that is associated with the first application;
using a first trusted execution environment (TEE) to:
provide a distributed ledger;
verify the first claim, wherein verifying the first claim includes verifying the expected set of at least one binary measurement associated with the first application, verifying the claim signature, and, based at least on the first evidence, verifying that the first application meets the first policy; and
upon successful verification of the first claim:
append the first claim to the distributed ledger; and
generate a first ledger countersignature that is associated with the first claim, wherein the first ledger countersignature includes a signature of a root of a tree of the distributed ledger.
2. The apparatus of claim 1 , wherein the first ledger countersignature includes a cryptographic construction that includes proof that at least the first evidence has been stored on the distributed ledger.
3. The apparatus of claim 1 , wherein the first ledger countersignature is associated with at least one guarantee, and wherein the at least one guarantee includes a guarantee of auditability of the first application.
4. The apparatus of claim 1 , wherein the first ledger countersignature is associated with at least one guarantee, and wherein the at least one guarantee includes a guarantee of detection of misbehavior of the first application.
5. The apparatus of claim 1 , wherein the first policy is a policy of archiving source code of the first application.
6. The apparatus of claim 1 , wherein the first policy is a policy of reproducibly building a binary of the first application.
7. The apparatus of claim 1 , wherein the first claim is signed with the claim signature using distributed identity key management.
8. The apparatus of claim 1 , the actions further including:
executing a first instance of a service that is associated with the first application; and
upgrading the first instance of the service to a second instance of the service, the upgrading including:
launching the second instance of the service;
causing a transfer at least one secret of the first instance from the first instance to the second instance;
causing the first instance to verify whether a claim that is associated with the second instance has been successfully verified by the first TEE;
upon successful verification by the first instance that the second instance has been successfully verified by the first TEE, causing the first instance to update a signing key that is associated with the first instance and to share the updated signing key with the second instance; and
recording information that is associated with the upgrade on the distributed ledger.
9. The apparatus of claim 1 , wherein the first claim further includes second evidence that is associated with a second policy, the second evidence is cryptographically verifiable evidence that is associated with the first application, and wherein verifying the first claim further includes, based at least on the second evidence, verifying that the first application meets the second policy.
10. The apparatus of claim 9 , wherein the first policy is a policy of archiving source code of the first application, and wherein the second policy is a policy of reproducibly building a binary of the first application.
11. A method, comprising:
at a first code transparency service (CTS) instance, receiving a first claim that is associated with a first application, wherein the first claim is a document that is signed with a claim signature and that includes first evidence that is associated with a first policy, and further includes an expected set of at least one binary measurement associated with the first application, wherein the first evidence is cryptographically verifiable evidence that is associated with the first application, and wherein the first policy is a policy of archiving source code of the first application;
using a first trusted execution environment (TEE) operating in the first CTS instance to:
provide a distributed ledger;
perform CTS validation of the first claim, wherein performing the CTS validation of the first claim includes verifying the expected set of at least one binary measurement associated with the first application, verifying the claim signature, and, based at least on the first evidence, verifying that the first application meets the first policy; and
upon successful CTS validation of the first claim:
store the first claim on the distributed ledger; and
provide a first ledger countersignature that is associated with the first claim.
12. The method of claim 11 , wherein the first policy is a policy of reproducibly building a binary of the first application.
13. The method of claim 11 , wherein the first claim further includes second evidence that is associated with a second policy, the second evidence is cryptographically verifiable evidence that is associated with the first application, and wherein performing CTS validation of the first claim further includes, based at least on the second evidence, verifying that the first application meets the second policy.
14. The method of claim 11 , wherein the first ledger countersignature is associated with at least one guarantee, and wherein the at least one guarantee includes a guarantee of auditability of the first application.
15. A processor-readable storage medium, having stored thereon processor-executable code that, upon execution by at least one processor, enables actions, comprising:
on a first trusted execution environment (TEE) that is operating on a first code transparency service (CTS) instance, verifying a first claim, wherein the first claim is a document that is signed with a claim signature and that includes first evidence that is associated with a first policy; wherein the first claim includes an expected set of at least one binary measurement associated with a first application; wherein the first evidence is cryptographically verifiable evidence that is associated with the first application; wherein the first policy is a policy of reproducibly binding a binary of the first application; and wherein verifying the first claim includes: verifying the expected set of at least one binary measurement associated with the first application, verifying the claim signature, and, based at least on the first evidence, verifying that the first application meets the first policy; and
via the first TEE, upon successful verification of the first claim:
appending the first claim to a distributed ledger that is provided by the first TEE; and
generating a first ledger countersignature that is associated with the first claim.
16. The processor-readable storage medium of claim 15 , wherein the first policy is a policy of archiving source code of the first application.
17. The processor-readable storage medium of claim 15 , wherein the first claim further includes second evidence that is associated with a second policy, the second evidence is cryptographically verifiable evidence that is associated with the first application, and wherein verifying the first claim further includes, based at least on the second evidence, verifying that the first application meets the second policy.