Enabling internal and external verification of hash-based signature computations by signing server
Methods and systems enable internal and external verification of computations performed by a code signing server according to hash-based signature techniques using unique state, and further for a code signing server to expose parts of a hash-based signature log without negating the security of the one-time signature key pairs generated by the code signing server. A signing module of a code signing server receives a signing request from a client computing system. The signing module configures the code signing server to generate a one-time signature key pair based on a Merkle tree state. The signing module configures the code signing server to issue a hash-based signature to the client computing system. The code signing server is configured to record the Merkle tree state and the issued HBS in an immutably ordered log at a logging server.
1. A computing system comprising:
one or more processing units; and one or more non-transitory computer-readable media storing computer-executable instructions that, when executed by the one or more processing units, cause the one or more processing units to:
record a Merkle tree state used to generate a one-time signature (“OTS”) key pair and record an issued hash-based signature (“HBS”) in an immutably ordered log; and
autonomously report non-reuse or reuse of a Merkle tree state recorded in the immutably ordered log, such that the reporting verifies that a Merkle tree had a particular state when used to generate an OTS key pair of a particular issued OTS, or verifies that a current Merkle tree state was not previously used to generate any OTS key pair before a signing module generates an OTS key pair in response to a signing request.
2. The computing system of claim 1 , wherein the instructions further cause the one or more processing units to receive an internal state query including an internally queried Merkle state.
3. The computing system of claim 2 , wherein the instructions further cause the one or more processing units to look up the internally queried state in the immutably ordered log, returning if either no HBS or only one HBS is associated with the internally queried state.
4. The computing system of claim 3 , wherein the instructions further cause the one or more processing units to compare the internally queried HBS with the returned HBS.
5. The computing system of claim 1 , wherein the recorded Merkle tree state is a state of a Merkle tree used to generate an OTS key pair of the HBS, and the Merkle tree state and the HBS are recorded separately in association in an entry of the log.