feat: introduce the circuit verification key registry

CHANGELOG.md

@@ -19,6 +19,7 @@ As a minor extension, we have adopted a slightly different versioning convention
   - Reworked the Mithril aggregator's file archiver to produce byte-stable archives across systems.
     - Existing archives must be regenerated by the Mithril aggregator to ensure byte stability.
   - Preliminary support for uploading immutable files to IPFS with the Mithril aggregator and downloading them from IPFS with the Mithril client library and CLI.
+  - Preliminary support for the circuit verification key registry, a genesis-signed whitelist (with revocations) of the circuit verification keys trusted for SNARK certificates.
 
 - **REMOVED** support for `Gzip` compression/decompression in the Mithril aggregator and client:
   - The aggregator no longer produces or supports `Gzip` compression for snapshot-related artifacts: immutable files and ancillaries.

Cargo.toml

@@ -68,7 +68,7 @@ rayon = "1.12.0"
 reqwest = { version = "0.13.4", default-features = false, features = ["json"] }
 semver = "1.0.28"
 serde = { version = "1.0.228", features = ["derive", "rc"] }
-serde_json = "1.0.150"
+serde_json = { version = "1.0.150", features = ["raw_value"] }
 # Pin slog to `2.7.0`: `2.8.2` introduces failures in our test suite
 slog = "=2.7.0"
 slog-async = "2.8.0"

internal/cardano-node/mithril-cardano-node-internal-database/Cargo.toml

@@ -15,7 +15,7 @@ anyhow = { workspace = true }
 async-trait = { workspace = true }
 digest = { workspace = true }
 hex = { workspace = true }
-mithril-common = { path = "../../../mithril-common", version = "0.7.20" }
+mithril-common = { path = "../../../mithril-common", version = "0.7.21" }
 serde = { workspace = true }
 serde_json = { workspace = true }
 sha2 = "0.10.9"

internal/mithril-aggregator-client/Cargo.toml

@@ -13,7 +13,7 @@ include = ["**/*.rs", "Cargo.toml", "README.md"]
 [dependencies]
 anyhow = { workspace = true }
 async-trait = { workspace = true }
-mithril-common = { path = "../../mithril-common", version = "0.7.20" }
+mithril-common = { path = "../../mithril-common", version = "0.7.21" }
 reqwest = { workspace = true }
 semver = { workspace = true }
 serde = { workspace = true }

internal/mithril-aggregator-discovery/Cargo.toml

@@ -14,7 +14,7 @@ include = ["**/*.rs", "Cargo.toml", "README.md", ".gitignore"]
 anyhow = { workspace = true }
 async-trait = { workspace = true }
 mithril-aggregator-client = { path = "../mithril-aggregator-client", version = "0.2.4" }
-mithril-common = { path = "../../mithril-common", version = "0.7.20" }
+mithril-common = { path = "../../mithril-common", version = "0.7.21" }
 rand = { version = "0.10.2" }
 reqwest = { workspace = true }
 serde = { workspace = true }

mithril-client/Cargo.toml

@@ -63,7 +63,7 @@ chrono = { workspace = true }
 flume = { version = "0.12.0", optional = true }
 futures = "0.3.32"
 mithril-aggregator-client = { path = "../internal/mithril-aggregator-client", version = "0.2.4" }
-mithril-common = { path = "../mithril-common", version = "0.7.20", default-features = false }
+mithril-common = { path = "../mithril-common", version = "0.7.21", default-features = false }
 reqwest = { workspace = true, default-features = false, features = ["charset", "http2", "query", "stream", "system-proxy"] }
 serde = { workspace = true }
 serde_json = { workspace = true }

mithril-common/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "mithril-common"
-version = "0.7.20"
+version = "0.7.21"
 description = "Common types, interfaces, and utilities for Mithril nodes."
 authors = { workspace = true }
 edition = { workspace = true }
@@ -51,7 +51,7 @@ fixed = "1.31.0"
 hex = { workspace = true }
 kes-summed-ed25519 = { version = "0.2.1", features = ["serde_enabled", "sk_clone_enabled"] }
 mithril-merkle-tree = { path = "../internal/mithril-merkle-tree", version = "0.1.4" }
-mithril-stm = { path = "../mithril-stm", version = "0.12.15", default-features = false }
+mithril-stm = { path = "../mithril-stm", version = "0.12.16", default-features = false }
 nom = "8.0.0"
 rand_chacha = { workspace = true }
 rand_core = { workspace = true }