Skip to content

Prove and export production carry and 32-bit adder families in Clean - #596

Closed
kevaundray wants to merge 2 commits into
leanEthereum:riscv-explorationfrom
kevaundray:kw/clean-circuits-adder-family-20261010
Closed

Prove and export production carry and 32-bit adder families in Clean#596
kevaundray wants to merge 2 commits into
leanEthereum:riscv-explorationfrom
kevaundray:kw/clean-circuits-adder-family-20261010

Conversation

@kevaundray

@kevaundray kevaundray commented Oct 10, 2026

Copy link
Copy Markdown
Collaborator

This PR was created with Claude Code, prompted by @kevaundray.

Depends on #595. This follow-on extends its checked Clean export rather than changing the focused first adder PR.

Changes

  • Export the production 32-bit wrapping adder and 64-bit carry-in/carry-out adder from the existing arbitrary-width Clean circuits over GF(2).
  • Prove exact source linkage, concrete product/output layout, arbitrary-witness soundness, dependency order, and existential honest completeness for both artifacts. The carry artifact proves the exact 65-bit integer sum, including carry-out.
  • Migrate BLAKE2s additions, ALU arithmetic/comparison, signed multiplication corrections, and division additions to generated Rust. Conditional negation now composes affine bit flipping with the checked carry adder. Remove the handwritten ripple-adder methods; leave native packed witness kernels unchanged.
  • Extend deterministic generation and the theorem axiom audit; retain a real RV arithmetic-boundary proof regression.

Verification and boundaries

Lean build, axiom audit, leanchecker, deterministic regeneration, full release workspace tests, formatting, native Clippy, and rustdoc passed. A standalone release driver proved and verified actual ALU overflow/comparison, signed division overflow, signed Mulh, and a BLAKE2s digest, rejecting changed output statements. Production native-witness and malicious-witness regressions passed.

The new theorem closures use only propext, Classical.choice, and Quot.sound. Runtime generation, Rust compilation, Builder interpretation/packing, and native witness implementation remain explicit trust boundaries. Proving an adder subcircuit does not establish the complete semantics of ALU, division, multiplication, conditional negation, BLAKE2s, or the cryptographic composition. The exact boundaries and artifact variable mappings are documented in verification/circuits/README.md.

@github-actions

github-actions Bot commented Oct 10, 2026

Copy link
Copy Markdown

Benchmarks: base against this PR, on one runner

3436a54 merged into its base, against the base a40a7fa: each benchmark run in turns on one runner, base and PR 5 times each. A size is shown when it changed; a time or a peak memory when it moved the same way in every round and its median by at least 1% (the change is the median ratio, with the rounds' range).

Threads shows the named configuration; default means no thread count is encoded in the benchmark ID.

Fibonacci

Prover stages
benchmark threads runner base this PR change
fibonacci-asm-2000000 16 x86-64 524.39 ms 526.45 ms -0.79% (-4.29% to +6.40%)
 ↳ build-witness 39.13 ms 38.76 ms -0.57% (-2.57% to +2.10%)
 ↳ commit 71.70 ms 71.72 ms +0.03% (-0.50% to +5.35%)
 ↳ execute-program 73.14 ms 72.60 ms -1.04% (-1.34% to -0.15%)
 ↳ flock-reductions 131.03 ms 133.76 ms -0.02% (-8.67% to +14.02%)
 ↳ pcs-open 158.84 ms 157.84 ms -0.53% (-5.92% to +5.20%)
 ↳ prove-bus 37.68 ms 37.85 ms +0.71% (-0.88% to +4.51%)
 ↳ prove-constraints 13.75 ms 13.64 ms -0.97% (-5.63% to +6.83%)

Flock

benchmark threads runner measure base this PR change
flock-mul-batch-262144 16 x86-64 Proving time 102.26 ms 97.85 ms -1.83% (-15.46% to -0.61%)

leanSPHINCS

benchmark threads runner measure base this PR change
leansphincs-26 16 x86-64 Proving time 131.43 ms 134.78 ms +1.64% (+0.15% to +7.02%)
Prover stages
benchmark threads runner base this PR change
leansphincs-26 16 arm64 189.18 ms 188.69 ms -0.44% (-1.52% to +0.95%)
 ↳ build-witness 5.66 ms 5.64 ms +0.36% (-1.03% to +0.90%)
 ↳ commit 24.10 ms 24.09 ms -0.06% (-0.50% to +0.57%)
 ↳ execute-program 11.68 ms 11.62 ms +0.68% (-2.84% to +12.57%)
 ↳ flock-reductions 62.41 ms 62.29 ms +0.04% (-4.05% to +1.98%)
 ↳ pcs-open 65.98 ms 65.59 ms -0.14% (-2.02% to +0.36%)
 ↳ prove-bus 15.07 ms 15.06 ms +0.06% (-0.09% to +0.52%)
 ↳ prove-constraints 4.20 ms 4.26 ms +1.59% (+0.71% to +2.83%)
leansphincs-26 16 x86-64 131.43 ms 134.78 ms +1.64% (+0.15% to +7.02%)
 ↳ build-witness 7.82 ms 8.11 ms +2.75% (+0.35% to +3.71%)
 ↳ commit 14.28 ms 15.15 ms +5.80% (-0.11% to +6.74%)
 ↳ execute-program 14.58 ms 14.59 ms +0.07% (-0.18% to +2.09%)
 ↳ flock-reductions 39.37 ms 40.44 ms +0.80% (-2.91% to +7.90%)
 ↳ pcs-open 39.47 ms 39.85 ms +0.84% (-0.54% to +10.93%)
 ↳ prove-bus 11.21 ms 11.77 ms +4.89% (+1.34% to +5.98%)
 ↳ prove-constraints 4.97 ms 4.95 ms +0.00% (-1.46% to +3.19%)

leanXMSS

benchmark threads runner measure base this PR change
leanxmss-100 1 x86-64 Verifying time 4.10 ms 4.15 ms +1.16% (+0.59% to +1.84%)
Prover stages
benchmark threads runner base this PR change
aggregate-leanxmss-100-2to1-first 8 x86-64 117.17 ms 116.87 ms -0.37% (-7.87% to +1.64%)
 ↳ build-circuit 14.11 ms 14.09 ms -0.56% (-1.24% to +0.24%)
 ↳ prove-recursion 86.89 ms 86.82 ms -0.07% (-10.01% to +0.16%)
 ↳ reduce-claims 6.28 ms 6.57 ms +4.03% (-8.36% to +31.44%)
 ↳ reduce-in-rows 1.66 ms 1.76 ms +4.71% (+2.12% to +7.37%)
 ↳ verify 7.80 ms 7.82 ms +0.28% (-0.70% to +2.66%)
aggregate-leanxmss-100-2to1-first 16 x86-64 92.87 ms 93.41 ms +0.11% (-2.18% to +1.91%)
 ↳ build-circuit 14.09 ms 14.20 ms +0.78% (-4.30% to +2.69%)
 ↳ prove-recursion 63.15 ms 61.78 ms -0.32% (-2.89% to +2.58%)
 ↳ reduce-claims 7.36 ms 7.15 ms +0.35% (-11.67% to +22.51%)
 ↳ reduce-in-rows 1.60 ms 1.71 ms +3.71% (+0.75% to +16.44%)
 ↳ verify 8.22 ms 8.23 ms -0.34% (-3.73% to +0.80%)
aggregate-leanxmss-100-2to1-node 16 arm64 110.86 ms 111.11 ms +0.41% (+0.01% to +1.55%)
 ↳ build-circuit 11.06 ms 11.00 ms -0.18% (-1.96% to +1.46%)
 ↳ prove-recursion 86.01 ms 86.18 ms +0.48% (+0.15% to +1.69%)
 ↳ reduce-claims 6.50 ms 6.57 ms +2.26% (-1.99% to +2.33%)
 ↳ reduce-in-rows 1.45 ms 1.43 ms -1.29% (-2.39% to -0.78%)
aggregate-leanxmss-100-2to1-node 16 x86-64 95.10 ms 97.20 ms +3.05% (-1.69% to +6.01%)
 ↳ build-circuit 15.19 ms 14.98 ms -2.32% (-4.21% to +4.20%)
 ↳ prove-recursion 61.78 ms 64.56 ms +3.87% (+0.03% to +9.11%)
 ↳ reduce-claims 8.70 ms 8.93 ms +1.94% (-16.90% to +30.40%)
 ↳ reduce-in-rows 1.83 ms 1.85 ms -1.00% (-1.28% to +9.81%)
aggregate-leanxmss-100-4to1-first 1 arm64 1.96 s 1.95 s -0.05% (-0.64% to +0.91%)
 ↳ build-circuit 25.04 ms 25.45 ms +1.98% (+0.15% to +2.68%)
 ↳ prove-recursion 1.89 s 1.89 s -0.07% (-0.71% to +0.87%)
 ↳ reduce-claims 21.29 ms 21.26 ms +0.77% (-1.52% to +1.70%)
 ↳ reduce-in-rows 2.69 ms 2.71 ms +1.00% (-1.71% to +5.59%)
 ↳ verify 13.49 ms 13.72 ms +1.63% (-0.03% to +2.85%)
aggregate-leanxmss-100-4to1-first 8 x86-64 223.07 ms 222.03 ms -0.24% (-1.72% to -0.05%)
 ↳ build-circuit 31.28 ms 31.06 ms -0.77% (-3.24% to +3.08%)
 ↳ prove-recursion 164.69 ms 164.30 ms -0.30% (-1.36% to +0.15%)
 ↳ reduce-claims 7.73 ms 7.56 ms -2.22% (-17.90% to +6.27%)
 ↳ reduce-in-rows 3.55 ms 3.67 ms +5.30% (+1.81% to +7.75%)
 ↳ verify 15.25 ms 15.00 ms -0.68% (-1.97% to +0.75%)
aggregate-leanxmss-100-4to1-first 16 x86-64 166.04 ms 167.07 ms +0.62% (-3.28% to +4.46%)
 ↳ build-circuit 30.43 ms 30.53 ms +0.55% (-1.84% to +3.63%)
 ↳ prove-recursion 107.70 ms 109.55 ms +3.40% (-5.26% to +4.41%)
 ↳ reduce-claims 6.99 ms 7.06 ms +2.41% (-22.07% to +21.91%)
 ↳ reduce-in-rows 3.50 ms 3.57 ms +2.22% (+0.93% to +9.28%)
 ↳ verify 15.56 ms 15.64 ms +0.16% (-2.79% to +2.86%)
aggregate-leanxmss-100-4to1-node 16 arm64 217.02 ms 216.55 ms -0.25% (-1.18% to +0.33%)
 ↳ build-circuit 24.33 ms 24.25 ms -0.23% (-1.23% to -0.03%)
 ↳ prove-recursion 167.41 ms 167.11 ms -0.13% (-1.64% to +0.30%)
 ↳ reduce-claims 9.42 ms 9.62 ms +2.05% (+0.45% to +3.73%)
 ↳ reduce-in-rows 2.92 ms 2.92 ms +0.45% (-5.47% to +1.21%)
aggregate-leanxmss-100-4to1-node 16 x86-64 171.65 ms 175.02 ms +1.96% (-2.54% to +4.82%)
 ↳ build-circuit 34.88 ms 34.73 ms +0.08% (-0.41% to +1.18%)
 ↳ prove-recursion 108.21 ms 111.42 ms +2.96% (-4.87% to +6.27%)
 ↳ reduce-claims 11.64 ms 12.71 ms +3.92% (-8.26% to +11.37%)
 ↳ reduce-in-rows 3.93 ms 4.04 ms +3.32% (+1.20% to +3.79%)
Every result

BLAKE2s

benchmark threads runner CPU measure base this PR change
hash-50000 16 arm64 Neoverse-V2 Proving time 537.75 ms 537.64 ms +0.03% (-0.31% to +0.23%)
hash-50000 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 342.89 ms 343.72 ms -0.23% (-5.73% to +5.82%)
hash-50000 16 arm64 Neoverse-V2 Verifying time 3.98 ms 3.98 ms -0.06% (-0.28% to +0.51%)
hash-50000 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 4.26 ms 4.29 ms +0.77% (-0.14% to +1.33%)
blake2s-batch 16 arm64 Neoverse-V2 Time per operation 2.92 ns 2.89 ns -0.86% (-0.96% to +1.00%)
blake2s-batch 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Time per operation 1.06 ns 1.06 ns +0.95% (-0.47% to +14.66%)
hash-50000 16 arm64 Neoverse-V2 Proof size 326,742 B 326,742 B 0 B (+0.00%)
hash-50000 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 326,742 B 326,742 B 0 B (+0.00%)
hash-50000 16 arm64 Neoverse-V2 Peak memory 4943.65 MiB 4946.25 MiB +0.06% (-0.10% to +0.19%)
hash-50000 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 2186.88 MiB 2186.68 MiB -0.03% (-0.07% to +0.34%)
hash-50000 16 arm64 Neoverse-V2 Peak heap 4400.82 MiB 4400.78 MiB +0.00% (-0.00% to +0.01%)
hash-50000 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 1917.30 MiB 1917.30 MiB -0.00% (-0.01% to +0.00%)
hash-50000 16 arm64 Neoverse-V2 Allocations 16,455 16,455 +0.00% (+0.00% to +0.00%)
hash-50000 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 17,083 17,081 -0.01% (-0.02% to +0.01%)
Prover stages
benchmark threads runner CPU base this PR change
hash-50000 16 arm64 Neoverse-V2 537.75 ms 537.64 ms +0.03% (-0.31% to +0.23%)
 ↳ build-witness 19.84 ms 19.83 ms +0.05% (-0.34% to +0.07%)
 ↳ commit 83.94 ms 83.79 ms -0.18% (-0.83% to +0.64%)
 ↳ execute-program 23.24 ms 23.29 ms +0.21% (-2.14% to +1.56%)
 ↳ flock-reductions 170.48 ms 170.16 ms -0.19% (-0.37% to +0.10%)
 ↳ pcs-open 203.24 ms 203.40 ms -0.10% (-0.28% to +0.65%)
 ↳ prove-bus 29.93 ms 29.94 ms +0.17% (-0.35% to +0.32%)
 ↳ prove-constraints 7.04 ms 7.02 ms +0.50% (-1.04% to +1.13%)
hash-50000 16 x86-64 INTEL(R) XEON(R) GOLD 6548N 342.89 ms 343.72 ms -0.23% (-5.73% to +5.82%)
 ↳ build-witness 22.24 ms 22.32 ms +0.46% (-7.39% to +7.38%)
 ↳ commit 48.92 ms 48.95 ms -0.25% (-4.54% to +11.55%)
 ↳ execute-program 29.90 ms 29.57 ms -0.89% (-1.78% to +0.81%)
 ↳ flock-reductions 88.27 ms 92.43 ms +3.53% (-1.97% to +5.58%)
 ↳ pcs-open 121.10 ms 120.84 ms -4.12% (-10.54% to +4.50%)
 ↳ prove-bus 20.91 ms 20.99 ms +0.37% (-6.17% to +7.28%)
 ↳ prove-constraints 8.44 ms 8.57 ms +2.50% (-2.49% to +3.95%)

Fibonacci

benchmark threads runner CPU measure base this PR change
fibonacci-asm-2000000 16 arm64 Neoverse-V2 Proving time 861.33 ms 861.05 ms -0.06% (-1.22% to +6.83%)
fibonacci-asm-2000000 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 524.39 ms 526.45 ms -0.79% (-4.29% to +6.40%)
fibonacci-asm-2000000 16 arm64 Neoverse-V2 Verifying time 4.00 ms 3.99 ms -0.20% (-3.18% to +0.19%)
fibonacci-asm-2000000 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 4.29 ms 4.29 ms +0.15% (-0.81% to +0.31%)
fibonacci-asm-2000000 16 arm64 Neoverse-V2 Proof size 366,742 B 366,742 B 0 B (+0.00%)
fibonacci-asm-2000000 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 366,742 B 366,742 B 0 B (+0.00%)
fibonacci-asm-2000000 16 arm64 Neoverse-V2 Peak memory 7639.67 MiB 7640.41 MiB +0.01% (-0.03% to +0.09%)
fibonacci-asm-2000000 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 3565.52 MiB 3565.76 MiB -0.04% (-0.09% to +0.25%)
fibonacci-asm-2000000 16 arm64 Neoverse-V2 Peak heap 7049.82 MiB 7049.79 MiB -0.00% (-0.00% to +0.00%)
fibonacci-asm-2000000 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 3307.35 MiB 3307.39 MiB +0.00% (-0.01% to +0.00%)
fibonacci-asm-2000000 16 arm64 Neoverse-V2 Allocations 11,483 11,483 +0.00% (+0.00% to +0.01%)
fibonacci-asm-2000000 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 12,073 12,073 +0.00% (-0.01% to +0.00%)
Prover stages
benchmark threads runner CPU base this PR change
fibonacci-asm-2000000 16 arm64 Neoverse-V2 861.33 ms 861.05 ms -0.06% (-1.22% to +6.83%)
 ↳ build-witness 29.32 ms 29.44 ms +0.17% (-2.32% to +41.40%)
 ↳ commit 128.73 ms 128.14 ms -0.16% (-0.93% to +8.41%)
 ↳ execute-program 65.00 ms 64.48 ms -0.29% (-2.86% to +49.38%)
 ↳ flock-reductions 293.96 ms 294.33 ms +0.14% (-2.11% to +1.80%)
 ↳ pcs-open 273.72 ms 273.84 ms -0.02% (-1.05% to +0.43%)
 ↳ prove-bus 59.60 ms 59.60 ms -0.14% (-0.16% to +0.12%)
 ↳ prove-constraints 10.82 ms 10.79 ms -0.46% (-0.68% to +0.79%)
fibonacci-asm-2000000 16 x86-64 INTEL(R) XEON(R) GOLD 6548N 524.39 ms 526.45 ms -0.79% (-4.29% to +6.40%)
 ↳ build-witness 39.13 ms 38.76 ms -0.57% (-2.57% to +2.10%)
 ↳ commit 71.70 ms 71.72 ms +0.03% (-0.50% to +5.35%)
 ↳ execute-program 73.14 ms 72.60 ms -1.04% (-1.34% to -0.15%)
 ↳ flock-reductions 131.03 ms 133.76 ms -0.02% (-8.67% to +14.02%)
 ↳ pcs-open 158.84 ms 157.84 ms -0.53% (-5.92% to +5.20%)
 ↳ prove-bus 37.68 ms 37.85 ms +0.71% (-0.88% to +4.51%)
 ↳ prove-constraints 13.75 ms 13.64 ms -0.97% (-5.63% to +6.83%)

Field and transpose kernels

benchmark threads runner CPU measure base this PR change
f192-inv default arm64 Neoverse-V2 Time per operation 245.02 ns 245.01 ns +0.00% (-0.02% to +0.10%)
f192-inv default x86-64 INTEL(R) XEON(R) GOLD 6548N Time per operation 232.69 ns 234.62 ns +0.69% (-0.75% to +7.73%)
f192-mul-latency default arm64 Neoverse-V2 Time per operation 8.02 ns 8.03 ns -0.15% (-0.37% to +0.24%)
f192-mul-latency default x86-64 INTEL(R) XEON(R) GOLD 6548N Time per operation 6.84 ns 6.84 ns +0.30% (+0.03% to +2.79%)
f192-mul-throughput default arm64 Neoverse-V2 Time per operation 2.94 ns 2.94 ns +0.00% (-0.27% to +0.03%)
f192-mul-throughput default x86-64 INTEL(R) XEON(R) GOLD 6548N Time per operation 3.91 ns 4.20 ns +8.66% (-0.89% to +14.02%)
f192-mul4-latency default arm64 Neoverse-V2 Time per operation 13.08 ns 13.17 ns +0.70% (+0.03% to +1.13%)
f192-mul4-latency default x86-64 INTEL(R) XEON(R) GOLD 6548N Time per operation 8.99 ns 9.04 ns -0.07% (-4.64% to +2.57%)
f192-mul4-throughput default arm64 Neoverse-V2 Time per operation 10.76 ns 10.76 ns -0.01% (-0.27% to +0.08%)
f192-mul4-throughput default x86-64 INTEL(R) XEON(R) GOLD 6548N Time per operation 13.91 ns 13.89 ns +1.01% (-1.96% to +7.08%)
f192-square default arm64 Neoverse-V2 Time per operation 1.70 ns 1.70 ns +0.12% (+0.06% to +0.29%)
f192-square default x86-64 INTEL(R) XEON(R) GOLD 6548N Time per operation 2.87 ns 2.88 ns +0.00% (-0.93% to +14.23%)
f64-inv default arm64 Neoverse-V2 Time per operation 211.53 ns 211.60 ns +0.02% (-0.01% to +0.04%)
f64-inv default x86-64 INTEL(R) XEON(R) GOLD 6548N Time per operation 213.06 ns 231.71 ns +3.56% (-1.74% to +12.17%)
f64-mul default arm64 Neoverse-V2 Time per operation 0.56 ns 0.56 ns +0.00% (-0.18% to +0.00%)
f64-mul default x86-64 INTEL(R) XEON(R) GOLD 6548N Time per operation 0.77 ns 0.77 ns -0.26% (-0.76% to +6.48%)
f64-square default arm64 Neoverse-V2 Time per operation 0.55 ns 0.55 ns +0.18% (+0.00% to +1.10%)
f64-square default x86-64 INTEL(R) XEON(R) GOLD 6548N Time per operation 0.93 ns 0.93 ns -0.32% (-0.88% to +0.00%)
transpose-64bytes default arm64 Neoverse-V2 Time per operation 12.00 ns 12.00 ns -0.02% (-0.04% to +0.03%)
transpose-64bytes default x86-64 INTEL(R) XEON(R) GOLD 6548N Time per operation 0.70 ns 0.70 ns -0.57% (-2.68% to +16.02%)
transpose-64x64 default arm64 Neoverse-V2 Time per operation 96.45 ns 96.42 ns -0.06% (-0.09% to +0.11%)
transpose-64x64 default x86-64 INTEL(R) XEON(R) GOLD 6548N Time per operation 65.19 ns 65.10 ns -1.25% (-5.89% to +0.63%)

Flock

benchmark threads runner CPU measure base this PR change
flock-alu-batch-262144 16 arm64 Neoverse-V2 Proving time 53.17 ms 52.98 ms -0.20% (-0.84% to +11.64%)
flock-alu-batch-262144 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 31.78 ms 31.37 ms -0.74% (-8.71% to +8.58%)
flock-div-batch-262144 16 arm64 Neoverse-V2 Proving time 387.50 ms 388.27 ms +0.26% (+0.03% to +2.59%)
flock-div-batch-262144 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 179.80 ms 180.38 ms +0.35% (-0.47% to +0.98%)
flock-hash-batch-262144 16 arm64 Neoverse-V2 Proving time 805.69 ms 807.77 ms +0.38% (-0.10% to +0.73%)
flock-hash-batch-262144 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 376.94 ms 377.59 ms +0.02% (-0.33% to +2.14%)
flock-ld-batch-262144 16 arm64 Neoverse-V2 Proving time 16.59 ms 16.53 ms -0.09% (-1.50% to +2.99%)
flock-ld-batch-262144 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 10.33 ms 10.12 ms -1.44% (-7.99% to +0.64%)
flock-load-batch-262144 16 arm64 Neoverse-V2 Proving time 53.58 ms 53.75 ms +0.68% (-0.33% to +1.94%)
flock-load-batch-262144 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 31.50 ms 31.47 ms -0.08% (-8.19% to +14.39%)
flock-mul-batch-262144 16 arm64 Neoverse-V2 Proving time 197.58 ms 197.50 ms -0.11% (-0.33% to +0.31%)
flock-mul-batch-262144 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 102.26 ms 97.85 ms -1.83% (-15.46% to -0.61%)
flock-mulh-batch-262144 16 arm64 Neoverse-V2 Proving time 379.38 ms 380.42 ms +0.34% (-0.88% to +0.53%)
flock-mulh-batch-262144 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 178.85 ms 178.19 ms -0.17% (-0.38% to +0.44%)
flock-sd-batch-262144 16 arm64 Neoverse-V2 Proving time 17.27 ms 17.06 ms -0.52% (-15.83% to +0.54%)
flock-sd-batch-262144 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 10.25 ms 9.91 ms -7.63% (-18.23% to +1.79%)
flock-shift-batch-262144 16 arm64 Neoverse-V2 Proving time 53.63 ms 53.63 ms -0.00% (-0.51% to +0.08%)
flock-shift-batch-262144 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 30.58 ms 27.51 ms -10.03% (-23.85% to +1.51%)
flock-store-batch-262144 16 arm64 Neoverse-V2 Proving time 51.88 ms 51.74 ms -0.22% (-2.71% to +0.24%)
flock-store-batch-262144 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 30.93 ms 30.98 ms -3.60% (-8.05% to +6.76%)

PCS

benchmark threads runner CPU measure base this PR change
pcs-commit-22 16 arm64 Neoverse-V2 Proving time 7.38 ms 7.40 ms -0.18% (-14.55% to +3.25%)
pcs-commit-22 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 5.41 ms 5.30 ms -1.07% (-12.13% to +23.21%)
pcs-open-22 16 arm64 Neoverse-V2 Proving time 15.74 ms 15.81 ms -0.10% (-15.25% to +1.80%)
pcs-open-22 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 19.04 ms 18.58 ms -1.66% (-8.59% to +4.86%)
ntt-forward-22 16 arm64 Neoverse-V2 Time per operation 3.68 ms 3.68 ms -0.04% (-0.90% to +1.97%)
ntt-forward-22 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Time per operation 3.03 ms 3.03 ms +0.15% (-7.81% to +8.53%)

leanSPHINCS

benchmark threads runner CPU measure base this PR change
leansphincs-26 16 arm64 Neoverse-V2 Proving time 189.18 ms 188.69 ms -0.44% (-1.52% to +0.95%)
leansphincs-26 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 131.43 ms 134.78 ms +1.64% (+0.15% to +7.02%)
leansphincs-26 16 arm64 Neoverse-V2 Verifying time 3.97 ms 3.97 ms -0.10% (-0.82% to +0.74%)
leansphincs-26 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 4.24 ms 4.27 ms +0.66% (-1.98% to +2.76%)
leansphincs-26 16 arm64 Neoverse-V2 Proof size 319,734 B 319,734 B 0 B (+0.00%)
leansphincs-26 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 319,734 B 319,734 B 0 B (+0.00%)
leansphincs-26 16 arm64 Neoverse-V2 Peak memory 1995.44 MiB 1993.72 MiB -0.07% (-0.47% to +0.24%)
leansphincs-26 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 812.04 MiB 812.03 MiB -0.00% (-0.25% to +0.03%)
leansphincs-26 16 arm64 Neoverse-V2 Peak heap 1395.56 MiB 1395.61 MiB +0.00% (-0.00% to +0.01%)
leansphincs-26 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 649.86 MiB 649.80 MiB -0.01% (-0.02% to +0.02%)
leansphincs-26 16 arm64 Neoverse-V2 Allocations 25,188 25,188 +0.00% (+0.00% to +0.00%)
leansphincs-26 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 25,872 25,871 +0.00% (-0.00% to +0.03%)
Prover stages
benchmark threads runner CPU base this PR change
leansphincs-26 16 arm64 Neoverse-V2 189.18 ms 188.69 ms -0.44% (-1.52% to +0.95%)
 ↳ build-witness 5.66 ms 5.64 ms +0.36% (-1.03% to +0.90%)
 ↳ commit 24.10 ms 24.09 ms -0.06% (-0.50% to +0.57%)
 ↳ execute-program 11.68 ms 11.62 ms +0.68% (-2.84% to +12.57%)
 ↳ flock-reductions 62.41 ms 62.29 ms +0.04% (-4.05% to +1.98%)
 ↳ pcs-open 65.98 ms 65.59 ms -0.14% (-2.02% to +0.36%)
 ↳ prove-bus 15.07 ms 15.06 ms +0.06% (-0.09% to +0.52%)
 ↳ prove-constraints 4.20 ms 4.26 ms +1.59% (+0.71% to +2.83%)
leansphincs-26 16 x86-64 INTEL(R) XEON(R) GOLD 6548N 131.43 ms 134.78 ms +1.64% (+0.15% to +7.02%)
 ↳ build-witness 7.82 ms 8.11 ms +2.75% (+0.35% to +3.71%)
 ↳ commit 14.28 ms 15.15 ms +5.80% (-0.11% to +6.74%)
 ↳ execute-program 14.58 ms 14.59 ms +0.07% (-0.18% to +2.09%)
 ↳ flock-reductions 39.37 ms 40.44 ms +0.80% (-2.91% to +7.90%)
 ↳ pcs-open 39.47 ms 39.85 ms +0.84% (-0.54% to +10.93%)
 ↳ prove-bus 11.21 ms 11.77 ms +4.89% (+1.34% to +5.98%)
 ↳ prove-constraints 4.97 ms 4.95 ms +0.00% (-1.46% to +3.19%)

leanXMSS

benchmark threads runner CPU measure base this PR change
aggregate-leanxmss-100-2to1-first 1 arm64 Neoverse-V2 Proving time 977.64 ms 975.62 ms -0.26% (-3.13% to +0.55%)
aggregate-leanxmss-100-2to1-first 4 arm64 Neoverse-V2 Proving time 274.96 ms 275.19 ms +0.25% (-0.68% to +0.56%)
aggregate-leanxmss-100-2to1-first 8 arm64 Neoverse-V2 Proving time 160.53 ms 160.49 ms +0.00% (-0.23% to +0.29%)
aggregate-leanxmss-100-2to1-first 16 arm64 Neoverse-V2 Proving time 106.81 ms 107.73 ms +0.34% (-2.57% to +3.08%)
aggregate-leanxmss-100-2to1-first 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 589.47 ms 590.92 ms +0.24% (-2.17% to +1.80%)
aggregate-leanxmss-100-2to1-first 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 184.32 ms 183.45 ms +0.34% (-0.95% to +0.83%)
aggregate-leanxmss-100-2to1-first 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 117.17 ms 116.87 ms -0.37% (-7.87% to +1.64%)
aggregate-leanxmss-100-2to1-first 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 92.87 ms 93.41 ms +0.11% (-2.18% to +1.91%)
aggregate-leanxmss-100-2to1-node 1 arm64 Neoverse-V2 Proving time 1.03 s 1.03 s -0.14% (-4.00% to +0.57%)
aggregate-leanxmss-100-2to1-node 4 arm64 Neoverse-V2 Proving time 287.98 ms 287.37 ms -0.17% (-0.46% to +0.55%)
aggregate-leanxmss-100-2to1-node 8 arm64 Neoverse-V2 Proving time 168.17 ms 168.61 ms +0.32% (-0.14% to +0.47%)
aggregate-leanxmss-100-2to1-node 16 arm64 Neoverse-V2 Proving time 110.86 ms 111.11 ms +0.41% (+0.01% to +1.55%)
aggregate-leanxmss-100-2to1-node 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 619.85 ms 621.62 ms +0.29% (-1.20% to +1.37%)
aggregate-leanxmss-100-2to1-node 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 192.89 ms 193.00 ms +0.08% (-0.89% to +0.55%)
aggregate-leanxmss-100-2to1-node 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 120.66 ms 122.79 ms +1.27% (-2.13% to +4.03%)
aggregate-leanxmss-100-2to1-node 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 95.10 ms 97.20 ms +3.05% (-1.69% to +6.01%)
aggregate-leanxmss-100-4to1-first 1 arm64 Neoverse-V2 Proving time 1.96 s 1.95 s -0.05% (-0.64% to +0.91%)
aggregate-leanxmss-100-4to1-first 4 arm64 Neoverse-V2 Proving time 536.46 ms 537.78 ms +0.04% (-0.22% to +0.30%)
aggregate-leanxmss-100-4to1-first 8 arm64 Neoverse-V2 Proving time 312.29 ms 311.71 ms -0.26% (-0.56% to +5.10%)
aggregate-leanxmss-100-4to1-first 16 arm64 Neoverse-V2 Proving time 199.56 ms 199.45 ms -0.11% (-0.54% to +0.30%)
aggregate-leanxmss-100-4to1-first 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 1.17 s 1.17 s -0.23% (-0.54% to -0.13%)
aggregate-leanxmss-100-4to1-first 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 363.04 ms 364.10 ms -0.23% (-1.38% to +1.87%)
aggregate-leanxmss-100-4to1-first 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 223.07 ms 222.03 ms -0.24% (-1.72% to -0.05%)
aggregate-leanxmss-100-4to1-first 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 166.04 ms 167.07 ms +0.62% (-3.28% to +4.46%)
aggregate-leanxmss-100-4to1-node 1 arm64 Neoverse-V2 Proving time 2.12 s 2.14 s -0.23% (-0.41% to +8.41%)
aggregate-leanxmss-100-4to1-node 4 arm64 Neoverse-V2 Proving time 582.11 ms 582.58 ms +0.21% (-0.15% to +0.26%)
aggregate-leanxmss-100-4to1-node 8 arm64 Neoverse-V2 Proving time 338.32 ms 337.60 ms -0.11% (-0.62% to +1.79%)
aggregate-leanxmss-100-4to1-node 16 arm64 Neoverse-V2 Proving time 217.02 ms 216.55 ms -0.25% (-1.18% to +0.33%)
aggregate-leanxmss-100-4to1-node 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 1.27 s 1.27 s -0.33% (-1.43% to +0.20%)
aggregate-leanxmss-100-4to1-node 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 394.76 ms 393.97 ms -0.23% (-3.94% to +0.67%)
aggregate-leanxmss-100-4to1-node 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 238.47 ms 240.09 ms -0.12% (-0.57% to +1.06%)
aggregate-leanxmss-100-4to1-node 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 171.65 ms 175.02 ms +1.96% (-2.54% to +4.82%)
leanxmss-100 1 arm64 Neoverse-V2 Proving time 1.87 s 1.87 s +0.22% (-0.18% to +0.31%)
leanxmss-100 4 arm64 Neoverse-V2 Proving time 494.19 ms 494.04 ms +0.07% (-0.07% to +0.19%)
leanxmss-100 8 arm64 Neoverse-V2 Proving time 276.33 ms 276.58 ms +0.08% (-0.19% to +0.45%)
leanxmss-100 16 arm64 Neoverse-V2 Proving time 169.31 ms 169.57 ms +0.12% (-0.14% to +0.29%)
leanxmss-100 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 1.05 s 1.05 s +0.56% (-0.32% to +1.33%)
leanxmss-100 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 296.77 ms 296.58 ms -0.20% (-0.64% to +0.43%)
leanxmss-100 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 174.50 ms 174.31 ms -0.21% (-0.44% to +0.19%)
leanxmss-100 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proving time 124.41 ms 124.90 ms +0.40% (-7.66% to +9.14%)
aggregate-leanxmss-100-2to1-first 1 arm64 Neoverse-V2 Verifying time 4.62 ms 4.61 ms -0.37% (-4.29% to +0.08%)
aggregate-leanxmss-100-2to1-first 4 arm64 Neoverse-V2 Verifying time 3.45 ms 3.45 ms -0.46% (-0.60% to +0.26%)
aggregate-leanxmss-100-2to1-first 8 arm64 Neoverse-V2 Verifying time 3.35 ms 3.35 ms -0.27% (-0.78% to -0.16%)
aggregate-leanxmss-100-2to1-first 16 arm64 Neoverse-V2 Verifying time 3.41 ms 3.40 ms -0.06% (-1.97% to +0.34%)
aggregate-leanxmss-100-2to1-first 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 5.10 ms 5.04 ms -1.04% (-2.29% to +0.82%)
aggregate-leanxmss-100-2to1-first 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 3.69 ms 3.72 ms +0.61% (-0.01% to +4.53%)
aggregate-leanxmss-100-2to1-first 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 3.74 ms 3.70 ms -0.41% (-4.74% to +0.88%)
aggregate-leanxmss-100-2to1-first 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 3.99 ms 3.98 ms -1.81% (-3.31% to +0.81%)
aggregate-leanxmss-100-2to1-node 1 arm64 Neoverse-V2 Verifying time 7.39 ms 7.32 ms -2.02% (-3.74% to +3.47%)
aggregate-leanxmss-100-2to1-node 4 arm64 Neoverse-V2 Verifying time 4.22 ms 4.18 ms -0.84% (-0.99% to +0.69%)
aggregate-leanxmss-100-2to1-node 8 arm64 Neoverse-V2 Verifying time 3.80 ms 3.79 ms -0.46% (-1.47% to -0.02%)
aggregate-leanxmss-100-2to1-node 16 arm64 Neoverse-V2 Verifying time 3.69 ms 3.68 ms -0.32% (-1.13% to +0.33%)
aggregate-leanxmss-100-2to1-node 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 8.12 ms 7.98 ms -0.87% (-3.09% to +1.57%)
aggregate-leanxmss-100-2to1-node 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 4.61 ms 4.63 ms +0.68% (-2.02% to +1.72%)
aggregate-leanxmss-100-2to1-node 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 4.19 ms 4.18 ms -0.11% (-3.42% to +2.87%)
aggregate-leanxmss-100-2to1-node 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 4.05 ms 4.02 ms +0.70% (-3.13% to +4.19%)
aggregate-leanxmss-100-4to1-first 1 arm64 Neoverse-V2 Verifying time 5.49 ms 5.58 ms +1.77% (-0.86% to +3.09%)
aggregate-leanxmss-100-4to1-first 4 arm64 Neoverse-V2 Verifying time 3.84 ms 3.84 ms +0.12% (-0.32% to +0.21%)
aggregate-leanxmss-100-4to1-first 8 arm64 Neoverse-V2 Verifying time 3.74 ms 3.71 ms -0.70% (-1.61% to +1.36%)
aggregate-leanxmss-100-4to1-first 16 arm64 Neoverse-V2 Verifying time 3.69 ms 3.67 ms -0.40% (-1.41% to +1.28%)
aggregate-leanxmss-100-4to1-first 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 5.06 ms 5.03 ms -0.75% (-2.25% to +1.54%)
aggregate-leanxmss-100-4to1-first 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 4.13 ms 4.16 ms +1.31% (-2.97% to +2.90%)
aggregate-leanxmss-100-4to1-first 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 3.97 ms 3.96 ms -0.75% (-2.16% to +3.10%)
aggregate-leanxmss-100-4to1-first 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 4.01 ms 3.97 ms -0.40% (-6.48% to +0.83%)
aggregate-leanxmss-100-4to1-node 1 arm64 Neoverse-V2 Verifying time 11.03 ms 10.87 ms -1.83% (-3.36% to +1.16%)
aggregate-leanxmss-100-4to1-node 4 arm64 Neoverse-V2 Verifying time 5.29 ms 5.27 ms +0.70% (-1.73% to +2.50%)
aggregate-leanxmss-100-4to1-node 8 arm64 Neoverse-V2 Verifying time 4.52 ms 4.54 ms -0.81% (-2.47% to +2.98%)
aggregate-leanxmss-100-4to1-node 16 arm64 Neoverse-V2 Verifying time 4.21 ms 4.20 ms -0.10% (-1.13% to +5.94%)
aggregate-leanxmss-100-4to1-node 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 11.58 ms 11.74 ms +2.94% (-3.36% to +3.40%)
aggregate-leanxmss-100-4to1-node 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 6.05 ms 6.08 ms +1.11% (-3.28% to +1.51%)
aggregate-leanxmss-100-4to1-node 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 4.97 ms 4.98 ms +0.37% (-0.24% to +0.91%)
aggregate-leanxmss-100-4to1-node 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 4.54 ms 4.50 ms -0.48% (-1.49% to +1.50%)
leanxmss-100 1 arm64 Neoverse-V2 Verifying time 3.81 ms 3.80 ms -0.16% (-0.46% to +0.07%)
leanxmss-100 4 arm64 Neoverse-V2 Verifying time 3.73 ms 3.73 ms -0.12% (-0.52% to +0.44%)
leanxmss-100 8 arm64 Neoverse-V2 Verifying time 3.79 ms 3.77 ms -0.36% (-0.84% to -0.20%)
leanxmss-100 16 arm64 Neoverse-V2 Verifying time 4.06 ms 4.06 ms -0.33% (-0.57% to +0.33%)
leanxmss-100 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 4.10 ms 4.15 ms +1.16% (+0.59% to +1.84%)
leanxmss-100 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 4.04 ms 4.04 ms +0.28% (-0.63% to +0.91%)
leanxmss-100 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 4.06 ms 4.07 ms -0.31% (-0.93% to +2.73%)
leanxmss-100 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Verifying time 4.20 ms 4.26 ms +1.61% (-0.50% to +2.02%)
aggregate-leanxmss-100-2to1-first 1 arm64 Neoverse-V2 Proof size 260,427 B 260,427 B 0 B (+0.00%)
aggregate-leanxmss-100-2to1-first 4 arm64 Neoverse-V2 Proof size 260,427 B 260,427 B 0 B (+0.00%)
aggregate-leanxmss-100-2to1-first 8 arm64 Neoverse-V2 Proof size 260,427 B 260,427 B 0 B (+0.00%)
aggregate-leanxmss-100-2to1-first 16 arm64 Neoverse-V2 Proof size 260,427 B 260,427 B 0 B (+0.00%)
aggregate-leanxmss-100-2to1-first 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 260,427 B 260,427 B 0 B (+0.00%)
aggregate-leanxmss-100-2to1-first 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 260,427 B 260,427 B 0 B (+0.00%)
aggregate-leanxmss-100-2to1-first 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 260,427 B 260,427 B 0 B (+0.00%)
aggregate-leanxmss-100-2to1-first 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 260,427 B 260,427 B 0 B (+0.00%)
aggregate-leanxmss-100-2to1-node 1 arm64 Neoverse-V2 Proof size 259,659 B 259,659 B 0 B (+0.00%)
aggregate-leanxmss-100-2to1-node 4 arm64 Neoverse-V2 Proof size 259,659 B 259,659 B 0 B (+0.00%)
aggregate-leanxmss-100-2to1-node 8 arm64 Neoverse-V2 Proof size 259,659 B 259,659 B 0 B (+0.00%)
aggregate-leanxmss-100-2to1-node 16 arm64 Neoverse-V2 Proof size 259,659 B 259,659 B 0 B (+0.00%)
aggregate-leanxmss-100-2to1-node 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 259,659 B 259,659 B 0 B (+0.00%)
aggregate-leanxmss-100-2to1-node 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 259,659 B 259,659 B 0 B (+0.00%)
aggregate-leanxmss-100-2to1-node 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 259,659 B 259,659 B 0 B (+0.00%)
aggregate-leanxmss-100-2to1-node 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 259,659 B 259,659 B 0 B (+0.00%)
aggregate-leanxmss-100-4to1-first 1 arm64 Neoverse-V2 Proof size 283,331 B 283,331 B 0 B (+0.00%)
aggregate-leanxmss-100-4to1-first 4 arm64 Neoverse-V2 Proof size 283,331 B 283,331 B 0 B (+0.00%)
aggregate-leanxmss-100-4to1-first 8 arm64 Neoverse-V2 Proof size 283,331 B 283,331 B 0 B (+0.00%)
aggregate-leanxmss-100-4to1-first 16 arm64 Neoverse-V2 Proof size 283,331 B 283,331 B 0 B (+0.00%)
aggregate-leanxmss-100-4to1-first 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 283,331 B 283,331 B 0 B (+0.00%)
aggregate-leanxmss-100-4to1-first 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 283,331 B 283,331 B 0 B (+0.00%)
aggregate-leanxmss-100-4to1-first 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 283,331 B 283,331 B 0 B (+0.00%)
aggregate-leanxmss-100-4to1-first 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 283,331 B 283,331 B 0 B (+0.00%)
aggregate-leanxmss-100-4to1-node 1 arm64 Neoverse-V2 Proof size 285,027 B 285,027 B 0 B (+0.00%)
aggregate-leanxmss-100-4to1-node 4 arm64 Neoverse-V2 Proof size 285,027 B 285,027 B 0 B (+0.00%)
aggregate-leanxmss-100-4to1-node 8 arm64 Neoverse-V2 Proof size 285,027 B 285,027 B 0 B (+0.00%)
aggregate-leanxmss-100-4to1-node 16 arm64 Neoverse-V2 Proof size 285,027 B 285,027 B 0 B (+0.00%)
aggregate-leanxmss-100-4to1-node 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 285,027 B 285,027 B 0 B (+0.00%)
aggregate-leanxmss-100-4to1-node 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 285,027 B 285,027 B 0 B (+0.00%)
aggregate-leanxmss-100-4to1-node 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 285,027 B 285,027 B 0 B (+0.00%)
aggregate-leanxmss-100-4to1-node 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 285,027 B 285,027 B 0 B (+0.00%)
leanxmss-100 1 arm64 Neoverse-V2 Proof size 307,670 B 307,670 B 0 B (+0.00%)
leanxmss-100 4 arm64 Neoverse-V2 Proof size 307,670 B 307,670 B 0 B (+0.00%)
leanxmss-100 8 arm64 Neoverse-V2 Proof size 307,670 B 307,670 B 0 B (+0.00%)
leanxmss-100 16 arm64 Neoverse-V2 Proof size 307,670 B 307,670 B 0 B (+0.00%)
leanxmss-100 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 307,670 B 307,670 B 0 B (+0.00%)
leanxmss-100 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 307,670 B 307,670 B 0 B (+0.00%)
leanxmss-100 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 307,670 B 307,670 B 0 B (+0.00%)
leanxmss-100 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Proof size 307,670 B 307,670 B 0 B (+0.00%)
aggregate-leanxmss-100-2to1-first 1 arm64 Neoverse-V2 Peak memory 1544.24 MiB 1544.42 MiB +0.01% (+0.01% to +0.01%)
aggregate-leanxmss-100-2to1-first 4 arm64 Neoverse-V2 Peak memory 1581.72 MiB 1581.45 MiB -0.03% (-0.18% to +0.19%)
aggregate-leanxmss-100-2to1-first 8 arm64 Neoverse-V2 Peak memory 1625.51 MiB 1623.89 MiB -0.10% (-0.22% to +0.18%)
aggregate-leanxmss-100-2to1-first 16 arm64 Neoverse-V2 Peak memory 1701.46 MiB 1702.12 MiB -0.11% (-0.53% to +0.38%)
aggregate-leanxmss-100-2to1-first 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 1070.37 MiB 1072.38 MiB +0.00% (-0.16% to +0.21%)
aggregate-leanxmss-100-2to1-first 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 1101.76 MiB 1099.87 MiB -0.11% (-0.22% to +0.07%)
aggregate-leanxmss-100-2to1-first 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 890.42 MiB 891.79 MiB +0.16% (-0.06% to +0.51%)
aggregate-leanxmss-100-2to1-first 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 933.25 MiB 934.47 MiB +0.56% (-0.10% to +0.88%)
aggregate-leanxmss-100-2to1-node 1 arm64 Neoverse-V2 Peak memory 1544.47 MiB 1544.56 MiB +0.01% (+0.00% to +0.01%)
aggregate-leanxmss-100-2to1-node 4 arm64 Neoverse-V2 Peak memory 1582.48 MiB 1582.79 MiB +0.06% (-0.13% to +0.14%)
aggregate-leanxmss-100-2to1-node 8 arm64 Neoverse-V2 Peak memory 1626.96 MiB 1628.89 MiB -0.06% (-0.18% to +0.21%)
aggregate-leanxmss-100-2to1-node 16 arm64 Neoverse-V2 Peak memory 1725.19 MiB 1723.71 MiB -0.24% (-0.39% to -0.09%)
aggregate-leanxmss-100-2to1-node 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 1070.37 MiB 1072.38 MiB +0.00% (-0.16% to +0.21%)
aggregate-leanxmss-100-2to1-node 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 1109.05 MiB 1106.63 MiB -0.10% (-0.38% to +0.15%)
aggregate-leanxmss-100-2to1-node 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 905.57 MiB 908.38 MiB +0.28% (-0.06% to +1.07%)
aggregate-leanxmss-100-2to1-node 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 975.09 MiB 970.90 MiB -0.32% (-0.99% to -0.09%)
aggregate-leanxmss-100-4to1-first 1 arm64 Neoverse-V2 Peak memory 1932.37 MiB 1932.50 MiB +0.01% (-0.00% to +0.02%)
aggregate-leanxmss-100-4to1-first 4 arm64 Neoverse-V2 Peak memory 1971.31 MiB 1969.93 MiB -0.01% (-0.19% to +0.02%)
aggregate-leanxmss-100-4to1-first 8 arm64 Neoverse-V2 Peak memory 2013.28 MiB 2012.68 MiB +0.06% (-0.21% to +0.34%)
aggregate-leanxmss-100-4to1-first 16 arm64 Neoverse-V2 Peak memory 2095.59 MiB 2097.03 MiB +0.10% (-0.90% to +0.45%)
aggregate-leanxmss-100-4to1-first 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 1350.37 MiB 1350.38 MiB +0.02% (+0.00% to +0.04%)
aggregate-leanxmss-100-4to1-first 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 1388.93 MiB 1386.52 MiB -0.05% (-0.40% to +0.05%)
aggregate-leanxmss-100-4to1-first 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 1082.44 MiB 1084.00 MiB +0.00% (-0.29% to +0.36%)
aggregate-leanxmss-100-4to1-first 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 1130.31 MiB 1135.44 MiB +0.37% (-0.49% to +1.22%)
aggregate-leanxmss-100-4to1-node 1 arm64 Neoverse-V2 Peak memory 1936.63 MiB 1936.74 MiB +0.01% (-0.10% to +0.02%)
aggregate-leanxmss-100-4to1-node 4 arm64 Neoverse-V2 Peak memory 1972.43 MiB 1972.88 MiB -0.01% (-0.19% to +0.02%)
aggregate-leanxmss-100-4to1-node 8 arm64 Neoverse-V2 Peak memory 2018.16 MiB 2023.75 MiB +0.21% (-0.40% to +0.60%)
aggregate-leanxmss-100-4to1-node 16 arm64 Neoverse-V2 Peak memory 2125.41 MiB 2122.60 MiB +0.00% (-0.42% to +0.09%)
aggregate-leanxmss-100-4to1-node 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 1354.38 MiB 1356.38 MiB +0.04% (-1.29% to +0.17%)
aggregate-leanxmss-100-4to1-node 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 1402.16 MiB 1400.00 MiB -0.14% (-0.37% to +0.21%)
aggregate-leanxmss-100-4to1-node 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 1103.38 MiB 1106.82 MiB +0.31% (-0.59% to +0.52%)
aggregate-leanxmss-100-4to1-node 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 1170.53 MiB 1171.89 MiB +0.22% (-1.11% to +0.84%)
leanxmss-100 1 arm64 Neoverse-V2 Peak memory 1358.51 MiB 1358.48 MiB +0.00% (-0.01% to +0.00%)
leanxmss-100 4 arm64 Neoverse-V2 Peak memory 1400.47 MiB 1402.26 MiB +0.09% (-0.09% to +0.24%)
leanxmss-100 8 arm64 Neoverse-V2 Peak memory 1439.86 MiB 1442.13 MiB +0.17% (-0.19% to +0.35%)
leanxmss-100 16 arm64 Neoverse-V2 Peak memory 1499.66 MiB 1501.48 MiB +0.20% (-0.04% to +0.24%)
leanxmss-100 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 882.38 MiB 882.37 MiB -0.00% (-0.26% to +0.23%)
leanxmss-100 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 894.55 MiB 895.03 MiB +0.04% (-0.17% to +0.25%)
leanxmss-100 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 674.72 MiB 674.72 MiB +0.02% (-0.30% to +0.06%)
leanxmss-100 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak memory 708.76 MiB 708.76 MiB -0.01% (-0.28% to +0.05%)
aggregate-leanxmss-100-2to1-first 1 arm64 Neoverse-V2 Peak heap 600.45 MiB 600.45 MiB +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-first 4 arm64 Neoverse-V2 Peak heap 600.37 MiB 600.43 MiB +0.01% (-0.02% to +0.02%)
aggregate-leanxmss-100-2to1-first 8 arm64 Neoverse-V2 Peak heap 600.40 MiB 600.35 MiB +0.00% (-0.01% to +0.00%)
aggregate-leanxmss-100-2to1-first 16 arm64 Neoverse-V2 Peak heap 600.35 MiB 600.30 MiB +0.00% (-0.02% to +0.01%)
aggregate-leanxmss-100-2to1-first 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 341.59 MiB 341.59 MiB +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-first 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 341.71 MiB 341.71 MiB +0.00% (-0.00% to +0.00%)
aggregate-leanxmss-100-2to1-first 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 314.78 MiB 314.73 MiB +0.01% (-0.04% to +0.02%)
aggregate-leanxmss-100-2to1-first 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 314.86 MiB 314.77 MiB -0.03% (-0.07% to +0.05%)
aggregate-leanxmss-100-2to1-node 1 arm64 Neoverse-V2 Peak heap 600.12 MiB 600.12 MiB +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-node 4 arm64 Neoverse-V2 Peak heap 600.09 MiB 600.08 MiB -0.00% (-0.00% to +0.00%)
aggregate-leanxmss-100-2to1-node 8 arm64 Neoverse-V2 Peak heap 600.01 MiB 600.02 MiB +0.00% (-0.03% to +0.03%)
aggregate-leanxmss-100-2to1-node 16 arm64 Neoverse-V2 Peak heap 600.03 MiB 600.04 MiB -0.01% (-0.01% to +0.01%)
aggregate-leanxmss-100-2to1-node 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 341.26 MiB 341.26 MiB +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-node 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 341.37 MiB 341.31 MiB -0.02% (-0.02% to +0.00%)
aggregate-leanxmss-100-2to1-node 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 314.52 MiB 314.54 MiB +0.01% (-0.04% to +0.02%)
aggregate-leanxmss-100-2to1-node 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 314.49 MiB 314.37 MiB -0.02% (-0.07% to +0.04%)
aggregate-leanxmss-100-4to1-first 1 arm64 Neoverse-V2 Peak heap 1200.78 MiB 1200.78 MiB +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-4to1-first 4 arm64 Neoverse-V2 Peak heap 1200.76 MiB 1200.76 MiB +0.00% (-0.00% to +0.00%)
aggregate-leanxmss-100-4to1-first 8 arm64 Neoverse-V2 Peak heap 1200.65 MiB 1200.70 MiB +0.00% (+0.00% to +0.01%)
aggregate-leanxmss-100-4to1-first 16 arm64 Neoverse-V2 Peak heap 1200.60 MiB 1200.64 MiB +0.00% (-0.01% to +0.01%)
aggregate-leanxmss-100-4to1-first 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 681.58 MiB 681.58 MiB +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-4to1-first 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 681.62 MiB 681.63 MiB +0.00% (-0.01% to +0.01%)
aggregate-leanxmss-100-4to1-first 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 629.46 MiB 629.49 MiB -0.00% (-0.01% to +0.02%)
aggregate-leanxmss-100-4to1-first 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 629.47 MiB 629.39 MiB -0.01% (-0.02% to -0.01%)
aggregate-leanxmss-100-4to1-node 1 arm64 Neoverse-V2 Peak heap 1200.23 MiB 1200.23 MiB +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-4to1-node 4 arm64 Neoverse-V2 Peak heap 1200.20 MiB 1200.20 MiB -0.00% (-0.00% to +0.01%)
aggregate-leanxmss-100-4to1-node 8 arm64 Neoverse-V2 Peak heap 1200.21 MiB 1200.14 MiB -0.01% (-0.01% to +0.00%)
aggregate-leanxmss-100-4to1-node 16 arm64 Neoverse-V2 Peak heap 1199.97 MiB 1199.98 MiB +0.00% (-0.01% to +0.00%)
aggregate-leanxmss-100-4to1-node 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 681.03 MiB 681.03 MiB +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-4to1-node 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 681.05 MiB 681.05 MiB +0.00% (-0.02% to +0.01%)
aggregate-leanxmss-100-4to1-node 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 628.93 MiB 628.86 MiB -0.00% (-0.03% to +0.01%)
aggregate-leanxmss-100-4to1-node 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 628.95 MiB 628.99 MiB +0.01% (-0.02% to +0.02%)
leanxmss-100 1 arm64 Neoverse-V2 Peak heap 1201.97 MiB 1201.97 MiB +0.00% (+0.00% to +0.00%)
leanxmss-100 4 arm64 Neoverse-V2 Peak heap 1202.07 MiB 1202.02 MiB -0.00% (-0.01% to +0.01%)
leanxmss-100 8 arm64 Neoverse-V2 Peak heap 1201.79 MiB 1201.85 MiB +0.00% (-0.01% to +0.01%)
leanxmss-100 16 arm64 Neoverse-V2 Peak heap 1201.62 MiB 1201.62 MiB -0.00% (-0.01% to +0.02%)
leanxmss-100 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 621.59 MiB 621.59 MiB +0.00% (+0.00% to +0.00%)
leanxmss-100 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 621.69 MiB 621.65 MiB -0.00% (-0.01% to +0.01%)
leanxmss-100 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 557.84 MiB 557.83 MiB +0.01% (-0.01% to +0.01%)
leanxmss-100 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Peak heap 558.07 MiB 558.00 MiB -0.00% (-0.02% to +0.01%)
aggregate-leanxmss-100-2to1-first 1 arm64 Neoverse-V2 Allocations 23,477 23,477 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-first 4 arm64 Neoverse-V2 Allocations 23,594 23,594 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-first 8 arm64 Neoverse-V2 Allocations 23,734 23,734 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-first 16 arm64 Neoverse-V2 Allocations 24,014 24,014 +0.00% (-0.07% to +0.06%)
aggregate-leanxmss-100-2to1-first 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 23,523 23,523 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-first 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 23,643 23,643 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-first 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 23,786 23,786 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-first 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 24,074 24,074 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-node 1 arm64 Neoverse-V2 Allocations 27,366 27,366 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-node 4 arm64 Neoverse-V2 Allocations 27,483 27,483 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-node 8 arm64 Neoverse-V2 Allocations 27,623 27,623 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-node 16 arm64 Neoverse-V2 Allocations 27,903 27,903 +0.00% (-0.07% to +0.00%)
aggregate-leanxmss-100-2to1-node 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 27,412 27,412 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-node 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 27,532 27,532 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-node 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 27,675 27,675 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-2to1-node 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 27,963 27,963 +0.00% (-0.00% to +0.00%)
aggregate-leanxmss-100-4to1-first 1 arm64 Neoverse-V2 Allocations 41,970 41,970 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-4to1-first 4 arm64 Neoverse-V2 Allocations 42,105 42,105 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-4to1-first 8 arm64 Neoverse-V2 Allocations 42,273 42,273 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-4to1-first 16 arm64 Neoverse-V2 Allocations 42,585 42,585 +0.00% (-0.02% to +0.00%)
aggregate-leanxmss-100-4to1-first 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 42,016 42,016 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-4to1-first 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 42,154 42,154 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-4to1-first 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 42,325 42,325 +0.00% (+0.00% to +0.01%)
aggregate-leanxmss-100-4to1-first 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 42,645 42,645 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-4to1-node 1 arm64 Neoverse-V2 Allocations 49,876 49,876 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-4to1-node 4 arm64 Neoverse-V2 Allocations 50,011 50,011 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-4to1-node 8 arm64 Neoverse-V2 Allocations 50,179 50,179 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-4to1-node 16 arm64 Neoverse-V2 Allocations 50,491 50,491 +0.00% (-0.05% to +0.00%)
aggregate-leanxmss-100-4to1-node 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 49,922 49,922 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-4to1-node 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 50,060 50,060 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-4to1-node 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 50,231 50,231 +0.00% (+0.00% to +0.00%)
aggregate-leanxmss-100-4to1-node 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 50,551 50,551 +0.00% (+0.00% to +0.00%)
leanxmss-100 1 arm64 Neoverse-V2 Allocations 24,894 24,894 +0.00% (+0.00% to +0.00%)
leanxmss-100 4 arm64 Neoverse-V2 Allocations 25,112 25,112 +0.00% (+0.00% to +0.00%)
leanxmss-100 8 arm64 Neoverse-V2 Allocations 25,348 25,348 +0.00% (+0.00% to +0.00%)
leanxmss-100 16 arm64 Neoverse-V2 Allocations 25,820 25,820 +0.00% (+0.00% to +0.00%)
leanxmss-100 1 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 25,392 25,392 +0.00% (+0.00% to +0.00%)
leanxmss-100 4 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 25,647 25,647 +0.00% (+0.00% to +0.00%)
leanxmss-100 8 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 25,930 25,930 +0.00% (+0.00% to +0.00%)
leanxmss-100 16 x86-64 INTEL(R) XEON(R) GOLD 6548N Allocations 26,498 26,498 +0.00% (+0.00% to +0.00%)
Prover stages
benchmark threads runner CPU base this PR change
aggregate-leanxmss-100-2to1-first 1 arm64 Neoverse-V2 977.64 ms 975.62 ms -0.26% (-3.13% to +0.55%)
 ↳ build-circuit 12.31 ms 12.32 ms +0.08% (-19.39% to +1.14%)
 ↳ prove-recursion 941.76 ms 939.64 ms -0.26% (-2.35% to +0.52%)
 ↳ reduce-claims 15.32 ms 15.38 ms +0.34% (-20.85% to +1.54%)
 ↳ reduce-in-rows 1.33 ms 1.33 ms +1.15% (-49.98% to +5.87%)
 ↳ verify 6.84 ms 6.83 ms +0.02% (-8.08% to +0.39%)
aggregate-leanxmss-100-2to1-first 4 arm64 Neoverse-V2 274.96 ms 275.19 ms +0.25% (-0.68% to +0.56%)
 ↳ build-circuit 10.49 ms 10.51 ms -0.14% (-0.51% to +0.43%)
 ↳ prove-recursion 251.04 ms 251.17 ms +0.12% (-0.75% to +0.61%)
 ↳ reduce-claims 5.24 ms 5.34 ms +2.49% (-1.51% to +5.44%)
 ↳ reduce-in-rows 1.42 ms 1.37 ms -3.69% (-7.29% to +5.42%)
 ↳ verify 6.72 ms 6.69 ms -0.35% (-0.45% to +0.33%)
aggregate-leanxmss-100-2to1-first 8 arm64 Neoverse-V2 160.53 ms 160.49 ms +0.00% (-0.23% to +0.29%)
 ↳ build-circuit 10.11 ms 10.10 ms -0.32% (-0.50% to +0.48%)
 ↳ prove-recursion 138.13 ms 138.19 ms +0.04% (-0.22% to +0.38%)
 ↳ reduce-claims 4.14 ms 4.09 ms +1.08% (-8.54% to +3.53%)
 ↳ reduce-in-rows 1.32 ms 1.37 ms +2.78% (-8.76% to +7.33%)
 ↳ verify 6.81 ms 6.78 ms -0.39% (-0.77% to +1.47%)
aggregate-leanxmss-100-2to1-first 16 arm64 Neoverse-V2 106.81 ms 107.73 ms +0.34% (-2.57% to +3.08%)
 ↳ build-circuit 10.16 ms 10.17 ms +0.13% (-0.90% to +0.75%)
 ↳ prove-recursion 84.36 ms 84.47 ms +0.14% (-2.80% to +3.90%)
 ↳ reduce-claims 4.09 ms 4.14 ms +1.31% (-8.29% to +18.70%)
 ↳ reduce-in-rows 1.38 ms 1.40 ms +1.04% (-2.76% to +8.23%)
 ↳ verify 7.15 ms 7.14 ms -0.37% (-0.48% to +0.62%)
aggregate-leanxmss-100-2to1-first 1 x86-64 INTEL(R) XEON(R) GOLD 6548N 589.47 ms 590.92 ms +0.24% (-2.17% to +1.80%)
 ↳ build-circuit 15.11 ms 15.16 ms +0.31% (-3.73% to +7.40%)
 ↳ prove-recursion 544.77 ms 546.81 ms +0.08% (-2.32% to +1.70%)
 ↳ reduce-claims 18.58 ms 18.63 ms -0.59% (-3.65% to +4.69%)
 ↳ reduce-in-rows 1.69 ms 1.78 ms +4.22% (-1.23% to +12.07%)
 ↳ verify 7.99 ms 8.11 ms +0.44% (-0.86% to +4.38%)
aggregate-leanxmss-100-2to1-first 4 x86-64 INTEL(R) XEON(R) GOLD 6548N 184.32 ms 183.45 ms +0.34% (-0.95% to +0.83%)
 ↳ build-circuit 14.61 ms 14.62 ms +1.19% (-2.98% to +6.71%)
 ↳ prove-recursion 152.48 ms 152.87 ms +0.14% (-0.29% to +0.51%)
 ↳ reduce-claims 7.78 ms 6.85 ms -7.85% (-18.69% to +12.17%)
 ↳ reduce-in-rows 1.65 ms 1.70 ms +0.24% (-5.09% to +16.93%)
 ↳ verify 7.61 ms 7.74 ms +0.71% (-0.12% to +1.80%)
aggregate-leanxmss-100-2to1-first 8 x86-64 INTEL(R) XEON(R) GOLD 6548N 117.17 ms 116.87 ms -0.37% (-7.87% to +1.64%)
 ↳ build-circuit 14.11 ms 14.09 ms -0.56% (-1.24% to +0.24%)
 ↳ prove-recursion 86.89 ms 86.82 ms -0.07% (-10.01% to +0.16%)
 ↳ reduce-claims 6.28 ms 6.57 ms +4.03% (-8.36% to +31.44%)
 ↳ reduce-in-rows 1.66 ms 1.76 ms +4.71% (+2.12% to +7.37%)
 ↳ verify 7.80 ms 7.82 ms +0.28% (-0.70% to +2.66%)
aggregate-leanxmss-100-2to1-first 16 x86-64 INTEL(R) XEON(R) GOLD 6548N 92.87 ms 93.41 ms +0.11% (-2.18% to +1.91%)
 ↳ build-circuit 14.09 ms 14.20 ms +0.78% (-4.30% to +2.69%)
 ↳ prove-recursion 63.15 ms 61.78 ms -0.32% (-2.89% to +2.58%)
 ↳ reduce-claims 7.36 ms 7.15 ms +0.35% (-11.67% to +22.51%)
 ↳ reduce-in-rows 1.60 ms 1.71 ms +3.71% (+0.75% to +16.44%)
 ↳ verify 8.22 ms 8.23 ms -0.34% (-3.73% to +0.80%)
aggregate-leanxmss-100-2to1-node 1 arm64 Neoverse-V2 1.03 s 1.03 s -0.14% (-4.00% to +0.57%)
 ↳ build-circuit 12.01 ms 11.99 ms -0.19% (-6.24% to +0.76%)
 ↳ prove-recursion 976.72 ms 976.46 ms -0.16% (-4.00% to +0.54%)
 ↳ reduce-claims 30.02 ms 30.33 ms +0.64% (-1.78% to +1.54%)
 ↳ reduce-in-rows 1.38 ms 1.40 ms +0.86% (-2.79% to +5.28%)
aggregate-leanxmss-100-2to1-node 4 arm64 Neoverse-V2 287.98 ms 287.37 ms -0.17% (-0.46% to +0.55%)
 ↳ build-circuit 11.16 ms 11.14 ms +0.73% (-2.82% to +2.72%)
 ↳ prove-recursion 258.95 ms 258.24 ms -0.35% (-0.40% to +0.43%)
 ↳ reduce-claims 10.33 ms 10.42 ms +0.45% (-1.15% to +2.98%)
 ↳ reduce-in-rows 1.43 ms 1.46 ms +1.97% (-1.83% to +5.66%)
aggregate-leanxmss-100-2to1-node 8 arm64 Neoverse-V2 168.17 ms 168.61 ms +0.32% (-0.14% to +0.47%)
 ↳ build-circuit 10.95 ms 11.13 ms +0.38% (-2.26% to +2.04%)
 ↳ prove-recursion 142.32 ms 142.47 ms +0.20% (-0.27% to +0.45%)
 ↳ reduce-claims 7.52 ms 7.62 ms +1.30% (-0.10% to +3.82%)
 ↳ reduce-in-rows 1.38 ms 1.47 ms +6.23% (-1.96% to +6.78%)
aggregate-leanxmss-100-2to1-node 16 arm64 Neoverse-V2 110.86 ms 111.11 ms +0.41% (+0.01% to +1.55%)
 ↳ build-circuit 11.06 ms 11.00 ms -0.18% (-1.96% to +1.46%)
 ↳ prove-recursion 86.01 ms 86.18 ms +0.48% (+0.15% to +1.69%)
 ↳ reduce-claims 6.50 ms 6.57 ms +2.26% (-1.99% to +2.33%)
 ↳ reduce-in-rows 1.45 ms 1.43 ms -1.29% (-2.39% to -0.78%)
aggregate-leanxmss-100-2to1-node 1 x86-64 INTEL(R) XEON(R) GOLD 6548N 619.85 ms 621.62 ms +0.29% (-1.20% to +1.37%)
 ↳ build-circuit 15.96 ms 16.33 ms +2.43% (-2.78% to +6.57%)
 ↳ prove-recursion 559.04 ms 561.63 ms +0.53% (-1.47% to +1.05%)
 ↳ reduce-claims 34.46 ms 34.41 ms -0.12% (-2.74% to +3.56%)
 ↳ reduce-in-rows 1.75 ms 1.79 ms +1.05% (-6.30% to +5.91%)
aggregate-leanxmss-100-2to1-node 4 x86-64 INTEL(R) XEON(R) GOLD 6548N 192.89 ms 193.00 ms +0.08% (-0.89% to +0.55%)
 ↳ build-circuit 15.40 ms 15.23 ms -2.64% (-4.88% to +6.25%)
 ↳ prove-recursion 156.57 ms 156.97 ms +0.30% (-0.37% to +0.71%)
 ↳ reduce-claims 12.20 ms 12.02 ms -0.83% (-9.23% to +5.70%)
 ↳ reduce-in-rows 1.76 ms 1.76 ms +0.24% (-2.42% to +3.84%)
aggregate-leanxmss-100-2to1-node 8 x86-64 INTEL(R) XEON(R) GOLD 6548N 120.66 ms 122.79 ms +1.27% (-2.13% to +4.03%)
 ↳ build-circuit 14.52 ms 14.98 ms +3.12% (-8.05% to +7.43%)
 ↳ prove-recursion 88.73 ms 88.64 ms -0.03% (-0.71% to +0.22%)
 ↳ reduce-claims 9.06 ms 10.25 ms +16.26% (-7.42% to +40.92%)
 ↳ reduce-in-rows 1.76 ms 1.85 ms +1.87% (-0.48% to +17.66%)
aggregate-leanxmss-100-2to1-node 16 x86-64 INTEL(R) XEON(R) GOLD 6548N 95.10 ms 97.20 ms +3.05% (-1.69% to +6.01%)
 ↳ build-circuit 15.19 ms 14.98 ms -2.32% (-4.21% to +4.20%)
 ↳ prove-recursion 61.78 ms 64.56 ms +3.87% (+0.03% to +9.11%)
 ↳ reduce-claims 8.70 ms 8.93 ms +1.94% (-16.90% to +30.40%)
 ↳ reduce-in-rows 1.83 ms 1.85 ms -1.00% (-1.28% to +9.81%)
aggregate-leanxmss-100-4to1-first 1 arm64 Neoverse-V2 1.96 s 1.95 s -0.05% (-0.64% to +0.91%)
 ↳ build-circuit 25.04 ms 25.45 ms +1.98% (+0.15% to +2.68%)
 ↳ prove-recursion 1.89 s 1.89 s -0.07% (-0.71% to +0.87%)
 ↳ reduce-claims 21.29 ms 21.26 ms +0.77% (-1.52% to +1.70%)
 ↳ reduce-in-rows 2.69 ms 2.71 ms +1.00% (-1.71% to +5.59%)
 ↳ verify 13.49 ms 13.72 ms +1.63% (-0.03% to +2.85%)
aggregate-leanxmss-100-4to1-first 4 arm64 Neoverse-V2 536.46 ms 537.78 ms +0.04% (-0.22% to +0.30%)
 ↳ build-circuit 21.24 ms 21.20 ms -0.18% (-0.85% to +0.86%)
 ↳ prove-recursion 492.58 ms 493.72 ms +0.04% (-0.19% to +0.27%)
 ↳ reduce-claims 6.88 ms 6.89 ms +0.57% (-1.47% to +3.87%)
 ↳ reduce-in-rows 2.70 ms 2.66 ms -1.41% (-2.94% to +2.37%)
 ↳ verify 13.11 ms 13.10 ms -0.04% (-0.15% to +0.02%)
aggregate-leanxmss-100-4to1-first 8 arm64 Neoverse-V2 312.29 ms 311.71 ms -0.26% (-0.56% to +5.10%)
 ↳ build-circuit 21.09 ms 21.05 ms -0.08% (-2.39% to +2.27%)
 ↳ prove-recursion 269.74 ms 269.32 ms -0.26% (-0.43% to +5.72%)
 ↳ reduce-claims 5.16 ms 5.09 ms -1.65% (-3.96% to +4.05%)
 ↳ reduce-in-rows 2.73 ms 2.74 ms +1.19% (-2.46% to +2.12%)
 ↳ verify 13.50 ms 13.52 ms +0.28% (-0.65% to +0.57%)
aggregate-leanxmss-100-4to1-first 16 arm64 Neoverse-V2 199.56 ms 199.45 ms -0.11% (-0.54% to +0.30%)
 ↳ build-circuit 20.86 ms 20.71 ms -0.73% (-1.28% to -0.40%)
 ↳ prove-recursion 157.37 ms 157.23 ms +0.04% (-0.51% to +0.35%)
 ↳ reduce-claims 4.55 ms 4.67 ms +3.26% (-8.43% to +3.64%)
 ↳ reduce-in-rows 2.71 ms 2.71 ms +0.84% (-6.42% to +2.60%)
 ↳ verify 14.15 ms 14.09 ms -0.40% (-0.78% to +0.13%)
aggregate-leanxmss-100-4to1-first 1 x86-64 INTEL(R) XEON(R) GOLD 6548N 1.17 s 1.17 s -0.23% (-0.54% to -0.13%)
 ↳ build-circuit 32.03 ms 32.23 ms +0.73% (-3.88% to +2.96%)
 ↳ prove-recursion 1.10 s 1.09 s -0.30% (-0.59% to -0.16%)
 ↳ reduce-claims 25.59 ms 25.63 ms +0.09% (-0.54% to +1.13%)
 ↳ reduce-in-rows 3.52 ms 3.58 ms +1.08% (-7.45% to +3.79%)
 ↳ verify 14.98 ms 15.04 ms +1.19% (-0.23% to +1.41%)
aggregate-leanxmss-100-4to1-first 4 x86-64 INTEL(R) XEON(R) GOLD 6548N 363.04 ms 364.10 ms -0.23% (-1.38% to +1.87%)
 ↳ build-circuit 32.27 ms 32.54 ms +2.51% (-2.95% to +4.49%)
 ↳ prove-recursion 302.47 ms 302.49 ms +0.22% (-0.82% to +2.22%)
 ↳ reduce-claims 9.88 ms 9.02 ms -6.59% (-17.89% to +0.61%)
 ↳ reduce-in-rows 3.75 ms 3.69 ms -4.37% (-7.18% to +3.20%)
 ↳ verify 15.05 ms 15.08 ms -0.38% (-1.01% to +1.62%)
aggregate-leanxmss-100-4to1-first 8 x86-64 INTEL(R) XEON(R) GOLD 6548N 223.07 ms 222.03 ms -0.24% (-1.72% to -0.05%)
 ↳ build-circuit 31.28 ms 31.06 ms -0.77% (-3.24% to +3.08%)
 ↳ prove-recursion 164.69 ms 164.30 ms -0.30% (-1.36% to +0.15%)
 ↳ reduce-claims 7.73 ms 7.56 ms -2.22% (-17.90% to +6.27%)
 ↳ reduce-in-rows 3.55 ms 3.67 ms +5.30% (+1.81% to +7.75%)
 ↳ verify 15.25 ms 15.00 ms -0.68% (-1.97% to +0.75%)
aggregate-leanxmss-100-4to1-first 16 x86-64 INTEL(R) XEON(R) GOLD 6548N 166.04 ms 167.07 ms +0.62% (-3.28% to +4.46%)
 ↳ build-circuit 30.43 ms 30.53 ms +0.55% (-1.84% to +3.63%)
 ↳ prove-recursion 107.70 ms 109.55 ms +3.40% (-5.26% to +4.41%)
 ↳ reduce-claims 6.99 ms 7.06 ms +2.41% (-22.07% to +21.91%)
 ↳ reduce-in-rows 3.50 ms 3.57 ms +2.22% (+0.93% to +9.28%)
 ↳ verify 15.56 ms 15.64 ms +0.16% (-2.79% to +2.86%)
aggregate-leanxmss-100-4to1-node 1 arm64 Neoverse-V2 2.12 s 2.14 s -0.23% (-0.41% to +8.41%)
 ↳ build-circuit 29.05 ms 29.11 ms +0.20% (-3.32% to +2.61%)
 ↳ prove-recursion 2.02 s 2.03 s -0.24% (-0.52% to +8.82%)
 ↳ reduce-claims 55.22 ms 55.27 ms +0.33% (-0.45% to +4.38%)
 ↳ reduce-in-rows 2.92 ms 2.90 ms -0.67% (-1.72% to +24.63%)
aggregate-leanxmss-100-4to1-node 4 arm64 Neoverse-V2 582.11 ms 582.58 ms +0.21% (-0.15% to +0.26%)
 ↳ build-circuit 24.89 ms 24.90 ms +0.13% (-1.19% to +1.91%)
 ↳ prove-recursion 523.90 ms 524.01 ms +0.17% (-0.16% to +0.33%)
 ↳ reduce-claims 16.83 ms 16.96 ms +0.76% (-0.51% to +2.26%)
 ↳ reduce-in-rows 2.89 ms 2.88 ms -0.09% (-5.75% to +0.33%)
aggregate-leanxmss-100-4to1-node 8 arm64 Neoverse-V2 338.32 ms 337.60 ms -0.11% (-0.62% to +1.79%)
 ↳ build-circuit 24.75 ms 24.59 ms -0.73% (-0.91% to +4.44%)
 ↳ prove-recursion 286.00 ms 285.24 ms -0.18% (-0.63% to +1.49%)
 ↳ reduce-claims 11.70 ms 11.92 ms +2.24% (-0.61% to +3.85%)
 ↳ reduce-in-rows 2.93 ms 2.93 ms -0.14% (-2.15% to +1.64%)
aggregate-leanxmss-100-4to1-node 16 arm64 Neoverse-V2 217.02 ms 216.55 ms -0.25% (-1.18% to +0.33%)
 ↳ build-circuit 24.33 ms 24.25 ms -0.23% (-1.23% to -0.03%)
 ↳ prove-recursion 167.41 ms 167.11 ms -0.13% (-1.64% to +0.30%)
 ↳ reduce-claims 9.42 ms 9.62 ms +2.05% (+0.45% to +3.73%)
 ↳ reduce-in-rows 2.92 ms 2.92 ms +0.45% (-5.47% to +1.21%)
aggregate-leanxmss-100-4to1-node 1 x86-64 INTEL(R) XEON(R) GOLD 6548N 1.27 s 1.27 s -0.33% (-1.43% to +0.20%)
 ↳ build-circuit 36.48 ms 36.94 ms +1.18% (-1.30% to +1.88%)
 ↳ prove-recursion 1.15 s 1.15 s -0.26% (-1.46% to +0.14%)
 ↳ reduce-claims 62.62 ms 61.80 ms -1.30% (-9.43% to +0.47%)
 ↳ reduce-in-rows 3.55 ms 3.75 ms +5.59% (-0.21% to +9.55%)
aggregate-leanxmss-100-4to1-node 4 x86-64 INTEL(R) XEON(R) GOLD 6548N 394.76 ms 393.97 ms -0.23% (-3.94% to +0.67%)
 ↳ build-circuit 37.21 ms 37.48 ms +0.19% (-0.99% to +1.51%)
 ↳ prove-recursion 318.43 ms 317.38 ms -0.47% (-4.98% to +0.51%)
 ↳ reduce-claims 20.75 ms 20.72 ms -0.68% (-2.85% to +4.09%)
 ↳ reduce-in-rows 3.81 ms 4.08 ms +6.72% (-7.31% to +14.66%)
aggregate-leanxmss-100-4to1-node 8 x86-64 INTEL(R) XEON(R) GOLD 6548N 238.47 ms 240.09 ms -0.12% (-0.57% to +1.06%)
 ↳ build-circuit 35.14 ms 34.93 ms +0.32% (-3.56% to +3.84%)
 ↳ prove-recursion 171.57 ms 171.56 ms +0.11% (-0.48% to +0.17%)
 ↳ reduce-claims 13.97 ms 13.78 ms -0.98% (-6.89% to +6.71%)
 ↳ reduce-in-rows 3.97 ms 4.11 ms +3.40% (-0.47% to +6.96%)
aggregate-leanxmss-100-4to1-node 16 x86-64 INTEL(R) XEON(R) GOLD 6548N 171.65 ms 175.02 ms +1.96% (-2.54% to +4.82%)
 ↳ build-circuit 34.88 ms 34.73 ms +0.08% (-0.41% to +1.18%)
 ↳ prove-recursion 108.21 ms 111.42 ms +2.96% (-4.87% to +6.27%)
 ↳ reduce-claims 11.64 ms 12.71 ms +3.92% (-8.26% to +11.37%)
 ↳ reduce-in-rows 3.93 ms 4.04 ms +3.32% (+1.20% to +3.79%)
leanxmss-100 1 arm64 Neoverse-V2 1.87 s 1.87 s +0.22% (-0.18% to +0.31%)
 ↳ build-witness 46.47 ms 46.24 ms -0.36% (-0.58% to +0.52%)
 ↳ commit 302.13 ms 303.41 ms +0.27% (-0.03% to +0.67%)
 ↳ execute-program 10.09 ms 10.20 ms +1.26% (-0.42% to +10.74%)
 ↳ flock-reductions 652.98 ms 652.62 ms -0.09% (-0.22% to +0.28%)
 ↳ pcs-open 710.57 ms 712.13 ms +0.46% (-0.56% to +0.74%)
 ↳ prove-bus 131.26 ms 131.22 ms -0.11% (-0.52% to +0.67%)
 ↳ prove-constraints 14.12 ms 14.14 ms +0.14% (-0.28% to +0.51%)
leanxmss-100 4 arm64 Neoverse-V2 494.19 ms 494.04 ms +0.07% (-0.07% to +0.19%)
 ↳ build-witness 12.79 ms 12.83 ms +0.07% (-0.06% to +0.69%)
 ↳ commit 76.47 ms 76.53 ms +0.22% (-1.11% to +0.58%)
 ↳ execute-program 10.26 ms 10.20 ms -0.49% (-2.24% to +0.71%)
 ↳ flock-reductions 170.42 ms 170.52 ms +0.02% (-0.12% to +0.29%)
 ↳ pcs-open 183.11 ms 183.26 ms +0.08% (-0.27% to +0.67%)
 ↳ prove-bus 35.33 ms 35.37 ms +0.06% (-0.08% to +0.26%)
 ↳ prove-constraints 5.46 ms 5.47 ms +0.27% (-0.69% to +0.80%)
leanxmss-100 8 arm64 Neoverse-V2 276.33 ms 276.58 ms +0.08% (-0.19% to +0.45%)
 ↳ build-witness 7.35 ms 7.32 ms +0.04% (-0.65% to +0.19%)
 ↳ commit 39.13 ms 39.32 ms +0.50% (+0.01% to +0.91%)
 ↳ execute-program 10.15 ms 10.17 ms +0.81% (-2.76% to +1.77%)
 ↳ flock-reductions 94.60 ms 94.39 ms -0.22% (-0.28% to +0.18%)
 ↳ pcs-open 100.21 ms 100.15 ms -0.28% (-0.34% to +1.67%)
 ↳ prove-bus 20.57 ms 20.56 ms +0.01% (-0.32% to +0.22%)
 ↳ prove-constraints 4.16 ms 4.15 ms -0.07% (-1.23% to +0.15%)
leanxmss-100 16 arm64 Neoverse-V2 169.31 ms 169.57 ms +0.12% (-0.14% to +0.29%)
 ↳ build-witness 4.85 ms 4.83 ms -0.41% (-2.88% to -0.19%)
 ↳ commit 20.84 ms 20.87 ms -0.11% (-0.47% to +0.56%)
 ↳ execute-program 10.32 ms 10.24 ms +0.46% (-3.36% to +1.83%)
 ↳ flock-reductions 57.01 ms 56.94 ms -0.08% (-0.59% to +0.44%)
 ↳ pcs-open 59.08 ms 59.37 ms +0.50% (-0.05% to +1.04%)
 ↳ prove-bus 13.35 ms 13.33 ms -0.18% (-0.26% to +0.21%)
 ↳ prove-constraints 3.82 ms 3.80 ms -1.11% (-1.28% to +1.72%)
leanxmss-100 1 x86-64 INTEL(R) XEON(R) GOLD 6548N 1.05 s 1.05 s +0.56% (-0.32% to +1.33%)
 ↳ build-witness 69.21 ms 69.79 ms +0.43% (-0.08% to +1.34%)
 ↳ commit 190.52 ms 192.14 ms +0.73% (+0.21% to +0.92%)
 ↳ execute-program 13.38 ms 13.57 ms +1.45% (-2.04% to +2.85%)
 ↳ flock-reductions 308.79 ms 310.48 ms +0.31% (-0.53% to +1.78%)
 ↳ pcs-open 362.61 ms 363.76 ms +0.52% (-1.02% to +1.32%)
 ↳ prove-bus 82.06 ms 82.65 ms +0.79% (+0.06% to +1.60%)
 ↳ prove-constraints 19.08 ms 19.70 ms +3.25% (-5.09% to +5.01%)
leanxmss-100 4 x86-64 INTEL(R) XEON(R) GOLD 6548N 296.77 ms 296.58 ms -0.20% (-0.64% to +0.43%)
 ↳ build-witness 19.19 ms 19.12 ms -0.40% (-1.19% to +0.66%)
 ↳ commit 48.01 ms 48.10 ms +0.56% (-0.86% to +0.75%)
 ↳ execute-program 13.03 ms 12.95 ms -0.50% (-1.95% to +2.27%)
 ↳ flock-reductions 87.18 ms 86.90 ms -0.11% (-0.64% to +0.43%)
 ↳ pcs-open 97.27 ms 97.11 ms +0.07% (-0.46% to +0.25%)
 ↳ prove-bus 24.63 ms 24.55 ms -0.34% (-2.16% to +0.33%)
 ↳ prove-constraints 7.28 ms 7.24 ms -0.43% (-3.65% to +0.62%)
leanxmss-100 8 x86-64 INTEL(R) XEON(R) GOLD 6548N 174.50 ms 174.31 ms -0.21% (-0.44% to +0.19%)
 ↳ build-witness 10.78 ms 10.70 ms +0.18% (-1.57% to +0.54%)
 ↳ commit 23.47 ms 23.49 ms +0.09% (-0.65% to +1.40%)
 ↳ execute-program 12.96 ms 13.08 ms +0.92% (-0.98% to +1.50%)
 ↳ flock-reductions 50.50 ms 50.37 ms -0.29% (-0.63% to -0.09%)
 ↳ pcs-open 56.89 ms 56.62 ms -0.47% (-0.82% to +0.79%)
 ↳ prove-bus 14.65 ms 14.65 ms +0.02% (-0.55% to +0.94%)
 ↳ prove-constraints 5.20 ms 5.17 ms -0.53% (-3.03% to +0.68%)
leanxmss-100 16 x86-64 INTEL(R) XEON(R) GOLD 6548N 124.41 ms 124.90 ms +0.40% (-7.66% to +9.14%)
 ↳ build-witness 7.08 ms 7.32 ms +3.46% (-5.74% to +6.41%)
 ↳ commit 13.66 ms 14.43 ms +5.89% (-12.15% to +12.86%)
 ↳ execute-program 12.97 ms 13.01 ms -0.43% (-1.01% to +1.46%)
 ↳ flock-reductions 38.21 ms 39.19 ms +2.55% (-7.47% to +11.74%)
 ↳ pcs-open 37.06 ms 36.93 ms -4.00% (-8.78% to +10.88%)
 ↳ prove-bus 10.85 ms 11.16 ms +2.85% (-7.73% to +8.22%)
 ↳ prove-constraints 4.57 ms 4.59 ms +1.61% (-7.96% to +5.15%)

@kevaundray

kevaundray commented Oct 10, 2026

Copy link
Copy Markdown
Collaborator Author

This comment was created with Claude Code, prompted by @kevaundray.

Folded into #595, which now contains every commit from this PR (fast-forwarded to 3436a54). Closing in favor of #595.

@kevaundray kevaundray closed this Oct 10, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@kevaundray