Mithril Threat Model
This document is a draft version of the Mithril threat model prepared by the Mithril core team:
- We expect to receive external feedback and contributions before we can consider it final.
- Feel free to contribute to this document by using the Edit this page link a the bottom of the page.
- If you think there is a security vulnerability in Mithril, please disclose it responsibly by following the Security Vulnerability Disclosure Policy.
This document provides an analysis of the various security threats and possible mitigations that could affect the Mithril network and its participants.
This is an adversarial mindset document and aims to analyse the system from an attacker's perspective.
The threat model is a living document and is kept up-to-date with the latest Mithril version
System analysis​
System description​
- Maybe reduce and move details into architecture page?
- Also we should update the protocol page
System consists of three main components: signers, aggregator and clients.
Mithril signers do certify Cardano chain data using a Mithril signing key. That means, Mithril signers need access to a trusted cardano-node
and the Mithril signing key to operate.
Mithril signing keys are rotated every epoch and need to be certified by the Cardano KES key. For this, the Mithril signers need access to the KES key in order to register the signing key for this epoch.
Cardano KES keys are also used by block producing cardano-node
and are typically located on the block producing machine.
Cardano KES keys need to be evolved every 36 hours, while they can be rotated from a root key when needed.
Is there a Cardano threat model about this?
All Mithril signers and Mithril clients connect to a single aggregator using HTTP over TLS.
Registering a Mithril signing key means that a signer sends its corresponding verification key to the aggregator, for the purpose of distribution to all other Mithril signers.
A Mithril aggregator coordinates creation of signatures by all registered signers. Mithril signers do ask the aggregator whether a signature is pending on a regular basis. The aggregator responds with information what to sign and a list of public information about all registered signers.
Each Mithril signer verifies the information, produces a signature of the requested information to sign and submits that to the aggregator (which verifies the signature being correct upon receiving).
The aggregator repeatedly checks whether enough valid signatures (to reach the quorum) are available to aggregate a Mithril stake-based multi-signature into a certificate.
Mithril certificates are certifying some chain data using an aggregated multi-signature verification key and are chained up to some genesis certificate, which is signed by a genesis signing key.
Mithril clients do connect to an aggregator using HTTP over TLS to query Mithril certificates for certified chain data and locate artifacts.
A Mithril client can verify the received Mithril certificate is linked to other certificates up to the genesis certificate and can be verified using the Mithril genesis verification key (see details).
Missing: the currently recommended relay (reverse proxy)
Deployment architecture​
This document is specifically targeting the standard deployment architecture where a Mithril signer runs next to the block producing node, while access to the Mithril aggregator is only done through a relay.
More information are available at:
External Dependencies​
Listing dependencies for mithril-signer
% cargo-deps-list -e normal -p mithril-signer
...
slog-json v2.6.1 {default}
slog-scope v4.4.0
arc-swap v1.6.0
Total dependencies: 267
- SPOs infrastructure:
- Block producing host configuration
- Relay hosts configuration
- Firewall/private network
Entry Points​
- mithril-aggregator HTTP port
- mithril-relay HTTP port
Assumptions​
The core Mithril protocol is considered safe and its analysis is out of scope for this document, it is computationally infeasible to:
- Forge a valid aggregate signature from forged signing keys
- Forge individual signatures impersonating one of the signers
More information about the core Mithril protocol and its security are available in the research paper.
Assets​
For each asset we first identify what protection is required: Availability, Confidentiality, Integrity ie. the CIA Triad. An asset may be a resource, piece of data (e.g. keys) or a process that may be affected.
We then identify threats and countermeasures
KES private keys​
- KES key is present only on BP Node but needs to be shared with both the cardano-node process and the mithril-signer process
- KES keys are needed by mithril-signer in order to sign verification key along with an operational certificate which authenticates the key from this stake pool id
- This signing happens at every epoch
- confidentiality: Yes (Capturing KES private keys allows an attacker to impersonate a registered SPO on-chain and produce blocks on his behalf until they are rotated)
- integrity: Yes (Rotating a compromised KES key is a time-consuming process which can take place even if the associated KES period has not passed completely. See https://github.com/input-output-hk/cardano-node-wiki/blob/main/docs/stake-pool-operations/7_KES_period.md)
- availability: Yes (If KES key is unavailable then signing cannot proceeed)
Block diffusion​
Block diffusion process ensures the timely diffusion of blocks, both those produced "locally" and those received from upstream peers
- confidentiality: No (block diffusion happens in the open)
- integrity: Yes (partially? not sure what integrity means here)
- availability: Yes (Not being to diffuse blocks harms a BP's SPO economic viability, and can also harm their ability to create new blocks)
Block production​
Block production is the process of "minting" new blocks by block producers, driven by Stake-based random lottery.
The mithril-signer necessarily runs on the same host as a BP because it needs access to the KES signing key
- confidentiality: Yes? (BP schedule is private information for the BP, leaking it could provide adversaries advance knowledge of schedules and lead to grinding attacks to attempt to manipulate nonce in the disfavour of a BP ??)
- integrity: Yes (incorrect or invalid data can hamper BP capabilities)
- availability: Yes (BP is critical for SPOs revenue, and preventing a BP from producing blocks can harm SPOs capabilities to operate)
Cardano Chain database​
A cardano-node maintains an on-disk database consisting of the chain's history. This database is updated by the node when new blocks are diffused through the network, or minted, and also contains a cache of the ledger state.
Mithril signer needs access to trusted and up-to-date Chain database in order to be able to sign snapshots.
- confidentiality: No (Data is public and replicated)
- integrity: Yes
- availability: Yes
Cardano Ledger state​
Access to an accurate ledger state is needed by Mithril signer to retrieve reliable Stake distribution. This access is currently done through a local connection (direct w/ Pallas or indirect with cardano-cli) to a trusted cardano-node. The ledger state / stake distribution is also used by the cardano-node to determine leader schedules and hence corruption here has an impact on the block production process.
- confidentiality: No
- integrity: Yes (same, inaccurate SD will make key registration and signing process invalid)
- availability: Yes (without SD, signer cannot register keys nor validly use other signers' keys)
Mithril signing keys​
SPOs generate their Mithril signing keys every epoch to be able to sign snapshots. An attacker could impersonate the SPO and sign invalid snapshots if they got hold of those signing keys. Signing keys are currently stored temporarily on-disk as they are used 2
epochs after their creation and deleted 2
epochs after they have been used.
Their storage is not currently encrypted (Should probably be?)
- confidentiality: Yes (access to a signer's key will allow an attacker to impersonate a signer for the duration of the epoch)
- integrity: Yes (invalid key is useless obviously)
- availability: Yes (Signer needs Key at every signing round, unavailability will lead to inability to sign)
Mithril signer registration​
Mithril signer needs to register new verification key every epoch with aggregator (and ultimately other signers).
- confidentiality: No (only verification keys and proofs of possession, which are both public, are used in the signer registration)
- integrity: Yes (partial? key registration process is transient and limited in time, but must be complete for a specific epoch)
- availability: Yes (need access to aggregator to register key)
Mithril signatures diffusion​
Mithril signers produces signatures every time a new message needs to be signed (e.g. when a new immutable file is created in the Chain DB). Those signatures are generated from a random lottery based on the signer's stake and the protocol parameters. Preventing Mithril signers from signing decreases the number of signatures and could allow attacker to take control of the produced snapshot
- confidentiality: No
- integrity: No (signatures are considered tamper-proof)
- availability: Yes
Mithril protocol parameters​
Protocol parameters are needed to coordinate the production of valid multi-signatures. They are served by the aggregator
- confidentiality: No (they actually need to be public)
- integrity: Yes (tampering protocol parameters can lead a signer to produce invalid signatures)
- availability: Yes
Mithril genesis signing key​
The corresponding signing key is stored in IOG's VaultWarden, and used only once, when the genesis certificate is generated.
- confidentiality: Yes
- integrity: Yes (?)
- availability: No (? The key is not needed unless a re-genesis process is required, but then a new key could be used instead?)
Era configuration files​
The Mithril Network Upgrade Strategy ADR explains how Mithril eras are used to activate a feature on all the nodes of the network at a specific epoch boundary.
The era reader Era address is used by signers to extract information about the current Mithril Era which defines the structure of snapshots and therefore signatures. It is stored in GitHub and only modifiable through an approved merged PR
- confidentiality: No (they actually need to be public)
- integrity: Yes (tampering the files could lead to Mithril network not being able to create multi-signatures)
- availability: Yes
Era activation​
The current and next (if any) eras are announced on-chain with an era activation marker (see ADR https://mithril.network/doc/adr/4#era-activation-marker).
- confidentiality: No (they actually need to be public)
- integrity: Yes (tampering the era markers could lead to Mithril network not being able to create multi-signatures)
- availability: Yes (era markers are currently stored on-chain)
Era verification key​
Era verification key is stored in GitHub and only modifiable through an approved merged PR.
- confidentiality: No
- integrity: No (integrity is inherent to the protocol)
- availability: Yes (it's needed to verify a whole chain of certificate)
Era signing key​
The corresponding signing key is stored in IOG's VaultWarden, and used only when a new era is announced or activated.
- confidentiality: Yes
- integrity: Yes (?)
- availability: No
Client-side only assets​
These are the assets that are relevant only when downloading and verifying certificates and artifacts (aka snapshots).
Mithril certificate verification process​
Mithril clients download snapshots and verify associated certificates using the mithril-client library, either from a CLI tool or embedded in a browser
- confidentiality: No
- integrity: No (the snapshots and certificates are assumed to be secure, integrity is inherent to the protocol)
- availability: Yes (?)
Mithril certificates​
Mithril certificates are produced by the aggregator from the individual signatures. Mithril certificates' security rests upon a chain of trust ultimately pointing at the Genesis certificate. At least one Mithril certificate must be produced during an epoch for the certificate chain to remain secure.
- confidentiality: No
- integrity: No (The certificates are assumed to be secure, integrity is inherent to the protocol)
- availability: No (Certificates are just a fallback, a Cardano node client can always retrieve the information from the Cardano network itself, albeit much more slowly)
Mithril artifacts​
Mithril artifacts are produced by the aggregator specifically for the type of data being signed (e.g. a compressed snapshot archive of the Cardano node database). Mithril aggregator maintains artifacts to be served to clients.
- confidentiality: No
- integrity: No (the snapshots are verified against their associated certificate to establish their authenticity)
- availability: No (Artifacts are just a fallback, a Cardano node client can always retrieve the information from the Cardano network itself, albeit much more slowly)
Mithril genesis verification key​
Mithril genesis verification key is stored in GitHub and only modifiable through an approved merged PR
- confidentiality: No
- integrity: No (integrity is inherent to the protocol)
- availability: Yes (it's needed to verify a whole chain of certificate)
Threat & Mitigations​
- This list of threat and mitigations is not exhaustive.
- Developers portal already provides thorough documentation on how to harden a linux-based host to run cardano-node .
Resource exhaustion on Cardano relay​
- DoS of a
mithril-signer
running next to acardano-node
being a relay - Assets at risk:
Block diffusion exhaustion​
- Diffusion is ensured through the connection between BPs, local relays, and downstream/upstream relays
- preventing them to operate can harm the Cardano network
- Relay hosts connect the BP to the network,
- Starving relay hosts prevents Mithril signatures and key registration to be shared
- Starving a cardano-node running on a relay host would prevent or delay the diffusion of new blocks thus harming
- Compromising relay hosts would be an extreme form of starving resources
Resource exhaustion on Cardano block producer​
- Assets at risk:
Block production exhaustion​
- An incorrect mithril-signer could starve the cardano-node of computing resources thus preventing it from producing and diffusing blocks in a timely manner
- Compromising BP host would harms a BP's SPO economic viability
Resource exhaustion on Mithril aggregator​
- DoS of a
mithril-aggregator
- Assets at risk:
Integrity of the Cardano block producer database​
- Data integrity of the Cardano block producer database compromised by action of the Mithril signer
- Assets at risk:
- Mitigation: give Mithril signer user read-only permissions to the database folder of the Cardano block producer
References​
- SPO Guide
- Mithril Network Architecture
- Run a Mithril signer as an SPO
- Mithril: Stake-based Threshold Multisignatures
- Mithril Network Upgrade Strategy
- OWASP Threat Modelling Process
- Lightning Book Security chapter
- Lightning Gossip Protocol
- Consul Security Model
- Parsec Threat Model
- A list of Threat Models
- there's even a Threat model manifesto 😮 !