{ "schema_version": 3, "generated_at": "2026-10-22T05:40:30.354644Z", "snapshot": { "repository": "leanEthereum/leanVM", "branch": "riscv-exploration", "commit": "06e5c9cd6981103786f9d0a17324241b559a50d3", "run_id": 39725859048, "run_url": "https://github.com/leanEthereum/leanVM/actions/runs/39725859048" }, "results": [ { "id": "030226615359deff024ef799", "program": { "name": "leanSPHINCS", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/leansphincs/guest/src/main.rs" }, "workload": "Verify 26 signatures", "category": "program", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418746880, "id": "d62f1e9436d863b8" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.134983958, "min_seconds": 0.13271352, "max_seconds": 0.137984646, "peak_memory_bytes": 742424576, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work.", "samples_seconds": [ 0.134983958, 0.137984646, 0.13271352, 0.135801826, 0.133579755 ], "measured_at": "2026-10-22T05:08:24.125967Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003609475, 0.003635875, 0.003674501, 0.003605002, 0.003629511 ] } }, { "id": "08560d2f50333bfaf1731098", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "2 to 1, first-level node over 2 copies of a 100-signature leaf proof", "category": "aggregation", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190807040, "id": "7ada9965784ba7fb" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.102642515, "min_seconds": 0.102394534, "max_seconds": 0.103051159, "peak_memory_bytes": 1808703488, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.102642515, 0.103051159, 0.102807216, 0.102619753, 0.102394534 ], "measured_at": "2026-10-22T05:07:39.823138Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.002734289, 0.002726976, 0.002765928, 0.002766529, 0.002749677 ] } }, { "id": "097505860dd0cb544dd5e47e", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "2 to 1, higher node over 2 tree proofs; 100-signature leaves", "category": "aggregation", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418759168, "id": "d62f1e9436d863b8" }, "threads": { "count": 1, "label": "1 thread" }, "median_seconds": 0.612892682, "min_seconds": 0.610290914, "max_seconds": 0.617701223, "peak_memory_bytes": 813305856, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.612831305, 0.617701223, 0.610290914, 0.614368752, 0.612892682 ], "measured_at": "2026-10-22T05:08:11.254180Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.007241858, 0.007365486, 0.007293457, 0.007326894, 0.007422722 ] } }, { "id": "0c2df60956f706d8a6988980", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "4 to 1, higher node over 4 tree proofs; 100-signature leaves", "category": "aggregation", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418742784, "id": "d62f1e9436d863b8" }, "threads": { "count": 1, "label": "1 thread" }, "median_seconds": 1.253713306, "min_seconds": 1.238892379, "max_seconds": 1.259350442, "peak_memory_bytes": 1039540224, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 1.252532854, 1.259350442, 1.255306952, 1.253713306, 1.238892379 ], "measured_at": "2026-10-22T05:08:31.490751Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.010988943, 0.011504476, 0.011182825, 0.011024497, 0.011244483 ] } }, { "id": "0df2bdc3d8e82e6a420d7a1f", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "4 to 1, first-level node over 4 copies of a 100-signature leaf proof", "category": "aggregation", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190807040, "id": "7ada9965784ba7fb" }, "threads": { "count": 4, "label": "4 threads" }, "median_seconds": 0.520839781, "min_seconds": 0.519529158, "max_seconds": 0.522549301, "peak_memory_bytes": 1888079872, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.520839781, 0.519804588, 0.522549301, 0.521883875, 0.519529158 ], "measured_at": "2026-10-22T05:08:09.949655Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003211796, 0.003201534, 0.00321884, 0.003219125, 0.003216939 ] } }, { "id": "0f8536a60defc776f8f431e6", "program": { "name": "Shielded transfers", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/shielded/guest/src/main.rs" }, "workload": "2 spends, 4 input notes; standalone proof, leaf log inverse rate 2", "category": "program", "machine": { "name": "iPhone 14", "arch": "aarch64", "os": "iOS 16", "cpu": null, "logical_cpus": null, "memory_bytes": null, "id": "9c3b8c73c3e14534" }, "threads": { "count": 6, "label": "6 threads" }, "median_seconds": 0.127387, "min_seconds": 0.114733417, "max_seconds": 0.133426458, "peak_memory_bytes": 185270272, "peak_memory_method": "Maximum sampled process RSS across this function's three measured iterations; mobench samples iOS task_info(MACH_TASK_BASIC_INFO) resident_size at 1 ms intervals and iteration boundaries (KiB converted to bytes). Setup, warmup and teardown are outside the sampling windows, but their resident allocations, retained proofs and allocator residency can be included. Not baseline-adjusted growth or an OS lifetime high-water mark; brief peaks may be missed.", "samples_seconds": [ 0.114733417, 0.133426458, 0.127387 ], "measured_at": "2026-10-22T05:23:23.643408Z", "verification": { "verified_proofs": 4, "total_proofs": 4, "parameters": { "threads": 6, "available_parallelism": 6, "spends_per_leaf": 2, "leaf_log_inv_rate": 2, "verified_proofs": 4 } }, "timestamp_basis": "collection_completed_at" }, { "id": "110802d6819f2fe1bb006778", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "2 to 1, first-level node over 2 copies of a 100-signature leaf proof", "category": "aggregation", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418755072, "id": "d62f1e9436d863b8" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.089488897, "min_seconds": 0.083429396, "max_seconds": 0.09790543, "peak_memory_bytes": 917954560, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.090579316, 0.087609841, 0.089488897, 0.083429396, 0.09790543 ], "measured_at": "2026-10-22T05:07:26.466083Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003448015, 0.003053155, 0.00304973, 0.003147823, 0.002992494 ] } }, { "id": "11a1262ff1b8fdfa5fed9225", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "4 to 1, first-level node over 4 copies of a 100-signature leaf proof", "category": "aggregation", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418742784, "id": "d62f1e9436d863b8" }, "threads": { "count": 1, "label": "1 thread" }, "median_seconds": 1.138381839, "min_seconds": 1.135777705, "max_seconds": 1.143359951, "peak_memory_bytes": 1010442240, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 1.138381839, 1.143359951, 1.14156863, 1.136600441, 1.135777705 ], "measured_at": "2026-10-22T05:08:31.490751Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.004455111, 0.004766049, 0.004612612, 0.004523417, 0.004431167 ] } }, { "id": "157cf0a894e93275c7f3dd81", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "4 to 1, higher node over 4 tree proofs; 100-signature leaves", "category": "aggregation", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190807040, "id": "7ada9965784ba7fb" }, "threads": { "count": 4, "label": "4 threads" }, "median_seconds": 0.56524993, "min_seconds": 0.564112601, "max_seconds": 0.566134034, "peak_memory_bytes": 1891225600, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.564112601, 0.56524993, 0.566134034, 0.565905431, 0.564197529 ], "measured_at": "2026-10-22T05:08:09.949655Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.004595616, 0.004653161, 0.004679234, 0.004575972, 0.004644234 ] } }, { "id": "16b43e88ecd5abbec35c63e6", "program": { "name": "Falcon-512", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/falcon/guest/src/main.rs" }, "workload": "Verify 1 signature", "category": "program", "machine": { "name": "iPhone 14", "arch": "aarch64", "os": "iOS 16", "cpu": null, "logical_cpus": null, "memory_bytes": null, "id": "9c3b8c73c3e14534" }, "threads": { "count": 6, "label": "6 threads" }, "median_seconds": 0.58315225, "min_seconds": 0.567191625, "max_seconds": 0.600879458, "peak_memory_bytes": 1164804096, "peak_memory_method": "Maximum sampled process RSS across this function's three measured iterations; mobench samples iOS task_info(MACH_TASK_BASIC_INFO) resident_size at 1 ms intervals and iteration boundaries (KiB converted to bytes). Setup, warmup and teardown are outside the sampling windows, but their resident allocations, retained proofs and allocator residency can be included. Not baseline-adjusted growth or an OS lifetime high-water mark; brief peaks may be missed.", "samples_seconds": [ 0.58315225, 0.567191625, 0.600879458 ], "measured_at": "2026-10-22T05:23:23.643408Z", "verification": { "verified_proofs": 4, "total_proofs": 4, "parameters": { "threads": 6, "available_parallelism": 6, "signatures": 1, "log_inv_rate": 2, "verified_proofs": 4 } }, "timestamp_basis": "collection_completed_at" }, { "id": "19065aa28d83cdaed3bd34e9", "program": { "name": "leanSPHINCS", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/leansphincs/guest/src/main.rs" }, "workload": "Verify 26 signatures", "category": "program", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190802944, "id": "7ada9965784ba7fb" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.182663464, "min_seconds": 0.181857944, "max_seconds": 0.183912848, "peak_memory_bytes": 1826414592, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work.", "samples_seconds": [ 0.183912848, 0.182663464, 0.182651754, 0.183232463, 0.181857944 ], "measured_at": "2026-10-22T05:08:13.767659Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003327987, 0.003413799, 0.003372039, 0.003337233, 0.00338341 ] } }, { "id": "1ca17b852d8c62f1c81e306f", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "4 to 1, first-level node over 4 copies of a 100-signature leaf proof", "category": "aggregation", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418755072, "id": "d62f1e9436d863b8" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.162760572, "min_seconds": 0.154938099, "max_seconds": 0.166414284, "peak_memory_bytes": 1134059520, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.162760572, 0.154938099, 0.166414284, 0.163641455, 0.159894146 ], "measured_at": "2026-10-22T05:07:50.403770Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003266402, 0.003332901, 0.003341413, 0.003339332, 0.003274565 ] } }, { "id": "1df3bfd955445629256404e1", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "4 to 1, higher node over 4 tree proofs; 100-signature leaves", "category": "aggregation", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418746880, "id": "d62f1e9436d863b8" }, "threads": { "count": 8, "label": "8 threads" }, "median_seconds": 0.242044788, "min_seconds": 0.239567636, "max_seconds": 0.242274791, "peak_memory_bytes": 1099546624, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.242044788, 0.239567636, 0.242274791, 0.240027838, 0.242208278 ], "measured_at": "2026-10-22T05:07:52.547785Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.004438812, 0.00425426, 0.004285996, 0.004372038, 0.004272885 ] } }, { "id": "26650c0e1db31c69c6e3a899", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "4 to 1, first-level node over 4 copies of a 100-signature leaf proof", "category": "aggregation", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190807040, "id": "7ada9965784ba7fb" }, "threads": { "count": 1, "label": "1 thread" }, "median_seconds": 1.884846429, "min_seconds": 1.883040758, "max_seconds": 1.890496069, "peak_memory_bytes": 1867173888, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 1.89008112, 1.890496069, 1.883040758, 1.884846429, 1.884657369 ], "measured_at": "2026-10-22T05:09:15.361999Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.004844115, 0.00486537, 0.004872569, 0.004847638, 0.004895874 ] } }, { "id": "26a0f8817534ad6f47578d24", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "4 to 1, first-level node over 4 copies of a 100-signature leaf proof", "category": "aggregation", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190802944, "id": "7ada9965784ba7fb" }, "threads": { "count": 8, "label": "8 threads" }, "median_seconds": 0.300749735, "min_seconds": 0.300341232, "max_seconds": 0.301322489, "peak_memory_bytes": 1924526080, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.301108803, 0.300749735, 0.30052316, 0.301322489, 0.300341232 ], "measured_at": "2026-10-22T05:08:12.451826Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003003624, 0.003017943, 0.003015989, 0.003012104, 0.003018103 ] } }, { "id": "3b8e94770ea012dcbfefbd28", "program": { "name": "BLAKE2s guest", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/hash/guest/src/main.rs" }, "workload": "Hash 50,000 bytes through the precompile", "category": "program", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190802944, "id": "7ada9965784ba7fb" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.528662996, "min_seconds": 0.525864663, "max_seconds": 0.550118674, "peak_memory_bytes": 5228011520, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work.", "samples_seconds": [ 0.550118674, 0.525864663, 0.528662996, 0.526362707, 0.528842952 ], "measured_at": "2026-10-22T05:08:15.613849Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003395043, 0.003354576, 0.003404551, 0.003359621, 0.003368026 ] } }, { "id": "3f76929ca1464f6df38e879c", "program": { "name": "Fibonacci", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/bins/leanvm/src/workload.rs" }, "workload": "2,000,000 steps modulo 2^64", "category": "program", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418734592, "id": "d62f1e9436d863b8" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.535607973, "min_seconds": 0.520764523, "max_seconds": 0.561026954, "peak_memory_bytes": 3415613440, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work.", "samples_seconds": [ 0.522727314, 0.535607973, 0.520764523, 0.539313667, 0.561026954 ], "measured_at": "2026-10-22T05:08:05.106546Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003458151, 0.003446452, 0.003479706, 0.003413712, 0.003412347 ] } }, { "id": "43b8784f8f08e8d2f15c3108", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "2 to 1, higher node over 2 tree proofs; 100-signature leaves", "category": "aggregation", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190807040, "id": "7ada9965784ba7fb" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.107296262, "min_seconds": 0.106996513, "max_seconds": 0.107644907, "peak_memory_bytes": 1827733504, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.107415758, 0.106996513, 0.107296262, 0.107016617, 0.107644907 ], "measured_at": "2026-10-22T05:07:39.823138Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003026239, 0.003023682, 0.003041329, 0.003043026, 0.003072479 ] } }, { "id": "44450b1cf932af0e6dca8ae3", "program": { "name": "leanXMSS", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/leanxmss/guest/src/main.rs" }, "workload": "Verify 100 signatures", "category": "program", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418750976, "id": "d62f1e9436d863b8" }, "threads": { "count": 1, "label": "1 thread" }, "median_seconds": 1.024223037, "min_seconds": 1.019435868, "max_seconds": 1.056364448, "peak_memory_bytes": 617484288, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work.", "samples_seconds": [ 1.056364448, 1.019435868, 1.031317558, 1.023504582, 1.024223037 ], "measured_at": "2026-10-22T05:08:26.676204Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003241057, 0.003257687, 0.003243987, 0.00328817, 0.003338102 ] } }, { "id": "4734a033f267d271d32dac71", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "2 to 1, first-level node over 2 copies of a 100-signature leaf proof", "category": "aggregation", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190807040, "id": "7ada9965784ba7fb" }, "threads": { "count": 4, "label": "4 threads" }, "median_seconds": 0.271038792, "min_seconds": 0.270230015, "max_seconds": 0.271240088, "peak_memory_bytes": 1684623360, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.271038792, 0.271240088, 0.270436274, 0.271141032, 0.270230015 ], "measured_at": "2026-10-22T05:08:30.366638Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003009382, 0.003004854, 0.003021939, 0.003013286, 0.003004108 ] } }, { "id": "545b061308347f615bf8708e", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "4 to 1, first-level node over 4 copies of a 100-signature leaf proof", "category": "aggregation", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418746880, "id": "d62f1e9436d863b8" }, "threads": { "count": 8, "label": "8 threads" }, "median_seconds": 0.223930582, "min_seconds": 0.220560316, "max_seconds": 0.225913618, "peak_memory_bytes": 1081442304, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.225913618, 0.221192085, 0.22412132, 0.220560316, 0.223930582 ], "measured_at": "2026-10-22T05:07:52.547785Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003297433, 0.003151607, 0.003287556, 0.003135545, 0.003284567 ] } }, { "id": "5544498019b9427ce3988cb3", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "4 to 1, first-level node over 4 copies of a 100-signature leaf proof", "category": "aggregation", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190807040, "id": "7ada9965784ba7fb" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.194181585, "min_seconds": 0.193123753, "max_seconds": 0.195089769, "peak_memory_bytes": 2021789696, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.195089769, 0.194181585, 0.193123753, 0.194212644, 0.193175163 ], "measured_at": "2026-10-22T05:08:09.961124Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003060353, 0.003051341, 0.003081795, 0.003083958, 0.003057101 ] } }, { "id": "555552109ac57cfeb1986051", "program": { "name": "leanXMSS", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/leanxmss/guest/src/main.rs" }, "workload": "Verify 100 signatures", "category": "program", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190807040, "id": "7ada9965784ba7fb" }, "threads": { "count": 1, "label": "1 thread" }, "median_seconds": 1.786207932, "min_seconds": 1.784392363, "max_seconds": 1.786718331, "peak_memory_bytes": 1473212416, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work.", "samples_seconds": [ 1.78665445, 1.784392363, 1.786207932, 1.786718331, 1.784953837 ], "measured_at": "2026-10-22T05:08:35.633417Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003228609, 0.003213084, 0.003226375, 0.003196315, 0.003228773 ] } }, { "id": "566a5da0f12e07b8023ea5fd", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "4 to 1, higher node over 4 tree proofs; 100-signature leaves", "category": "aggregation", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190807040, "id": "7ada9965784ba7fb" }, "threads": { "count": 1, "label": "1 thread" }, "median_seconds": 2.05794161, "min_seconds": 2.056350486, "max_seconds": 2.0604398, "peak_memory_bytes": 1872855040, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 2.056350486, 2.05794161, 2.058497295, 2.0604398, 2.057909874 ], "measured_at": "2026-10-22T05:09:15.361999Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.010442607, 0.010230902, 0.010400687, 0.010400941, 0.010347417 ] } }, { "id": "569fc88709d933dadb27484a", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "2 to 1, first-level node over 2 copies of a 100-signature leaf proof", "category": "aggregation", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418759168, "id": "d62f1e9436d863b8" }, "threads": { "count": 8, "label": "8 threads" }, "median_seconds": 0.114520507, "min_seconds": 0.112937223, "max_seconds": 0.115027922, "peak_memory_bytes": 875442176, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.115027922, 0.114859295, 0.114520507, 0.112937223, 0.11324102 ], "measured_at": "2026-10-22T05:07:44.299414Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.002955119, 0.002926639, 0.002990534, 0.003038178, 0.002991087 ] } }, { "id": "5c624866ca5bc9a1005256fe", "program": { "name": "leanXMSS", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/leanxmss/guest/src/main.rs" }, "workload": "Verify 100 signatures", "category": "program", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190802944, "id": "7ada9965784ba7fb" }, "threads": { "count": 8, "label": "8 threads" }, "median_seconds": 0.265469967, "min_seconds": 0.264462622, "max_seconds": 0.26575293, "peak_memory_bytes": 1536761856, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work.", "samples_seconds": [ 0.26575293, 0.26552608, 0.264462622, 0.265469967, 0.265242027 ], "measured_at": "2026-10-22T05:07:43.580418Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003089126, 0.003111622, 0.003096153, 0.00310661, 0.003112788 ] } }, { "id": "6040938a1bd80878ed180ecf", "program": { "name": "Shielded transfers", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/shielded/guest/src/main.rs" }, "workload": "2 spends, 4 input notes; standalone proof, leaf log inverse rate 2", "category": "program", "machine": { "name": "Google Pixel 7", "arch": "aarch64", "os": "Android 13.0", "cpu": null, "logical_cpus": null, "memory_bytes": null, "id": "a08c65043d7fb76d" }, "threads": { "count": 6, "label": "6 threads" }, "median_seconds": 0.642903727, "min_seconds": 0.511318278, "max_seconds": 0.660185547, "peak_memory_bytes": 239218688, "peak_memory_method": "Maximum sampled process RSS across this function's three measured iterations; mobench samples Android /proc/self/statm resident pages at 1 ms intervals and iteration boundaries (KiB converted to bytes). Setup, warmup and teardown are outside the sampling windows, but their resident allocations, retained proofs and allocator residency can be included. Not baseline-adjusted growth or an OS lifetime high-water mark; brief peaks may be missed.", "samples_seconds": [ 0.660185547, 0.511318278, 0.642903727 ], "measured_at": "2026-10-22T05:40:20.703417Z", "verification": { "verified_proofs": 4, "total_proofs": 4, "parameters": { "threads": 6, "available_parallelism": 6, "spends_per_leaf": 2, "leaf_log_inv_rate": 2, "verified_proofs": 4 } }, "timestamp_basis": "collection_completed_at" }, { "id": "684ef614a43054d3cfd765a2", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "2 to 1, higher node over 2 tree proofs; 100-signature leaves", "category": "aggregation", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418755072, "id": "d62f1e9436d863b8" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.091707602, "min_seconds": 0.08692586, "max_seconds": 0.101632806, "peak_memory_bytes": 956952576, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.09642003, 0.090149463, 0.091707602, 0.08692586, 0.101632806 ], "measured_at": "2026-10-22T05:07:26.466083Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003143071, 0.003208471, 0.003154328, 0.003118141, 0.003123567 ] } }, { "id": "791bc4a12a138da6c2b90bc7", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "2 to 1, first-level node over 2 copies of a 100-signature leaf proof", "category": "aggregation", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190807040, "id": "7ada9965784ba7fb" }, "threads": { "count": 8, "label": "8 threads" }, "median_seconds": 0.156364727, "min_seconds": 0.155702834, "max_seconds": 0.156551698, "peak_memory_bytes": 1721540608, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.156364727, 0.156403689, 0.156551698, 0.155702834, 0.156310101 ], "measured_at": "2026-10-22T05:08:01.498122Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.002750108, 0.002724962, 0.002734897, 0.002720989, 0.002725417 ] } }, { "id": "81203d15a554825273856613", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "2 to 1, higher node over 2 tree proofs; 100-signature leaves", "category": "aggregation", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190802944, "id": "7ada9965784ba7fb" }, "threads": { "count": 1, "label": "1 thread" }, "median_seconds": 1.01127869, "min_seconds": 1.008435916, "max_seconds": 1.012582696, "peak_memory_bytes": 1663758336, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 1.012582696, 1.008435916, 1.01116199, 1.01127869, 1.011367958 ], "measured_at": "2026-10-22T05:08:30.204800Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.00671956, 0.006668083, 0.006554979, 0.006741305, 0.006691507 ] } }, { "id": "872235d5dcaa8ac71c89c1ec", "program": { "name": "leanXMSS", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/leanxmss/guest/src/main.rs" }, "workload": "Verify 100 signatures", "category": "program", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190807040, "id": "7ada9965784ba7fb" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.164742673, "min_seconds": 0.163378507, "max_seconds": 0.170171797, "peak_memory_bytes": 1611325440, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work.", "samples_seconds": [ 0.170171797, 0.164841442, 0.164742673, 0.16342937, 0.163378507 ], "measured_at": "2026-10-22T05:07:52.877514Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003411464, 0.003461723, 0.003418641, 0.003422694, 0.003422093 ] } }, { "id": "87ec24b2f85c4cfae273c33e", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "2 to 1, first-level node over 2 copies of a 100-signature leaf proof", "category": "aggregation", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418759168, "id": "d62f1e9436d863b8" }, "threads": { "count": 1, "label": "1 thread" }, "median_seconds": 0.57769023, "min_seconds": 0.574225522, "max_seconds": 0.578729418, "peak_memory_bytes": 813047808, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.578127094, 0.57769023, 0.574225522, 0.576005247, 0.578729418 ], "measured_at": "2026-10-22T05:08:11.254180Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003871782, 0.003917777, 0.003923498, 0.003852515, 0.003961389 ] } }, { "id": "89b0de74ce165b9d7f8ad40d", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "4 to 1, higher node over 4 tree proofs; 100-signature leaves", "category": "aggregation", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190807040, "id": "7ada9965784ba7fb" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.208462675, "min_seconds": 0.208232736, "max_seconds": 0.209181507, "peak_memory_bytes": 2033438720, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.208462675, 0.209008029, 0.20841207, 0.209181507, 0.208232736 ], "measured_at": "2026-10-22T05:08:09.961124Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.00361859, 0.003539503, 0.003546174, 0.003574829, 0.003563589 ] } }, { "id": "8c2585db6cbf69dfc99b723b", "program": { "name": "Falcon-512", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/falcon/guest/src/main.rs" }, "workload": "Verify 1 signature", "category": "program", "machine": { "name": "Google Pixel 7", "arch": "aarch64", "os": "Android 13.0", "cpu": null, "logical_cpus": null, "memory_bytes": null, "id": "a08c65043d7fb76d" }, "threads": { "count": 6, "label": "6 threads" }, "median_seconds": 2.882824017, "min_seconds": 2.724915325, "max_seconds": 2.962360231, "peak_memory_bytes": 1225973760, "peak_memory_method": "Maximum sampled process RSS across this function's three measured iterations; mobench samples Android /proc/self/statm resident pages at 1 ms intervals and iteration boundaries (KiB converted to bytes). Setup, warmup and teardown are outside the sampling windows, but their resident allocations, retained proofs and allocator residency can be included. Not baseline-adjusted growth or an OS lifetime high-water mark; brief peaks may be missed.", "samples_seconds": [ 2.724915325, 2.882824017, 2.962360231 ], "measured_at": "2026-10-22T05:40:20.703417Z", "verification": { "verified_proofs": 4, "total_proofs": 4, "parameters": { "threads": 6, "available_parallelism": 6, "signatures": 1, "log_inv_rate": 2, "verified_proofs": 4 } }, "timestamp_basis": "collection_completed_at" }, { "id": "9678ea6c22ee212f6b16f9ae", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "4 to 1, higher node over 4 tree proofs; 100-signature leaves", "category": "aggregation", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190802944, "id": "7ada9965784ba7fb" }, "threads": { "count": 8, "label": "8 threads" }, "median_seconds": 0.324736636, "min_seconds": 0.324507085, "max_seconds": 0.325201225, "peak_memory_bytes": 1931739136, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.324507085, 0.325109562, 0.324544768, 0.324736636, 0.325201225 ], "measured_at": "2026-10-22T05:08:12.451826Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003826192, 0.003789344, 0.003791771, 0.003814429, 0.00380525 ] } }, { "id": "96e50ccb52f43466f38bc09b", "program": { "name": "Fibonacci", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/bins/leanvm/src/workload.rs" }, "workload": "2,000,000 steps modulo 2^64", "category": "program", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190807040, "id": "7ada9965784ba7fb" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.83700662, "min_seconds": 0.83177712, "max_seconds": 0.838233544, "peak_memory_bytes": 7813660672, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work.", "samples_seconds": [ 0.83700662, 0.838233544, 0.837889591, 0.832500257, 0.83177712 ], "measured_at": "2026-10-22T05:08:23.766315Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003414378, 0.003439188, 0.003450266, 0.003411062, 0.003430006 ] } }, { "id": "998c6e37b7425b10f481112c", "program": { "name": "leanDA", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/leanda/guest/src/main.rs" }, "workload": "Check 1 blob of 128 KiB and compute its commitment", "category": "program", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190802944, "id": "7ada9965784ba7fb" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.390236008, "min_seconds": 0.388839239, "max_seconds": 0.394538907, "peak_memory_bytes": 4114944000, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work.", "samples_seconds": [ 0.394538907, 0.388839239, 0.392460645, 0.389632018, 0.390236008 ], "measured_at": "2026-10-22T05:08:07.299894Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003344759, 0.003362429, 0.003360527, 0.003341308, 0.003361468 ] } }, { "id": "9e71be8da376972956da19ab", "program": { "name": "leanXMSS", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/leanxmss/guest/src/main.rs" }, "workload": "Verify 100 signatures", "category": "program", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418742784, "id": "d62f1e9436d863b8" }, "threads": { "count": 8, "label": "8 threads" }, "median_seconds": 0.168579908, "min_seconds": 0.165587, "max_seconds": 0.170587831, "peak_memory_bytes": 659734528, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work.", "samples_seconds": [ 0.168579908, 0.169883103, 0.165587, 0.170587831, 0.165589051 ], "measured_at": "2026-10-22T05:08:02.248229Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003165857, 0.003131472, 0.00318242, 0.003234209, 0.003150898 ] } }, { "id": "a3ad65fcda52efc20284bbc9", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "2 to 1, higher node over 2 tree proofs; 100-signature leaves", "category": "aggregation", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418759168, "id": "d62f1e9436d863b8" }, "threads": { "count": 8, "label": "8 threads" }, "median_seconds": 0.119236815, "min_seconds": 0.117385924, "max_seconds": 0.121132465, "peak_memory_bytes": 892841984, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.118598964, 0.121132465, 0.119556221, 0.119236815, 0.117385924 ], "measured_at": "2026-10-22T05:07:44.299414Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003337743, 0.003320572, 0.003437583, 0.003354792, 0.003403827 ] } }, { "id": "a57e9f0ca680637e509aec87", "program": { "name": "L1 state proofs", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/stateproof/guest/src/main.rs" }, "workload": "Verify 1 account and 1 storage slot", "category": "program", "machine": { "name": "Google Pixel 7", "arch": "aarch64", "os": "Android 13.0", "cpu": null, "logical_cpus": null, "memory_bytes": null, "id": "a08c65043d7fb76d" }, "threads": { "count": 6, "label": "6 threads" }, "median_seconds": 5.164833702, "min_seconds": 5.01755119, "max_seconds": 5.180162274, "peak_memory_bytes": 1993011200, "peak_memory_method": "Maximum sampled process RSS across this function's three measured iterations; mobench samples Android /proc/self/statm resident pages at 1 ms intervals and iteration boundaries (KiB converted to bytes). Setup, warmup and teardown are outside the sampling windows, but their resident allocations, retained proofs and allocator residency can be included. Not baseline-adjusted growth or an OS lifetime high-water mark; brief peaks may be missed.", "samples_seconds": [ 5.01755119, 5.180162274, 5.164833702 ], "measured_at": "2026-10-22T05:40:20.703417Z", "verification": { "verified_proofs": 4, "total_proofs": 4, "parameters": { "threads": 6, "available_parallelism": 6, "accounts": 1, "storage_slots": 1, "log_inv_rate": 2, "verified_proofs": 4 } }, "timestamp_basis": "collection_completed_at" }, { "id": "a6c0db7e7297075307ebfa9c", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "2 to 1, higher node over 2 tree proofs; 100-signature leaves", "category": "aggregation", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190807040, "id": "7ada9965784ba7fb" }, "threads": { "count": 8, "label": "8 threads" }, "median_seconds": 0.165018227, "min_seconds": 0.164676205, "max_seconds": 0.165268866, "peak_memory_bytes": 1724067840, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.165018227, 0.165195737, 0.164676205, 0.164993402, 0.165268866 ], "measured_at": "2026-10-22T05:08:01.498122Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003153641, 0.003164296, 0.003170577, 0.003156974, 0.003174142 ] } }, { "id": "a7752d9f5678fcf6e825aaf9", "program": { "name": "leanXMSS", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/leanxmss/guest/src/main.rs" }, "workload": "Verify 100 signatures", "category": "program", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190802944, "id": "7ada9965784ba7fb" }, "threads": { "count": 4, "label": "4 threads" }, "median_seconds": 0.473314973, "min_seconds": 0.471937409, "max_seconds": 0.475065996, "peak_memory_bytes": 1500237824, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work.", "samples_seconds": [ 0.472128771, 0.4733426, 0.475065996, 0.473314973, 0.471937409 ], "measured_at": "2026-10-22T05:07:52.151783Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003026624, 0.003024055, 0.003024365, 0.003031083, 0.003011461 ] } }, { "id": "afab1612ebc43750e8c12995", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "4 to 1, first-level node over 4 copies of a 100-signature leaf proof", "category": "aggregation", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418755072, "id": "d62f1e9436d863b8" }, "threads": { "count": 4, "label": "4 threads" }, "median_seconds": 0.322215309, "min_seconds": 0.319839693, "max_seconds": 0.33785308, "peak_memory_bytes": 1049280512, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.33785308, 0.322121537, 0.322215309, 0.319839693, 0.332525433 ], "measured_at": "2026-10-22T05:07:54.668036Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003375788, 0.003200677, 0.003277298, 0.003094177, 0.003338126 ] } }, { "id": "b351449b71634843500b59d4", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "4 to 1, higher node over 4 tree proofs; 100-signature leaves", "category": "aggregation", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418755072, "id": "d62f1e9436d863b8" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.174920488, "min_seconds": 0.168340536, "max_seconds": 0.184204602, "peak_memory_bytes": 1171431424, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.184204602, 0.174920488, 0.177111373, 0.168340536, 0.171425047 ], "measured_at": "2026-10-22T05:07:50.403770Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003841147, 0.003808418, 0.003817254, 0.003776794, 0.003874944 ] } }, { "id": "b4278aeca2da8d9c1ea79d3b", "program": { "name": "Shielded aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/bench-mobile/src/lib.rs" }, "workload": "2 to 1; two independently proven 2-spend leaves, 4 spends and 8 input notes total; leaf setup excluded; leaf rate 1/4, tree rate 1/2", "category": "aggregation", "machine": { "name": "Google Pixel 7", "arch": "aarch64", "os": "Android 13.0", "cpu": null, "logical_cpus": null, "memory_bytes": null, "id": "a08c65043d7fb76d" }, "threads": { "count": 6, "label": "6 threads" }, "median_seconds": 1.740421754, "min_seconds": 1.641348308, "max_seconds": 1.902359824, "peak_memory_bytes": 796778496, "peak_memory_method": "Maximum sampled process RSS across this function's three measured iterations; mobench samples Android /proc/self/statm resident pages at 1 ms intervals and iteration boundaries (KiB converted to bytes). Setup, warmup and teardown are outside the sampling windows, but their resident allocations, retained proofs and allocator residency can be included. Not baseline-adjusted growth or an OS lifetime high-water mark; brief peaks may be missed.", "samples_seconds": [ 1.641348308, 1.902359824, 1.740421754 ], "measured_at": "2026-10-22T05:40:20.703417Z", "verification": { "verified_proofs": 4, "total_proofs": 4, "parameters": { "threads": 6, "available_parallelism": 6, "spends_per_leaf": 2, "leaf_log_inv_rate": 2, "verified_proofs": 4, "aggregation_leaves": 2, "aggregation_log_inv_rate": 1, "verified_leaves": 2 } }, "timestamp_basis": "collection_completed_at" }, { "id": "b7c105400df2b549c8d53b5c", "program": { "name": "Shielded aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/bench-mobile/src/lib.rs" }, "workload": "2 to 1; two independently proven 2-spend leaves, 4 spends and 8 input notes total; leaf setup excluded; leaf rate 1/4, tree rate 1/2", "category": "aggregation", "machine": { "name": "iPhone 14", "arch": "aarch64", "os": "iOS 16", "cpu": null, "logical_cpus": null, "memory_bytes": null, "id": "9c3b8c73c3e14534" }, "threads": { "count": 6, "label": "6 threads" }, "median_seconds": 0.331204083, "min_seconds": 0.330510208, "max_seconds": 0.348966291, "peak_memory_bytes": 739180544, "peak_memory_method": "Maximum sampled process RSS across this function's three measured iterations; mobench samples iOS task_info(MACH_TASK_BASIC_INFO) resident_size at 1 ms intervals and iteration boundaries (KiB converted to bytes). Setup, warmup and teardown are outside the sampling windows, but their resident allocations, retained proofs and allocator residency can be included. Not baseline-adjusted growth or an OS lifetime high-water mark; brief peaks may be missed.", "samples_seconds": [ 0.330510208, 0.331204083, 0.348966291 ], "measured_at": "2026-10-22T05:23:23.643408Z", "verification": { "verified_proofs": 4, "total_proofs": 4, "parameters": { "threads": 6, "available_parallelism": 6, "spends_per_leaf": 2, "leaf_log_inv_rate": 2, "verified_proofs": 4, "aggregation_leaves": 2, "aggregation_log_inv_rate": 1, "verified_leaves": 2 } }, "timestamp_basis": "collection_completed_at" }, { "id": "be81da706191e35f507b8a47", "program": { "name": "leanXMSS", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/leanxmss/guest/src/main.rs" }, "workload": "Verify 100 signatures", "category": "program", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418746880, "id": "d62f1e9436d863b8" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.134194177, "min_seconds": 0.129835497, "max_seconds": 0.135901795, "peak_memory_bytes": 686604288, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work.", "samples_seconds": [ 0.134194177, 0.1354717, 0.135901795, 0.129835497, 0.130652199 ], "measured_at": "2026-10-22T05:08:07.102122Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003507254, 0.00345922, 0.003479294, 0.00346115, 0.003480047 ] } }, { "id": "ca449170f30e5b5c2ec47db4", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "2 to 1, higher node over 2 tree proofs; 100-signature leaves", "category": "aggregation", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190807040, "id": "7ada9965784ba7fb" }, "threads": { "count": 4, "label": "4 threads" }, "median_seconds": 0.286730863, "min_seconds": 0.28547197, "max_seconds": 0.287418666, "peak_memory_bytes": 1685409792, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.28547197, 0.287418666, 0.286730863, 0.286253696, 0.287180714 ], "measured_at": "2026-10-22T05:08:30.366638Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003717374, 0.003770629, 0.003768315, 0.003719135, 0.003787928 ] } }, { "id": "d55776e617dfdd92ae10c6ea", "program": { "name": "leanXMSS", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/leanxmss/guest/src/main.rs" }, "workload": "Verify 100 signatures", "category": "program", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418750976, "id": "d62f1e9436d863b8" }, "threads": { "count": 4, "label": "4 threads" }, "median_seconds": 0.297259719, "min_seconds": 0.296398527, "max_seconds": 0.299412905, "peak_memory_bytes": 640978944, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work.", "samples_seconds": [ 0.296398527, 0.299412905, 0.297259719, 0.297043319, 0.297683841 ], "measured_at": "2026-10-22T05:08:10.106282Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003197491, 0.003220839, 0.003215511, 0.003247962, 0.003232349 ] } }, { "id": "e0bb6ef40bbb19b1cd218d86", "program": { "name": "L1 state proofs", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/stateproof/guest/src/main.rs" }, "workload": "Verify 1 account and 1 storage slot", "category": "program", "machine": { "name": "iPhone 14", "arch": "aarch64", "os": "iOS 16", "cpu": null, "logical_cpus": null, "memory_bytes": null, "id": "9c3b8c73c3e14534" }, "threads": { "count": 6, "label": "6 threads" }, "median_seconds": 1.086892291, "min_seconds": 1.079546125, "max_seconds": 1.116226666, "peak_memory_bytes": 1932476416, "peak_memory_method": "Maximum sampled process RSS across this function's three measured iterations; mobench samples iOS task_info(MACH_TASK_BASIC_INFO) resident_size at 1 ms intervals and iteration boundaries (KiB converted to bytes). Setup, warmup and teardown are outside the sampling windows, but their resident allocations, retained proofs and allocator residency can be included. Not baseline-adjusted growth or an OS lifetime high-water mark; brief peaks may be missed.", "samples_seconds": [ 1.079546125, 1.086892291, 1.116226666 ], "measured_at": "2026-10-22T05:23:23.643408Z", "verification": { "verified_proofs": 4, "total_proofs": 4, "parameters": { "threads": 6, "available_parallelism": 6, "accounts": 1, "storage_slots": 1, "log_inv_rate": 2, "verified_proofs": 4 } }, "timestamp_basis": "collection_completed_at" }, { "id": "e77ac15ae0894044d61c9879", "program": { "name": "BLAKE2s guest", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/hash/guest/src/main.rs" }, "workload": "Hash 50,000 bytes through the precompile", "category": "program", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418742784, "id": "d62f1e9436d863b8" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.359894569, "min_seconds": 0.351741493, "max_seconds": 0.369128346, "peak_memory_bytes": 2122498048, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work.", "samples_seconds": [ 0.369128346, 0.351741493, 0.355329182, 0.359894569, 0.361198461 ], "measured_at": "2026-10-22T05:08:25.172311Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003508406, 0.003516618, 0.003475559, 0.003518101, 0.003466428 ] } }, { "id": "ef376d9157d18313bc90a634", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "2 to 1, first-level node over 2 copies of a 100-signature leaf proof", "category": "aggregation", "machine": { "name": "ARM implementer 0x41, part 0xd4f, revision 1", "cpu": "ARM implementer 0x41, part 0xd4f, revision 1", "arch": "arm64", "os": "Linux 7.0.0-1014-aws", "logical_cpus": 16, "memory_bytes": 66190802944, "id": "7ada9965784ba7fb" }, "threads": { "count": 1, "label": "1 thread" }, "median_seconds": 0.950339036, "min_seconds": 0.948061346, "max_seconds": 0.95127735, "peak_memory_bytes": 1663737856, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.950339036, 0.950442808, 0.948061346, 0.948136294, 0.95127735 ], "measured_at": "2026-10-22T05:08:30.204800Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.004004274, 0.003962818, 0.00399007, 0.004021905, 0.003980709 ] } }, { "id": "f63216ce5181ec6c12fd4f11", "program": { "name": "leanDA", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/programs/leanda/guest/src/main.rs" }, "workload": "Check 1 blob of 128 KiB and compute its commitment", "category": "program", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418742784, "id": "d62f1e9436d863b8" }, "threads": { "count": 16, "label": "16 threads" }, "median_seconds": 0.278621823, "min_seconds": 0.249435663, "max_seconds": 0.287502596, "peak_memory_bytes": 1716580352, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work.", "samples_seconds": [ 0.278621823, 0.287502596, 0.260060463, 0.249435663, 0.280851731 ], "measured_at": "2026-10-22T05:08:06.280128Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003371158, 0.003368317, 0.003358987, 0.003337761, 0.003326812 ] } }, { "id": "f77a734b9da2de5aa6da94c1", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "4 to 1, higher node over 4 tree proofs; 100-signature leaves", "category": "aggregation", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418755072, "id": "d62f1e9436d863b8" }, "threads": { "count": 4, "label": "4 threads" }, "median_seconds": 0.35541514, "min_seconds": 0.35249434, "max_seconds": 0.359446247, "peak_memory_bytes": 1060007936, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.354978016, 0.35249434, 0.356630022, 0.35541514, 0.359446247 ], "measured_at": "2026-10-22T05:07:54.668036Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.004809759, 0.004861829, 0.004819237, 0.004834722, 0.004909759 ] } }, { "id": "fb011e12d957c54f9f5901f6", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "2 to 1, higher node over 2 tree proofs; 100-signature leaves", "category": "aggregation", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418746880, "id": "d62f1e9436d863b8" }, "threads": { "count": 4, "label": "4 threads" }, "median_seconds": 0.185535508, "min_seconds": 0.184624187, "max_seconds": 0.186837101, "peak_memory_bytes": 856195072, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.186038302, 0.184624187, 0.186837101, 0.185535508, 0.185075703 ], "measured_at": "2026-10-22T05:08:05.274372Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003762885, 0.003714786, 0.003889703, 0.003787488, 0.00383462 ] } }, { "id": "fd82fd1867529d80dadcf8f8", "program": { "name": "leanXMSS aggregation", "source_url": "https://github.com/leanEthereum/leanVM/blob/06e5c9cd6981103786f9d0a17324241b559a50d3/crates/leanvm_core/src/rec/tree/mod.rs" }, "workload": "2 to 1, first-level node over 2 copies of a 100-signature leaf proof", "category": "aggregation", "machine": { "name": "INTEL(R) XEON(R) GOLD 6548N", "cpu": "INTEL(R) XEON(R) GOLD 6548N", "arch": "x86-64", "os": "Linux 6.8.0-142-generic", "logical_cpus": 32, "memory_bytes": 67418746880, "id": "d62f1e9436d863b8" }, "threads": { "count": 4, "label": "4 threads" }, "median_seconds": 0.176741685, "min_seconds": 0.175026571, "max_seconds": 0.177975665, "peak_memory_bytes": 847388672, "peak_memory_method": "Maximum Linux process RSS high-water mark across independent rounds, from CLI BMF peak-memory.value in bytes (getrusage(RUSAGE_SELF).ru_maxrss, KiB converted to bytes). Includes process setup and prior work. Aggregation includes leaf preparation; higher-node peaks can include preceding first-level work.", "samples_seconds": [ 0.17509993, 0.175026571, 0.177975665, 0.176741685, 0.176952374 ], "measured_at": "2026-10-22T05:08:05.274372Z", "verification": { "verified_proofs": 5, "total_proofs": 5, "method": "Successful leanvm bench process and proof verification timing for every independent round", "verify_seconds": [ 0.003024751, 0.002991441, 0.002925416, 0.002904252, 0.002984238 ] } } ] }