diff --git a/Cargo.lock b/Cargo.lock
index b85e0fcb1a..2d92454edf 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -363,6 +363,12 @@ dependencies = [
  "syn 2.0.98",
 ]
 
+[[package]]
+name = "atomic-waker"
+version = "1.1.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1505bd5d3d116872e7271a6d4e16d81d0c8570876c8de68093a09ac269d8aac0"
+
 [[package]]
 name = "aurora-engine-modexp"
 version = "1.2.0"
@@ -432,6 +438,29 @@ dependencies = [
  "zeroize",
 ]
 
+[[package]]
+name = "aws-lc-rs"
+version = "1.12.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "dabb68eb3a7aa08b46fddfd59a3d55c978243557a90ab804769f7e20e67d2b01"
+dependencies = [
+ "aws-lc-sys",
+ "zeroize",
+]
+
+[[package]]
+name = "aws-lc-sys"
+version = "0.27.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "77926887776171ced7d662120a75998e444d3750c951abfe07f90da130514b1f"
+dependencies = [
+ "bindgen 0.69.5",
+ "cc",
+ "cmake",
+ "dunce",
+ "fs_extra",
+]
+
 [[package]]
 name = "aws-runtime"
 version = "1.5.5"
@@ -704,17 +733,17 @@ dependencies = [
  "aws-smithy-types",
  "bytes",
  "fastrand",
- "h2",
+ "h2 0.3.26",
  "http 0.2.12",
  "http-body 0.4.6",
  "http-body 1.0.1",
  "httparse",
- "hyper",
- "hyper-rustls",
+ "hyper 0.14.32",
+ "hyper-rustls 0.24.2",
  "once_cell",
  "pin-project-lite",
  "pin-utils",
- "rustls",
+ "rustls 0.21.12",
  "tokio",
  "tracing",
 ]
@@ -875,6 +904,47 @@ dependencies = [
  "virtue",
 ]
 
+[[package]]
+name = "bindgen"
+version = "0.69.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "271383c67ccabffb7381723dea0672a673f292304fcb45c01cc648c7a8d58088"
+dependencies = [
+ "bitflags 2.8.0",
+ "cexpr",
+ "clang-sys",
+ "itertools 0.11.0",
+ "lazy_static",
+ "lazycell",
+ "log",
+ "prettyplease",
+ "proc-macro2",
+ "quote",
+ "regex",
+ "rustc-hash 1.1.0",
+ "shlex",
+ "syn 2.0.98",
+ "which",
+]
+
+[[package]]
+name = "bindgen"
+version = "0.70.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f49d8fed880d473ea71efb9bf597651e77201bdd4893efe54c9e5d65ae04ce6f"
+dependencies = [
+ "bitflags 2.8.0",
+ "cexpr",
+ "clang-sys",
+ "itertools 0.11.0",
+ "proc-macro2",
+ "quote",
+ "regex",
+ "rustc-hash 1.1.0",
+ "shlex",
+ "syn 2.0.98",
+]
+
 [[package]]
 name = "bit-set"
 version = "0.5.3"
@@ -1195,6 +1265,15 @@ dependencies = [
  "shlex",
 ]
 
+[[package]]
+name = "cexpr"
+version = "0.6.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "6fac387a98bb7c37292057cffc56d62ecb629900026402633ae9160df93a8766"
+dependencies = [
+ "nom",
+]
+
 [[package]]
 name = "cfg-if"
 version = "1.0.0"
@@ -1247,6 +1326,17 @@ dependencies = [
  "half",
 ]
 
+[[package]]
+name = "clang-sys"
+version = "1.8.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0b023947811758c97c59bf9d1c188fd619ad4718dcaa767947df1cadb14f39f4"
+dependencies = [
+ "glob",
+ "libc",
+ "libloading",
+]
+
 [[package]]
 name = "clap"
 version = "4.5.30"
@@ -1287,6 +1377,15 @@ version = "0.7.4"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "f46ad14479a25103f283c0f10005961cf086d8dc42205bb44c46ac563475dca6"
 
+[[package]]
+name = "cmake"
+version = "0.1.54"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e7caa3f9de89ddbe2c607f4101924c5abec803763ae9534e4f4d7d8f84aa81f0"
+dependencies = [
+ "cc",
+]
+
 [[package]]
 name = "colorchoice"
 version = "1.0.3"
@@ -1370,6 +1469,16 @@ dependencies = [
  "libc",
 ]
 
+[[package]]
+name = "core-foundation"
+version = "0.10.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b55271e5c8c478ad3f38ad24ef34923091e0548492a266d19b3c0b4d82574c63"
+dependencies = [
+ "core-foundation-sys",
+ "libc",
+]
+
 [[package]]
 name = "core-foundation-sys"
 version = "0.8.7"
@@ -1826,6 +1935,12 @@ version = "1.2.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "75b325c5dbd37f80359721ad39aca5a29fb04c89279657cffdda8736d0c0b9d2"
 
+[[package]]
+name = "dunce"
+version = "1.0.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "92773504d58c093f6de2459af4af33faa518c13451eb8f2b5698ed3d36e7c813"
+
 [[package]]
 name = "dyn-clone"
 version = "1.0.18"
@@ -2139,6 +2254,12 @@ dependencies = [
  "percent-encoding",
 ]
 
+[[package]]
+name = "fs_extra"
+version = "1.3.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "42703706b716c37f96a77aea830392ad231f44c9e9a67872fa5548707e11b11c"
+
 [[package]]
 name = "funty"
 version = "2.0.0"
@@ -2320,6 +2441,25 @@ dependencies = [
  "tracing",
 ]
 
+[[package]]
+name = "h2"
+version = "0.4.8"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "5017294ff4bb30944501348f6f8e42e6ad28f42c8bbef7a74029aff064a4e3c2"
+dependencies = [
+ "atomic-waker",
+ "bytes",
+ "fnv",
+ "futures-core",
+ "futures-sink",
+ "http 1.2.0",
+ "indexmap 2.7.1",
+ "slab",
+ "tokio",
+ "tokio-util",
+ "tracing",
+]
+
 [[package]]
 name = "half"
 version = "2.4.1"
@@ -2580,6 +2720,15 @@ dependencies = [
  "digest 0.10.7",
 ]
 
+[[package]]
+name = "home"
+version = "0.5.11"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "589533453244b0995c858700322199b2becb13b627df2851f64a2775d024abcf"
+dependencies = [
+ "windows-sys 0.59.0",
+]
+
 [[package]]
 name = "http"
 version = "0.2.12"
@@ -2658,7 +2807,7 @@ dependencies = [
  "futures-channel",
  "futures-core",
  "futures-util",
- "h2",
+ "h2 0.3.26",
  "http 0.2.12",
  "http-body 0.4.6",
  "httparse",
@@ -2672,6 +2821,27 @@ dependencies = [
  "want",
 ]
 
+[[package]]
+name = "hyper"
+version = "1.6.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "cc2b571658e38e0c01b1fdca3bbbe93c00d3d71693ff2770043f8c29bc7d6f80"
+dependencies = [
+ "bytes",
+ "futures-channel",
+ "futures-util",
+ "h2 0.4.8",
+ "http 1.2.0",
+ "http-body 1.0.1",
+ "httparse",
+ "httpdate",
+ "itoa",
+ "pin-project-lite",
+ "smallvec",
+ "tokio",
+ "want",
+]
+
 [[package]]
 name = "hyper-rustls"
 version = "0.24.2"
@@ -2680,12 +2850,49 @@ checksum = "ec3efd23720e2049821a693cbc7e65ea87c72f1c58ff2f9522ff332b1491e590"
 dependencies = [
  "futures-util",
  "http 0.2.12",
- "hyper",
+ "hyper 0.14.32",
  "log",
- "rustls",
- "rustls-native-certs",
+ "rustls 0.21.12",
+ "rustls-native-certs 0.6.3",
+ "tokio",
+ "tokio-rustls 0.24.1",
+]
+
+[[package]]
+name = "hyper-rustls"
+version = "0.27.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "2d191583f3da1305256f22463b9bb0471acad48a4e534a5218b9963e9c1f59b2"
+dependencies = [
+ "futures-util",
+ "http 1.2.0",
+ "hyper 1.6.0",
+ "hyper-util",
+ "rustls 0.23.23",
+ "rustls-native-certs 0.8.1",
+ "rustls-pki-types",
+ "tokio",
+ "tokio-rustls 0.26.2",
+ "tower-service",
+]
+
+[[package]]
+name = "hyper-util"
+version = "0.1.10"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "df2dcfbe0677734ab2f3ffa7fa7bfd4706bfdc1ef393f2ee30184aed67e631b4"
+dependencies = [
+ "bytes",
+ "futures-channel",
+ "futures-util",
+ "http 1.2.0",
+ "http-body 1.0.1",
+ "hyper 1.6.0",
+ "pin-project-lite",
+ "socket2",
  "tokio",
- "tokio-rustls",
+ "tower-service",
+ "tracing",
 ]
 
 [[package]]
@@ -2699,7 +2906,7 @@ dependencies = [
  "iana-time-zone-haiku",
  "js-sys",
  "wasm-bindgen",
- "windows-core",
+ "windows-core 0.52.0",
 ]
 
 [[package]]
@@ -2922,6 +3129,12 @@ dependencies = [
  "str_stack",
 ]
 
+[[package]]
+name = "ipnet"
+version = "2.11.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "469fb0b9cefa57e3ef31275ee7cacb78f2fdca44e4765491884a2b119d4eb130"
+
 [[package]]
 name = "is-terminal"
 version = "0.4.15"
@@ -3046,6 +3259,12 @@ dependencies = [
  "spin",
 ]
 
+[[package]]
+name = "lazycell"
+version = "1.3.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "830d08ce1d1d941e6b30645f1a0eb5643013d835ce3779a5fc208261dbe10f55"
+
 [[package]]
 name = "libc"
 version = "0.2.169"
@@ -3064,6 +3283,16 @@ dependencies = [
  "pkg-config",
 ]
 
+[[package]]
+name = "libloading"
+version = "0.8.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "fc2f4eb4bc735547cfed7c0a4922cbd04a4655978c09b54f1f7b228750664c34"
+dependencies = [
+ "cfg-if",
+ "windows-targets 0.52.6",
+]
+
 [[package]]
 name = "libm"
 version = "0.2.11"
@@ -3080,6 +3309,17 @@ dependencies = [
  "libc",
 ]
 
+[[package]]
+name = "libproc"
+version = "0.14.10"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e78a09b56be5adbcad5aa1197371688dc6bb249a26da3bca2011ee2fb987ebfb"
+dependencies = [
+ "bindgen 0.70.1",
+ "errno",
+ "libc",
+]
+
 [[package]]
 name = "libredox"
 version = "0.1.3"
@@ -3151,6 +3391,15 @@ dependencies = [
  "hashbrown 0.15.2",
 ]
 
+[[package]]
+name = "mach2"
+version = "0.4.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "19b955cdeb2a02b9117f121ce63aa52d08ade45de53e48fe6a38b39c10f6f709"
+dependencies = [
+ "libc",
+]
+
 [[package]]
 name = "matchers"
 version = "0.1.0"
@@ -3211,6 +3460,16 @@ dependencies = [
  "portable-atomic",
 ]
 
+[[package]]
+name = "metrics"
+version = "0.24.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7a7deb012b3b2767169ff203fadb4c6b0b82b947512e5eb9e0b78c2e186ad9e3"
+dependencies = [
+ "ahash",
+ "portable-atomic",
+]
+
 [[package]]
 name = "metrics-derive"
 version = "0.1.0"
@@ -3223,6 +3482,43 @@ dependencies = [
  "syn 2.0.98",
 ]
 
+[[package]]
+name = "metrics-exporter-prometheus"
+version = "0.16.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "dd7399781913e5393588a8d8c6a2867bf85fb38eaf2502fdce465aad2dc6f034"
+dependencies = [
+ "base64 0.22.1",
+ "http-body-util",
+ "hyper 1.6.0",
+ "hyper-rustls 0.27.5",
+ "hyper-util",
+ "indexmap 2.7.1",
+ "ipnet",
+ "metrics 0.24.1",
+ "metrics-util 0.19.0",
+ "quanta",
+ "thiserror 1.0.69",
+ "tokio",
+ "tracing",
+]
+
+[[package]]
+name = "metrics-process"
+version = "2.4.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4a82c8add4382f29a122fa64fff1891453ed0f6b2867d971e7d60cb8dfa322ff"
+dependencies = [
+ "libc",
+ "libproc",
+ "mach2",
+ "metrics 0.24.1",
+ "once_cell",
+ "procfs",
+ "rlimit",
+ "windows",
+]
+
 [[package]]
 name = "metrics-tracing-context"
 version = "0.16.0"
@@ -3232,8 +3528,25 @@ dependencies = [
  "indexmap 2.7.1",
  "itoa",
  "lockfree-object-pool",
- "metrics",
- "metrics-util",
+ "metrics 0.23.0",
+ "metrics-util 0.17.0",
+ "once_cell",
+ "tracing",
+ "tracing-core",
+ "tracing-subscriber",
+]
+
+[[package]]
+name = "metrics-tracing-context"
+version = "0.18.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "5f58744e0a46768f65da39b17da285c12a9e6542f3b22840845e39bdb857ae8d"
+dependencies = [
+ "indexmap 2.7.1",
+ "itoa",
+ "lockfree-object-pool",
+ "metrics 0.24.1",
+ "metrics-util 0.19.0",
  "once_cell",
  "tracing",
  "tracing-core",
@@ -3251,12 +3564,32 @@ dependencies = [
  "crossbeam-utils",
  "hashbrown 0.14.5",
  "indexmap 2.7.1",
- "metrics",
+ "metrics 0.23.0",
  "num_cpus",
  "ordered-float",
  "quanta",
  "radix_trie",
- "sketches-ddsketch",
+ "sketches-ddsketch 0.2.2",
+]
+
+[[package]]
+name = "metrics-util"
+version = "0.19.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "dbd4884b1dd24f7d6628274a2f5ae22465c337c5ba065ec9b6edccddf8acc673"
+dependencies = [
+ "aho-corasick",
+ "crossbeam-epoch",
+ "crossbeam-utils",
+ "hashbrown 0.15.2",
+ "indexmap 2.7.1",
+ "metrics 0.24.1",
+ "ordered-float",
+ "quanta",
+ "radix_trie",
+ "rand",
+ "rand_xoshiro",
+ "sketches-ddsketch 0.3.0",
 ]
 
 [[package]]
@@ -3268,6 +3601,12 @@ dependencies = [
  "libmimalloc-sys",
 ]
 
+[[package]]
+name = "minimal-lexical"
+version = "0.2.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a"
+
 [[package]]
 name = "miniz_oxide"
 version = "0.8.4"
@@ -3320,6 +3659,16 @@ dependencies = [
  "libc",
 ]
 
+[[package]]
+name = "nom"
+version = "7.1.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d273983c5a657a70a3e8f2a01329822f3b8c8172b73826411a55751e404a0a4a"
+dependencies = [
+ "memchr",
+ "minimal-lexical",
+]
+
 [[package]]
 name = "nu-ansi-term"
 version = "0.46.0"
@@ -3616,7 +3965,7 @@ dependencies = [
  "eyre",
  "hex",
  "k256",
- "metrics",
+ "metrics 0.24.1",
  "num-bigint 0.4.6",
  "openvm-algebra-circuit",
  "openvm-algebra-transpiler",
@@ -3752,7 +4101,7 @@ dependencies = [
  "hex",
  "itertools 0.14.0",
  "lazy_static",
- "metrics",
+ "metrics 0.24.1",
  "metrics-derive",
  "openvm-circuit",
  "openvm-circuit-derive",
@@ -4132,7 +4481,7 @@ dependencies = [
  "hex",
  "itertools 0.14.0",
  "lazy_static",
- "metrics",
+ "metrics 0.24.1",
  "num-bigint 0.4.6",
  "num-integer",
  "openvm-circuit",
@@ -4176,7 +4525,7 @@ dependencies = [
  "cfg-if",
  "itertools 0.14.0",
  "lazy_static",
- "metrics",
+ "metrics 0.24.1",
  "once_cell",
  "openvm-circuit",
  "openvm-native-circuit",
@@ -4347,9 +4696,16 @@ dependencies = [
  "clap",
  "eyre",
  "itertools 0.14.0",
+ "metrics 0.24.1",
+ "metrics-exporter-prometheus",
+ "metrics-process",
+ "metrics-tracing-context 0.18.0",
+ "metrics-util 0.19.0",
  "num-format",
  "serde",
  "serde_json",
+ "tracing",
+ "tracing-subscriber",
 ]
 
 [[package]]
@@ -4462,7 +4818,7 @@ dependencies = [
  "eyre",
  "getset",
  "itertools 0.14.0",
- "metrics",
+ "metrics 0.24.1",
  "openvm",
  "openvm-algebra-circuit",
  "openvm-algebra-transpiler",
@@ -4586,7 +4942,7 @@ dependencies = [
  "derivative",
  "derive-new 0.7.0",
  "itertools 0.14.0",
- "metrics",
+ "metrics 0.23.0",
  "mimalloc",
  "p3-air",
  "p3-challenger",
@@ -4613,9 +4969,9 @@ dependencies = [
  "derive_more 0.99.19",
  "ff 0.13.0",
  "itertools 0.14.0",
- "metrics",
- "metrics-tracing-context",
- "metrics-util",
+ "metrics 0.23.0",
+ "metrics-tracing-context 0.16.0",
+ "metrics-util 0.17.0",
  "openvm-stark-backend",
  "p3-baby-bear",
  "p3-blake3",
@@ -5403,6 +5759,28 @@ dependencies = [
  "unicode-ident",
 ]
 
+[[package]]
+name = "procfs"
+version = "0.17.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "cc5b72d8145275d844d4b5f6d4e1eef00c8cd889edb6035c21675d1bb1f45c9f"
+dependencies = [
+ "bitflags 2.8.0",
+ "hex",
+ "procfs-core",
+ "rustix",
+]
+
+[[package]]
+name = "procfs-core"
+version = "0.17.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "239df02d8349b06fc07398a3a1697b06418223b1c7725085e801e7c0fc6a12ec"
+dependencies = [
+ "bitflags 2.8.0",
+ "hex",
+]
+
 [[package]]
 name = "proptest"
 version = "1.5.0"
@@ -5742,6 +6120,15 @@ dependencies = [
  "digest 0.10.7",
 ]
 
+[[package]]
+name = "rlimit"
+version = "0.10.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7043b63bd0cd1aaa628e476b80e6d4023a3b50eb32789f2728908107bd0c793a"
+dependencies = [
+ "libc",
+]
+
 [[package]]
 name = "rlp"
 version = "0.5.2"
@@ -5869,10 +6256,24 @@ checksum = "3f56a14d1f48b391359b22f731fd4bd7e43c97f3c50eee276f3aa09c94784d3e"
 dependencies = [
  "log",
  "ring",
- "rustls-webpki",
+ "rustls-webpki 0.101.7",
  "sct",
 ]
 
+[[package]]
+name = "rustls"
+version = "0.23.23"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "47796c98c480fce5406ef69d1c76378375492c3b0a0de587be0c1d9feb12f395"
+dependencies = [
+ "aws-lc-rs",
+ "once_cell",
+ "rustls-pki-types",
+ "rustls-webpki 0.102.8",
+ "subtle",
+ "zeroize",
+]
+
 [[package]]
 name = "rustls-native-certs"
 version = "0.6.3"
@@ -5882,7 +6283,19 @@ dependencies = [
  "openssl-probe",
  "rustls-pemfile",
  "schannel",
- "security-framework",
+ "security-framework 2.11.1",
+]
+
+[[package]]
+name = "rustls-native-certs"
+version = "0.8.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7fcff2dd52b58a8d98a70243663a0d234c4e2b79235637849d15913394a247d3"
+dependencies = [
+ "openssl-probe",
+ "rustls-pki-types",
+ "schannel",
+ "security-framework 3.2.0",
 ]
 
 [[package]]
@@ -5894,6 +6307,12 @@ dependencies = [
  "base64 0.21.7",
 ]
 
+[[package]]
+name = "rustls-pki-types"
+version = "1.11.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "917ce264624a4b4db1c364dcc35bfca9ded014d0a958cd47ad3e960e988ea51c"
+
 [[package]]
 name = "rustls-webpki"
 version = "0.101.7"
@@ -5904,6 +6323,18 @@ dependencies = [
  "untrusted",
 ]
 
+[[package]]
+name = "rustls-webpki"
+version = "0.102.8"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "64ca1bc8749bd4cf37b5ce386cc146580777b4e8572c7b97baf22c83f444bee9"
+dependencies = [
+ "aws-lc-rs",
+ "ring",
+ "rustls-pki-types",
+ "untrusted",
+]
+
 [[package]]
 name = "rustversion"
 version = "1.0.19"
@@ -6036,7 +6467,20 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "897b2245f0b511c87893af39b033e5ca9cce68824c4d7e7630b5a1d339658d02"
 dependencies = [
  "bitflags 2.8.0",
- "core-foundation",
+ "core-foundation 0.9.4",
+ "core-foundation-sys",
+ "libc",
+ "security-framework-sys",
+]
+
+[[package]]
+name = "security-framework"
+version = "3.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "271720403f46ca04f7ba6f55d438f8bd878d6b8ca0a1046e8228c4145bcbb316"
+dependencies = [
+ "bitflags 2.8.0",
+ "core-foundation 0.10.0",
  "core-foundation-sys",
  "libc",
  "security-framework-sys",
@@ -6261,6 +6705,12 @@ version = "0.2.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "85636c14b73d81f541e525f585c0a2109e6744e1565b5c1668e31c70c10ed65c"
 
+[[package]]
+name = "sketches-ddsketch"
+version = "0.3.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c1e9a774a6c28142ac54bb25d25562e6bcf957493a184f15ad4eebccb23e410a"
+
 [[package]]
 name = "slab"
 version = "0.4.9"
@@ -6790,7 +7240,17 @@ version = "0.24.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "c28327cf380ac148141087fbfb9de9d7bd4e84ab5d2c28fbc911d753de8a7081"
 dependencies = [
- "rustls",
+ "rustls 0.21.12",
+ "tokio",
+]
+
+[[package]]
+name = "tokio-rustls"
+version = "0.26.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "8e727b36a1a0e8b74c376ac2211e40c2c8af09fb4013c60d910495810f008e9b"
+dependencies = [
+ "rustls 0.23.23",
  "tokio",
 ]
 
@@ -7202,6 +7662,18 @@ dependencies = [
  "wasm-bindgen",
 ]
 
+[[package]]
+name = "which"
+version = "4.4.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "87ba24419a2078cd2b0f2ede2691b6c66d8e47836da3b6db8265ebad47afbfc7"
+dependencies = [
+ "either",
+ "home",
+ "once_cell",
+ "rustix",
+]
+
 [[package]]
 name = "winapi"
 version = "0.3.9"
@@ -7233,6 +7705,16 @@ version = "0.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "712e227841d057c1ee1cd2fb22fa7e5a5461ae8e48fa2ca79ec42cfc1931183f"
 
+[[package]]
+name = "windows"
+version = "0.58.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "dd04d41d93c4992d421894c18c8b43496aa748dd4c081bac0dc93eb0489272b6"
+dependencies = [
+ "windows-core 0.58.0",
+ "windows-targets 0.52.6",
+]
+
 [[package]]
 name = "windows-core"
 version = "0.52.0"
@@ -7242,6 +7724,60 @@ dependencies = [
  "windows-targets 0.52.6",
 ]
 
+[[package]]
+name = "windows-core"
+version = "0.58.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "6ba6d44ec8c2591c134257ce647b7ea6b20335bf6379a27dac5f1641fcf59f99"
+dependencies = [
+ "windows-implement",
+ "windows-interface",
+ "windows-result",
+ "windows-strings",
+ "windows-targets 0.52.6",
+]
+
+[[package]]
+name = "windows-implement"
+version = "0.58.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "2bbd5b46c938e506ecbce286b6628a02171d56153ba733b6c741fc627ec9579b"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "syn 2.0.98",
+]
+
+[[package]]
+name = "windows-interface"
+version = "0.58.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "053c4c462dc91d3b1504c6fe5a726dd15e216ba718e84a0e46a88fbe5ded3515"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "syn 2.0.98",
+]
+
+[[package]]
+name = "windows-result"
+version = "0.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1d1043d8214f791817bab27572aaa8af63732e11bf84aa21a45a78d6c317ae0e"
+dependencies = [
+ "windows-targets 0.52.6",
+]
+
+[[package]]
+name = "windows-strings"
+version = "0.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4cd9b125c486025df0eabcb585e62173c6c9eddcec5d117d3b6e8c30e2ee4d10"
+dependencies = [
+ "windows-result",
+ "windows-targets 0.52.6",
+]
+
 [[package]]
 name = "windows-sys"
 version = "0.48.0"
diff --git a/Cargo.toml b/Cargo.toml
index 751a0ec158..a13d1ce80c 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -213,7 +213,7 @@ strum_macros = "0.26.4"
 strum = { version = "0.26.3", features = ["derive"] }
 enum-utils = "0.1.1"
 backtrace = "0.3.71"
-metrics = "0.23.0"
+metrics = "0.24.1"
 metrics-derive = "0.1.0"
 cfg-if = "1.0.0"
 inferno = "0.11.21"
diff --git a/crates/prof/Cargo.toml b/crates/prof/Cargo.toml
index 5281073133..dd3e08dd3a 100644
--- a/crates/prof/Cargo.toml
+++ b/crates/prof/Cargo.toml
@@ -16,3 +16,11 @@ clap = { workspace = true, features = ["derive"] }
 eyre.workspace = true
 itertools = { workspace = true, features = ["use_std"] }
 num-format = "0.4"
+
+metrics = { workspace = true }
+metrics-exporter-prometheus = "0.16.1"
+metrics-process = "2.4.0"
+metrics-tracing-context = "0.18.0"
+metrics-util = "0.19.0"
+tracing = { workspace = true }
+tracing-subscriber = "0.3.19"
diff --git a/crates/prof/src/lib.rs b/crates/prof/src/lib.rs
index 65468fd0de..748a9926b2 100644
--- a/crates/prof/src/lib.rs
+++ b/crates/prof/src/lib.rs
@@ -8,6 +8,7 @@ use eyre::Result;
 use crate::types::{Labels, Metric, MetricDb, MetricsFile};
 
 pub mod aggregate;
+pub mod recorder;
 pub mod summary;
 pub mod types;
 
diff --git a/crates/prof/src/recorder.rs b/crates/prof/src/recorder.rs
new file mode 100644
index 0000000000..a7e8ca099b
--- /dev/null
+++ b/crates/prof/src/recorder.rs
@@ -0,0 +1,130 @@
+//! Prometheus recorder
+use std::{
+    sync::{atomic::AtomicBool, Arc, LazyLock},
+    thread,
+    time::Duration,
+};
+
+use metrics_exporter_prometheus::{PrometheusBuilder, PrometheusHandle};
+use metrics_process::Collector;
+use metrics_tracing_context::{MetricsLayer, TracingContextLayer};
+use metrics_util::layers::Layer;
+use tracing_subscriber::{layer::SubscriberExt, Registry};
+
+/// Installs the Prometheus recorder as the global recorder.
+///
+/// Caution: This only configures the global recorder and does not spawn the exporter.
+pub fn install_prometheus_recorder() -> &'static PrometheusRecorder {
+    &PROMETHEUS_RECORDER_HANDLE
+}
+
+/// The default Prometheus recorder handle. We use a global static to ensure that it is only
+/// installed once.
+static PROMETHEUS_RECORDER_HANDLE: LazyLock<PrometheusRecorder> =
+    LazyLock::new(PrometheusRecorder::new);
+
+pub struct PrometheusRecorder {
+    handle: Arc<PrometheusHandle>,
+    spawned: AtomicBool,
+}
+
+impl PrometheusRecorder {
+    /// Installs Prometheus as the metrics recorder.
+    ///
+    /// Caution: This only configures the global recorder and does not spawn the exporter.
+    /// Callers must run `PrometheusHandle.run_upkeep` manually.
+    fn new() -> Self {
+        // Set up tracing:
+        let subscriber = Registry::default().with(MetricsLayer::new());
+        tracing::subscriber::set_global_default(subscriber)
+            .expect("Error initializing the tracing subscriber");
+
+        // Prepare metrics.
+        let recorder = PrometheusBuilder::new().build_recorder();
+        let handle = Arc::new(recorder.handle());
+        let recorder_with_tracing = TracingContextLayer::all().layer(recorder);
+        metrics::set_global_recorder(recorder_with_tracing).unwrap();
+
+        Self {
+            handle,
+            spawned: AtomicBool::new(false),
+        }
+    }
+
+    // Creates a thread that regularly collects process metrics.
+    // Necessary to avoid the VM starving the process.
+    pub fn spawn_process_metrics_thread(&self, interval: Duration) {
+        if self
+            .spawned
+            .compare_exchange(
+                false,
+                true,
+                std::sync::atomic::Ordering::SeqCst,
+                std::sync::atomic::Ordering::Acquire,
+            )
+            .is_err()
+        {
+            return;
+        }
+
+        let handle = self.handle().clone();
+        thread::spawn(move || {
+            let collector = Collector::default();
+            collector.describe();
+
+            loop {
+                collector.collect();
+                handle.run_upkeep();
+                thread::sleep(interval);
+            }
+        });
+    }
+
+    pub fn handle(&self) -> &PrometheusHandle {
+        &self.handle
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use metrics::{counter, describe_counter};
+    use tracing::{span, Level};
+
+    use super::*;
+    // Dependencies using different version of the `metrics` crate (to be exact, 0.21 vs 0.22)
+    // may not be able to communicate with each other through the global recorder.
+    //
+    // This test ensures that `metrics-process` dependency plays well with the current
+    // `metrics-exporter-prometheus` dependency version.
+    #[test]
+    fn test_prometheus_recorder_process_metrics() {
+        // initialize the lazy handle
+        let handle = &PROMETHEUS_RECORDER_HANDLE.handle;
+        let span = span!(Level::TRACE, "my_span", test = "process_metrics");
+        let _guard = span.enter();
+
+        let collector = Collector::default();
+        collector.collect();
+        let metrics = handle.render();
+        assert!(
+            metrics.contains("process_cpu_seconds_total{test=\"process_metrics\"} 0"),
+            "{metrics:?}"
+        );
+    }
+
+    #[test]
+    fn test_prometheus_metrics_tracing_context() {
+        let handle = &PROMETHEUS_RECORDER_HANDLE.handle;
+        let span = span!(Level::TRACE, "my_span", test = "tracing_context");
+        let _guard = span.enter();
+
+        describe_counter!("example_metric", "A counter for demonstration purposes");
+        counter!("example_metric").increment(42);
+
+        let metrics = handle.render();
+        assert!(
+            metrics.contains("example_metric{test=\"tracing_context\"} 42"),
+            "{metrics:?}"
+        );
+    }
+}
diff --git a/crates/sdk/src/lib.rs b/crates/sdk/src/lib.rs
index f45b86e4c9..e1ee81d1f0 100644
--- a/crates/sdk/src/lib.rs
+++ b/crates/sdk/src/lib.rs
@@ -40,6 +40,7 @@ use openvm_transpiler::{
     transpiler::{Transpiler, TranspilerError},
     FromElf,
 };
+use tracing::instrument;
 
 use crate::{
     config::AggConfig,
@@ -75,6 +76,7 @@ pub struct VerifiedContinuationVmPayload {
 pub struct Sdk;
 
 impl Sdk {
+    #[instrument(level = "trace", skip_all, fields(source = "sdk"))]
     pub fn build<P: AsRef<Path>>(
         &self,
         guest_opts: GuestOptions,
@@ -99,6 +101,7 @@ impl Sdk {
         Elf::decode(&data, MEM_SIZE as u32)
     }
 
+    #[instrument(level = "trace", skip_all, fields(source = "sdk"))]
     pub fn transpile(
         &self,
         elf: Elf,
@@ -107,6 +110,7 @@ impl Sdk {
         VmExe::from_elf(elf, transpiler)
     }
 
+    #[instrument(level = "trace", skip_all, fields(source = "sdk"))]
     pub fn execute<VC: VmConfig<F>>(
         &self,
         exe: VmExe<F>,
@@ -127,6 +131,7 @@ impl Sdk {
         Ok(public_values)
     }
 
+    #[instrument(level = "trace", skip_all, fields(source = "sdk"))]
     pub fn commit_app_exe(
         &self,
         app_fri_params: FriParameters,
@@ -136,6 +141,7 @@ impl Sdk {
         Ok(committed_exe)
     }
 
+    #[instrument(level = "trace", skip_all, fields(source = "sdk"))]
     pub fn app_keygen<VC: VmConfig<F>>(&self, config: AppConfig<VC>) -> Result<AppProvingKey<VC>>
     where
         VC::Executor: Chip<SC>,
@@ -145,6 +151,7 @@ impl Sdk {
         Ok(app_pk)
     }
 
+    #[instrument(level = "trace", skip_all, fields(source = "sdk"))]
     pub fn generate_app_proof<VC: VmConfig<F>>(
         &self,
         app_pk: Arc<AppProvingKey<VC>>,
@@ -168,6 +175,7 @@ impl Sdk {
     /// _with respect to_ a commitment to some VM executable.
     /// It is the responsibility of the caller to check that the commitment matches the expected
     /// VM executable.
+    #[instrument(level = "trace", skip_all, fields(source = "sdk"))]
     pub fn verify_app_proof(
         &self,
         app_vk: &AppVerifyingKey,
@@ -190,6 +198,7 @@ impl Sdk {
         })
     }
 
+    #[instrument(level = "trace", skip_all, fields(source = "sdk"))]
     pub fn verify_app_proof_without_continuations(
         &self,
         app_vk: &AppVerifyingKey,
@@ -199,6 +208,7 @@ impl Sdk {
         e.verify(&app_vk.app_vm_vk, proof)
     }
 
+    #[instrument(level = "trace", skip_all, fields(source = "sdk"))]
     pub fn agg_keygen(
         &self,
         config: AggConfig,
@@ -209,6 +219,7 @@ impl Sdk {
         Ok(agg_pk)
     }
 
+    #[instrument(level = "trace", skip_all, fields(source = "sdk"))]
     pub fn generate_root_verifier_input<VC: VmConfig<F>>(
         &self,
         app_pk: Arc<AppProvingKey<VC>>,
@@ -225,6 +236,7 @@ impl Sdk {
         Ok(proof)
     }
 
+    #[instrument(level = "trace", skip_all, fields(source = "sdk"))]
     pub fn generate_evm_proof<VC: VmConfig<F>>(
         &self,
         reader: &impl Halo2ParamsReader,
@@ -242,6 +254,7 @@ impl Sdk {
         Ok(proof)
     }
 
+    #[instrument(level = "trace", skip_all, fields(source = "sdk"))]
     pub fn generate_snark_verifier_contract(
         &self,
         reader: &impl Halo2ParamsReader,
@@ -252,6 +265,7 @@ impl Sdk {
         Ok(evm_verifier)
     }
 
+    #[instrument(level = "trace", skip_all, fields(source = "sdk"))]
     pub fn verify_evm_proof(
         &self,
         evm_verifier: &EvmVerifier,