Mithril

Breaks after HF

Issues and PRs

• IntersectMBO/mithril#3585open · Upgrade to Cardano `11.2` · Upgrade to Cardano 11.2
• IntersectMBO/mithril#3614merged · feat: support for upcoming Cardano `11.2` · Support for upcoming Cardano 11.2

Blocked by

• own gapmithrilblock-encoding
• upstream fixpallasblock-encodingera-identity

Waiting on

• blockfrostno-evidence, no verdicttransaction-encoding
• pallasin-progress, no verdictconsensus-participationplutus-languageprotocol-parametersstake-pool-registrationtransaction-encodingtransaction-rules

Lead decisions

• confirmed· pallasblock-encodingera-identity

  The Cardano chain reader decodes every block it pulls from the node with MultiEraBlock::decode from Pallas 1.4.0, which has no Dijkstra era.

  • internal/cardano-node/mithril-cardano-node-chain/src/chain_reader/pallas_chain_reader.rs:298let multi_era_block = MultiEraBlock::decode(&raw_block)
  • internal/cardano-node/mithril-cardano-node-chain/Cargo.toml:26pallas-network = { version = "1.4.0" }

• not-reached· blockfrostera-identityprotocol-parameters

  The aggregator's optional signer importer reads pool names from Blockfrost's extended pool list; no parameters or eras.

  • mithril-aggregator/src/tools/signer_importer/blockfrost_retriever.rs:37let pools_extended = self

• not-reached· cardano-db-syncblock-encodingera-identityprotocol-parametersstake-pool-registrationtransaction-encoding

  Mithril reads the node's immutable files and ledger state itself; the hits are its own circuit cost model and pool-hash helpers.

  • mithril-stm/src/circuits/halo2/circuit.rs:514let circuit_cost = zk::cost_model(&circuit, None);