proving v2: the Mac measurement of RISC Zero 3.0.6 (CPU HAL, no Metal path in 3.0.6), bench-log entry and plan
v1 shard 574.4 s at po2 20 (10.66 GB RSS), 698.7 s at po2 19 (8.40 GB), 560.9 s at po2 21 (20.44 GB); empty shard 47.9 s (8.32 GB); receipt 223,882 bytes at every po2; verify 9 to 10 ms in process, 0.21 s verify mode; every receipt verified against the pinned image id; CPU build 585.8 s for the ratio 0.98. Metal: no circuit in 3.0.6 selects the Metal HAL and this Mac has no metal compiler, so no Metal figure exists; PC 2 (CUDA) measures next. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs
parent
267d9f16a5
commit
67cceb998a
65 changed files with 1423 additions and 0 deletions
|
|
@ -1857,3 +1857,30 @@ Run b (`segments-pc2-pv1b`, 07:20Z to 07:51Z) claimed nothing in 88 passes: the
|
|||
|
||||
Unit tests (fork): the digest moves once `proving_v2_activation_daa` is set; a version 3 record names the RISC Zero ids, is refused before the switch, accepted from it, fresh after a proven SP1 segment, vetoed when its statement names the SP1 ids; a re-labelled version breaks the signature; a version 2 shard record is admissible only from the switch; an unknown version names no system (`cargo test -p kaspa-consensus-core -p igneum-exec proving`, 8 and 11 passed). App: 120 tests pass.
|
||||
|
||||
|
||||
## 6 October 2026, RISC Zero as proof system 2 on the Mac (Metal)
|
||||
|
||||
Route D of `docs/analysis/proving-methods.md`, built in worktree `igneum-wt-proving-v2` (branch `proving-v2`): `proving/igneum-prove-r0/` proves the SAME shard statement bytes as the SP1 guest (`igneum-prove-core` pulled by path, the journal is `ShardOutput::to_bytes()`, so a statement is keccak256 of the journal in both families). Machine: this Mac (Apple M5 Max, 18 cores, 64 GB unified memory, macOS 26.6.2), the miner paused, the measure lock held for the whole run, nothing else building. Toolchain: rzup 0.5.0 (the risczero.com installer, user scope, `~/.risc0`), RISC Zero rust toolchain 1.97.0, r0vm 3.0.6, cargo-risczero 3.0.6, crates pinned `=3.0.6` (crates.io max stable 3.0.6 of 17 July 2026 with a release body; 5.0.0-rc.1 is a prerelease with none, so 3.0.6 is the pin). Pinned image id `0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72` (`proving/igneum-prove-r0/elf/manifest-r0.json`; the program binary is 3,667,564 bytes, user ELF 3,635,140). Accelerated crates by tag (the precompiles page, release-3.0): k256 `k256/v0.13.4-risczero.1`, crypto-bigint `v0.5.5-risczero.0` (the k256 patch imports it), tiny-keccak `tiny-keccak/v2.0.2-risczero.0` behind alloy-primitives' `tiny-keccak` feature (needs the `unstable` flag on risc0-zkvm and risc0-build), sha2 `sha2-v0.10.9-risczero.0` and `sha2-v0.11.0-risczero.0`; p256 0.13.2 (revm's p256verify precompile) left unpatched.
|
||||
|
||||
Two facts about "Metal" that the numbers below rest on, both read in the crate sources (`~/.cargo/registry/src/*/`):
|
||||
|
||||
| Fact | Where |
|
||||
|---|---|
|
||||
| risc0 3.0.6 selects NO Metal HAL in any circuit: the Metal arm of the `cfg_if` is commented out in rv32im (`risc0-circuit-rv32im-4.0.5/src/prove/mod.rs:49-50`), recursion (`risc0-circuit-recursion-4.0.5/src/prove/mod.rs:86-87`) and keccak (`risc0-circuit-keccak-4.0.6/src/prove/mod.rs:78-79`); the zkp Metal HAL (`risc0-zkp-3.0.5/src/hal/metal.rs`) is compiled and unused. `risc0-zkvm-3.0.6/src/lib.rs:57` calls the `metal` feature "Deprecated, enabled by default on Apple Silicon", which the circuits contradict. The `main` branch's rv32im prover has no Metal arm either (read 6 October). PR #3761, cited by the analysis as the June 2026 Metal matrix, is a CUDA change (po2 22 on the RTX 4090, merged 17 June 2026 on `boundless-release-3.0`). | so every row below with the `metal` feature is the CPU HAL on the M5 Max: the Mac's RISC Zero number is a CPU number |
|
||||
| This Mac has the Command Line Tools and no Xcode, so no `metal` shader compiler; risc0-sys 1.5.0 compiles the zkp Metal kernels on EVERY macOS build of the prover (`risc0-sys-1.5.0/build.rs:35-40`, `xcrun metal` in `risc0-build-kernel-2.0.1/src/lib.rs:240-268`) and risc0-zkp `include_bytes!`s the result (`hal/metal.rs:47`). `RISC0_SKIP_BUILD_KERNELS` would also skip the C++ CPU kernels. | the host builds with a local copy of risc0-build-kernel 2.0.1 (`proving/igneum-prove-r0/patches/`, one change in `compile_metal`) that writes an EMPTY metallib when `RISC0_SKIP_METAL_KERNELS` is set; nothing loads it in 3.0.6. A real Metal measurement needs a RISC Zero that selects the Metal HAL and a Mac with Xcode; neither exists here |
|
||||
|
||||
Build (build lock, 11:55Z to 11:58Z): `env RISC0_SKIP_METAL_KERNELS=1 nice -n 19 cargo build --release -j 4 -p igneum-prove-r0-host --bin igneum-prove-r0-host --features metal` (16 s warm after the pin step) and the same without the feature into `--target-dir target/cpu` (2 min 34 s). Guest: `env IGNEUM_BUILD_GUESTS=1 RISC0_SKIP_METAL_KERNELS=1 cargo build --release -j 4 -p igneum-prove-r0-methods`, then `./target/release/igneum-prove-r0-pin` (`pin-guest.sh` does all three).
|
||||
|
||||
Measurement (`/Users/joshm/Projects/igneum/tools/lock/with-lock.sh measure bash -c "bench/mac-2026-10-06.sh <host> metal 20 && ... metal 19 && ... metal 21 && FIXTURES=fees-v1-shards2.json bench/mac-2026-10-06.sh <cpu host> cpu 20"`, 11:58:45Z to 12:41:39Z; every run's log, `/usr/bin/time -l` output and results JSON under `proving/igneum-prove-r0/bench/out-2026-10-06/`). Per run: `/usr/bin/time -l igneum-prove-r0-host ../fixtures/<fixture> --mode compressed --shard 0 --po2 <n> --out out-2026-10-06/<run>.json` (native check, executor, succinct receipt, verified in process against the pinned image id, receipt written), then three `RAYON_NUM_THREADS=1 /usr/bin/time -l igneum-prove-r0-host --mode verify --proof <receipt> --statement 0x<keccak of the journal>` (one core). The v1 shard = `fees-v1-shards2.json` shard 0 (the adopted `S_p` 30,000; 4 transactions, 22,172 pgas, witness 18,390 bytes; the native statement matches the fixture's plan). The empty shard = `block-58927-empty-reward.json` shard 0 (0 transactions, 0 pgas, 13,717-byte input; the bench-log's "empty shard" of 5 October, block 83616, is a PC 2 export not on this Mac, so this fixture stands in). Peak memory is the process's maximum resident set in bytes from `/usr/bin/time -l`; on Apple silicon this is unified memory and the only memory there is (no separate GPU figure exists for a CPU prover).
|
||||
|
||||
| Fixture, shard 0 | Host build | po2 | Executor: user cycles, segments, s | Succinct receipt: prove s (wall s) | Segments proven; total, paging, reserved cycles | Peak RSS bytes (GB) | CPU user s | Receipt bytes (seal) | Verify in process s | Verify mode, 3 runs: wall s / in-process s / RSS | Verified vs pinned id |
|
||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
||||
| v1 shard (fees-v1-shards2) | metal (= CPU HAL) | 20 | 10,049,917; 11 segments; 0.30 | **574.4** (574.95) | 11; 11,534,336; 1,093,455; 390,964 | **10,660,036,608 (10.66)** | 9,035.5 | **223,882** (222,668) | 0.009 | 0.21 / 0.009 / 32.8 MB, three times | yes, all four verifies |
|
||||
| v1 shard | metal | 19 | 10,049,917; 24; 0.31 | 698.7 (699.24) | 24; 12,189,696; 1,442,953; 696,826 | 8,402,812,928 (8.40) | 10,764.4 | 223,882 (222,668) | 0.010 | 0.21 / 0.009 / 32.8 MB, three times | yes |
|
||||
| v1 shard | metal | 21 | 10,049,917; 6; 0.31 | 560.9 (561.46) | 6; 11,534,336; 854,857; 629,562 | 20,444,495,872 (20.44) | 8,599.0 | 223,882 (222,668) | 0.010 | 0.21 to 0.22 / 0.010 / 32.9 MB, three times | yes |
|
||||
| empty shard (block-58927-empty-reward) | metal | 20 | 278,423; 1; 0.20 | 47.9 (48.40) | 1; 524,288; 118,603; 127,262 | 8,319,320,064 (8.32) | 731.0 | 223,882 (222,668) | 0.009 | 0.21 / 0.009 to 0.010 / 32.8 MB, three times | yes |
|
||||
| empty shard | metal | 19 | 278,423; 1; 0.20 | 46.5 (46.91) | 1; 524,288; 118,603; 127,262 | 8,321,089,536 (8.32) | 703.0 | 223,882 (222,668) | 0.009 | 0.21 / 0.009 to 0.010 / 32.8 MB, three times | yes |
|
||||
| empty shard | metal | 21 | 278,423; 1; 0.20 | 49.0 (49.44) | 1; 524,288; 118,603; 127,262 | 8,322,269,184 (8.32) | 719.0 | 223,882 (222,668) | 0.009 | 0.21 / 0.009 to 0.010 / 32.9 MB, three times | yes |
|
||||
| v1 shard | cpu (no feature, `target/cpu`) | 20 | 10,049,917; 11; 0.31 | 585.8 (587.71) | 11; 11,534,336; 1,093,455; 390,964 | 10,583,965,696 (10.58) | 9,005.0 | 223,882 (222,668) | 0.010 | 0.21 / 0.009 to 0.012 / 32.9 MB, three times | yes |
|
||||
|
||||
Reading. (1) The same statement costs RISC Zero 10,049,917 user cycles against SP1's 4,717,439 (bench-log 5 October, the S_p curve), 2.13x, with 10.7% more in paging and reserved cycles at po2 20. (2) On this CPU the v1 shard takes 574 s at po2 20; SP1's CPU prover on the same Mac under the same lock this morning took 71.7 s for the same shard (the proof-system watch, `bench/proof-systems/rows/20261006-1146-MacBook-Pro-sp1.json`, another agent's row): 8.0x. (3) The succinct receipt is 223,882 bytes against SP1's 1,272,897-byte compressed proof, 5.7x smaller, and the same size at every po2 and for the empty shard. (4) The verify is 9 to 10 ms in process; the whole verify mode is 0.21 s, of which 0.18 to 0.19 s is `compute_image_id` over the 3.67 MB program binary at start (the SP1 host's verify mode ran 0.26 s on the watch's row). (5) Memory against the segment limit: 8.3 to 8.4 GB of RSS at po2 19 and for any one-segment shard, 10.7 GB at po2 20, 20.4 GB at po2 21; the limit is the dial, and po2 19 costs 22% more time (24 segments instead of 11). (6) The empty shard is one 2^19 segment and still 47.9 s: the per-receipt floor of segment prove plus lift to a succinct receipt on this CPU. (7) `/usr/bin/time` reports 15.7 of the 18 cores busy over the po2 20 run (9,035 s user in 575 s wall). (8) The ratio `metal` build to CPU build on the v1 shard at po2 20 is 574.4 s to 585.8 s, 0.98: the same code, run-to-run noise, as the sources say. (9) Nothing here is a GPU number: PC 2 (CUDA) measures the GPU memory and time; the Mac's Metal number does not exist in 3.0.6.
|
||||
|
|
|
|||
88
docs/plans/proving-v2-risc0.md
Normal file
88
docs/plans/proving-v2-risc0.md
Normal file
|
|
@ -0,0 +1,88 @@
|
|||
# Proving v2: RISC Zero as proof system version 2
|
||||
|
||||
6 October 2026, worktree `/Users/joshm/Projects/igneum-wt-proving-v2` (branch `proving-v2`). Route D of
|
||||
`docs/analysis/proving-methods.md`. Every number here is in `docs/bench-log.md` ("6 October 2026, RISC Zero as
|
||||
proof system 2 on the Mac (Metal)") with its command. Nothing ships from this plan: it delivers the workspace, the
|
||||
pin, the Mac numbers and the list PC 2 must measure.
|
||||
|
||||
## What was built
|
||||
|
||||
| Piece | Where | What it does |
|
||||
|---|---|---|
|
||||
| Toolchain | `~/.risc0` (user scope, the risczero.com installer; nothing system-wide) | rzup 0.5.0, RISC Zero rust 1.97.0, r0vm 3.0.6, cargo-risczero 3.0.6 |
|
||||
| Workspace | `proving/igneum-prove-r0/` | `host/` (the binary `igneum-prove-r0-host`, the pin tool `igneum-prove-r0-pin`), `methods/` (risc0-build, only with `IGNEUM_BUILD_GUESTS=1`), `methods/guest/` (the guest, its own workspace and `Cargo.lock`), `elf/` (the pinned program binary and `manifest-r0.json`), `patches/risc0-build-kernel` (the Metal-kernel skip), `bench/` (the Mac script and every run's log), `pin-guest.sh` |
|
||||
| Guest | `methods/guest/src/main.rs`, 13 lines | `env::read_frame()` of the bincode `ShardInput`, `shard_statement` from `igneum-prove-core` (path `../../../igneum-prove/core`, unchanged), `env::commit_slice(&out.to_bytes())`: the journal is the SP1 guest's public values byte for byte, so a statement is keccak256 of the journal in both families (checked on every run: the journal equals the native statement) |
|
||||
| Accelerated crates | `methods/guest/Cargo.toml` `[patch.crates-io]` | k256 `k256/v0.13.4-risczero.1`, crypto-bigint `v0.5.5-risczero.0`, tiny-keccak `tiny-keccak/v2.0.2-risczero.0` (alloy-primitives' `tiny-keccak` feature makes it the keccak256 backend; the `unstable` flag on risc0-zkvm and risc0-build), sha2 0.10.9 and 0.11.0 by tag. p256 (revm's p256verify) unpatched |
|
||||
| Host CLI | `host/src/main.rs` | the SP1 host's shape: `<fixture> --mode native|execute|compressed [--shard N] [--po2 N] [--budget] [--prover 0x..] [--out results.json]`, `--mode verify --proof <file> --statement 0x..` (exit 0 or 3, the last line names the reason), `--mode id` (the SP1 wording the node parses; aggregator id all zeros). Results JSON: the SP1 keys (`statement`, `proof_sha256`, `proof_file`, `compressed_prove_seconds`, `block_hash`, `number`, `prover`, `cycles`, `execute_seconds`, `compressed_proof_bytes`, `compressed_verify_seconds`) plus `proof_system: 2`, `image_id`, `po2`, `backend`, the segment and paging counts |
|
||||
| Backends | cargo features `metal` (risc0-zkvm `metal`) and `cuda` (risc0-zkvm `cuda`); none = CPU | `--po2 n` sets `ExecutorEnv::segment_limit_po2` |
|
||||
| Pin | `elf/manifest-r0.json` | image id `0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72`, program binary 3,667,564 bytes (user ELF 3,635,140 plus RISC Zero's v1compat kernel), sha256 `0x2be67ce3...`, the build inputs (guest lock, guest and core source hashes, patches, features, rzup components). The host embeds both files, checks the hash at every start and recomputes the image id in the prove and verify modes; `pin-guest.sh` re-pins |
|
||||
|
||||
Pinned version: RISC Zero 3.0.6 (crates.io max stable, 17 July 2026, release body "Repair Rust 1.97.0 guest build
|
||||
with heap-embedded-alloc feature"; 5.0.0-rc.1 of 14 January 2026 is a prerelease with no body, so not the pin).
|
||||
|
||||
## What "Metal" is in 3.0.6
|
||||
|
||||
| Finding | Consequence |
|
||||
|---|---|
|
||||
| No circuit in 3.0.6 selects the Metal HAL: the Metal arm is commented out in rv32im, recursion and keccak (`cfg_if` in each crate's `prove/mod.rs`); the zkp Metal HAL exists and is unused. The `main` branch's rv32im prover has no Metal arm either. PR #3761, cited by the analysis as the June 2026 Metal matrix, is a CUDA change (po2 22 on the RTX 4090) | on Apple silicon RISC Zero 3.0.6 proves on the CPU. The `metal` feature build is the CPU HAL. Route I of the analysis ("Apple through RISC Zero Metal") has no shipped code behind it today |
|
||||
| This Mac has no `metal` compiler (Command Line Tools, no Xcode), and risc0-sys compiles the zkp Metal kernels on every macOS prover build | the local risc0-build-kernel patch writes an empty metallib under `RISC0_SKIP_METAL_KERNELS=1`; the CPU prover builds and runs. A real Metal run needs Xcode (not installed, not installed by this work) and a RISC Zero that uses the HAL |
|
||||
|
||||
## The Mac numbers (CPU HAL on the M5 Max, 64 GB unified memory, the miner paused, measure lock)
|
||||
|
||||
| Shard | po2 | User cycles | Prove to succinct receipt, s | Peak RSS, GB | Receipt bytes | Verify in process, ms | Verify mode wall, s (one core, 3 runs) |
|
||||
|---|---|---|---|---|---|---|---|
|
||||
| v1 shard (fees-v1-shards2, shard 0, 22,172 pgas) | 20 | 10,049,917 | 574.4 | 10.66 | 223,882 | 9 | 0.21, 0.21, 0.21 |
|
||||
| v1 shard | 19 | 10,049,917 | 698.7 | 8.40 | 223,882 | 10 | 0.21 x 3 |
|
||||
| v1 shard | 21 | 10,049,917 | 560.9 | 20.44 | 223,882 | 10 | 0.21, 0.21, 0.22 |
|
||||
| empty shard (block-58927-empty-reward, 0 pgas) | 20 | 278,423 | 47.9 | 8.32 | 223,882 | 9 | 0.21 x 3 |
|
||||
| empty shard | 19 | 278,423 | 46.5 | 8.32 | 223,882 | 9 | 0.21 x 3 |
|
||||
| empty shard | 21 | 278,423 | 49.0 | 8.32 | 223,882 | 9 | 0.21 x 3 |
|
||||
| v1 shard, the CPU build (no feature) for the ratio | 20 | 10,049,917 | 585.8 | 10.58 | 223,882 | 10 | 0.21 x 3 |
|
||||
|
||||
The `metal` build against the CPU build on the v1 shard: 574.4 s to 585.8 s, ratio 0.98 (the same code; the
|
||||
sources say so, the numbers agree). Against SP1 on the same statement: 2.13x the cycles (4,717,439), 8.0x the CPU time on this Mac (71.7 s, the
|
||||
proof-system watch's row of this morning), 5.7x smaller proof (1,272,897 bytes), the verify 9 ms in process against
|
||||
SP1's 0.26 s verify mode. Every receipt verified against the pinned image id, four times each (in process and three
|
||||
verify-mode runs).
|
||||
|
||||
## What is approximate
|
||||
|
||||
| Item | Status |
|
||||
|---|---|
|
||||
| Every figure in the table above | measured, with the command in the bench-log |
|
||||
| A Metal figure | does not exist: there is no Metal path in 3.0.6 and no Metal compiler here. Not estimated |
|
||||
| GPU memory on a CUDA card | not measured here; the Mac's RSS is unified memory on a CPU prover and is not a GPU figure |
|
||||
| Time on a CUDA card | not measured. One approximate reading, labelled: SP1's CPU-to-5090 ratio on this shard is 71.7 s to 4.3 s (bench-log 5 October), 17x; if RISC Zero's ratio were the same, the v1 shard would prove in about 34 s on the 5090 at po2 20. Approximate, PC 2 replaces it |
|
||||
| Reproducibility of the image id on another machine | the pin was built with the rzup toolchain here, not in docker; the manifest carries the inputs. A PC 2 build must reproduce `0x9ae0f416...` or the Mac's pin is the one shipped |
|
||||
|
||||
## What PC 2 (CUDA) must measure next (not this agent)
|
||||
|
||||
| Measurement | How |
|
||||
|---|---|
|
||||
| Build | the same workspace with `--features cuda` (risc0-zkvm `cuda`, nvcc for Blackwell), the rzup toolchain only for the pin check (`--mode id` must print `0x9ae0f416...`) |
|
||||
| The v1 shard alone | `--mode compressed --shard 0 --po2 20`, the card to itself, the miner stopped: wall, peak GPU memory (1-s `nvidia-smi` sampler, the 5 October method), receipt verified |
|
||||
| The v1 shard beside the miner | the same with the miner at full rate on the card: wall and the hash-rate cost (the `memminer` method) |
|
||||
| The po2 that fits 8 GB and 12 GB | po2 19, 20, 21 with the sampler: the peak GPU memory per po2, and whether po2 19 fits under 8 GB (the analysis' documented fit) and po2 20 under 12 GB; the empty shard at each |
|
||||
| The chain | the fixtures under `proving/fixtures/chain/` one shard at a time, for the per-receipt floor on the card (the empty shard's 47.9 s here is the CPU floor) |
|
||||
| Verify | `--mode verify` three runs on one core (expected near the Mac's 0.21 s: the image-id recompute dominates) |
|
||||
|
||||
## The per-tier reading from the Mac numbers alone (approximate, every line)
|
||||
|
||||
| Tier | Reading |
|
||||
|---|---|
|
||||
| Apple silicon (M5 Max) | the v1 shard in 574 s at po2 20 on the CPU, 10.7 GB; SP1's CPU prover does it in 72 s on the same machine. Until RISC Zero ships a Metal path, the Apple route is a slower CPU route, not a GPU route |
|
||||
| 8 GB CUDA card | po2 19 is the only candidate (8.4 GB of RSS on the CPU prover; the GPU figure is unmeasured); it costs 22% more time than po2 20 (24 segments against 11) |
|
||||
| 12 GB and 16 GB cards | po2 20 (10.7 GB RSS on the CPU prover); po2 21 doubles memory to 20.4 GB and saves 2% of time, not worth it below 24 GB |
|
||||
| Receipt and verifier | 223,882 bytes a shard against 1.27 MB today, 9 ms to verify: the node-side gain is real at every tier |
|
||||
| Cycles | 2.13x SP1's on the same statement; a CUDA prover must be more than 2.13x faster per cycle than SP1's to break even on time |
|
||||
|
||||
## What did not work
|
||||
|
||||
| Item | What happened |
|
||||
|---|---|
|
||||
| Metal | see above: no Metal path in 3.0.6, no Metal compiler on this Mac. Not measured, not estimated |
|
||||
| `--bin` with `-p methods` | cargo's `--bin` restricted the targets and the guest never built; the pin script builds `-p igneum-prove-r0-methods` on its own |
|
||||
| `GuestOptions` struct literal | `#[non_exhaustive]` in risc0-build 3.0.6; `GuestOptions::default()` |
|
||||
| `[package.metadata.risc0]` | risc0-build panics without `methods = ["guest"]` in `methods/Cargo.toml` |
|
||||
| The k256 patch alone | imports `elliptic_curve::bigint::risc0`; the crypto-bigint patch is required with it |
|
||||
| `compute_image_id` over the bare user ELF | "Malformed ProgramBinary": the image id is over risc0-build's combined binary (`<guest>.bin`), which is what the host embeds |
|
||||
|
|
@ -0,0 +1,53 @@
|
|||
{
|
||||
"backend": "metal",
|
||||
"block": 58927,
|
||||
"block_hash": "0x272a99725fa79fdc631d1ff4b1978a26ad49fb5cf226b558561a35579c836996",
|
||||
"budget": 7500000,
|
||||
"compressed_proof_bytes": 223882,
|
||||
"compressed_prove_seconds": 46.465535042,
|
||||
"compressed_verify_seconds": 0.00926925,
|
||||
"consensus_budget": true,
|
||||
"cycles": 278423,
|
||||
"daa_score": 0,
|
||||
"execute_seconds": 0.19567625,
|
||||
"execute_segments": [
|
||||
{
|
||||
"cycles": 278423,
|
||||
"po2": 19
|
||||
}
|
||||
],
|
||||
"fee_set": "prototype",
|
||||
"fees_v1_activation_daa": null,
|
||||
"fixture": "/Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/../../fixtures/block-58927-empty-reward.json",
|
||||
"image_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"native_seconds": 0.000114125,
|
||||
"number": 58927,
|
||||
"paging_cycles": 118603,
|
||||
"po2": 19,
|
||||
"proof_file": "/Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-58927-shard-0-r0.bin",
|
||||
"proof_sha256": "0x52def54e44e7ad0771023ff6aa9e5412c7cef6a94b759d27950410cb9e42b9d4",
|
||||
"proof_system": 2,
|
||||
"prover": "0x1919191919191919191919191919191919191919",
|
||||
"reserved_cycles": 127262,
|
||||
"risc0_crate_version": "3.0.6",
|
||||
"seal_bytes": 222668,
|
||||
"segments": 1,
|
||||
"setup_seconds": 0.187576083,
|
||||
"shard_budget": 7500000,
|
||||
"shard_index": 0,
|
||||
"shard_pgas": [
|
||||
0
|
||||
],
|
||||
"shard_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"shard_witness_bytes": [
|
||||
13717
|
||||
],
|
||||
"shards": 1,
|
||||
"statement": "0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958",
|
||||
"test_cut": false,
|
||||
"total_cycles": 524288,
|
||||
"user_cycles": 278423,
|
||||
"witness_bytes": [
|
||||
13717
|
||||
]
|
||||
}
|
||||
|
|
@ -0,0 +1,15 @@
|
|||
igneum-prove-r0-host sources 9d1377458bda9488: fixture /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/../../fixtures/block-58927-empty-reward.json: chain 4463 block 58927 (0x272a99725fa79fdc631d1ff4b1978a26ad49fb5cf226b558561a35579c836996) at DAA score 0, 0 transactions in 0 including blocks, 11 accounts in the pre-state, plan 1 shard(s) at S_p = 7500000 pgas; fee schedule prototype, calibrated v1 from DAA score never: this block meters with prototype (intrinsic 200 pgas, B_p 30000000); proof system 2 (RISC Zero 3.0.6), backend metal (risc0 3.0.6: CPU HAL, the Metal arm is commented out in every circuit), segment po2 19; prover payout 0x1919191919191919191919191919191919191919; 2026-10-06T12:20:50Z
|
||||
STAGE native start 2026-10-06T12:20:50Z
|
||||
RESULT native: 0.0001 s, pre 0xea9db302b3b1fe3b859d5fb417408fecefeb06aa43721ed7fdf354975582f2c7 post 0x7886b9cfbbbdfe12509affbd4df83cb317e9708eeb627bd49b575cbfa47999c4 receipts 0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421 gas 0 pgas 0 executed 0 skipped 0: MATCHES the fixture's expected values at 2026-10-06T12:20:50Z
|
||||
RESULT shard 0 native: txs 0..0 (0 executed, 0 skipped), gas 0, pgas 0, witness 2 accounts 0 slots 2 leaves 9 hashes, input 13717 bytes, pre 0xea9db302b3b1fe3b859d5fb417408fecefeb06aa43721ed7fdf354975582f2c7 post 0x7886b9cfbbbdfe12509affbd4df83cb317e9708eeb627bd49b575cbfa47999c4
|
||||
RESULT plan: 1 shard(s) chain from 0xea9db302b3b1fe3b859d5fb417408fecefeb06aa43721ed7fdf354975582f2c7 to 0x7886b9cfbbbdfe12509affbd4df83cb317e9708eeb627bd49b575cbfa47999c4 and sum to gas 0 pgas 0: the cut equals the block; native aggregation receipts 0x6fcd3e8e97da273711ccefb79abdd246c5663c7d61057f82bae745ceac5dcc75 provers 0xe8a6c07ee13e9afa662a1bf0bf69bae726aa8fdb541308bdd4b63bbc60175f27
|
||||
RESULT tamper account balance: REJECTED (pre-root 0x61857fe806042480d26d91e9b75ffb347d4b3070f2a2e25300fe8dc493a8b441 is not the node's 0xea9db302b3b1fe3b859d5fb417408fecefeb06aa43721ed7fdf354975582f2c7)
|
||||
STAGE setup start 2026-10-06T12:20:50Z
|
||||
RESULT setup: 0.188 s (image id recomputed from the embedded guest), proof system 2 image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:20:50Z
|
||||
RESULT pinned: setup matches the manifest (pinned guests: shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (3667564 bytes, sha256 0x2be67ce3e5a24010) aggregator id 0x0000000000000000000000000000000000000000000000000000000000000000 (0 bytes), pinned 2026-10-06T11:54:47Z on Darwin MacBook-Pro.local 25.6.0 Darwin Kernel Version 25.6.0: Fri Jul 31 19:19:08 PDT 2026; root:xnu-12377.161.14~5/RELEASE_ARM64_T6050 arm64, RISC Zero 3.0.6 proof system 2)
|
||||
STAGE execute shard 0 start 2026-10-06T12:20:50Z
|
||||
RESULT execute shard 0: 278423 user cycles in 1 segment(s) [(19, 278423)] (po2, cycles), 0.20 s at 2026-10-06T12:20:50Z
|
||||
STAGE compressed shard 0 (succinct receipt, po2 19) start 2026-10-06T12:20:50Z
|
||||
RESULT compressed shard 0: prove 46.5 s (1 segment(s), total cycles 524288, user cycles 278423, paging 118603, reserved 127262), receipt 223882 bytes (seal 222668 bytes), verify 0.009 s, VERIFIED; statement 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958 proof sha256 0x52def54e44e7ad0771023ff6aa9e5412c7cef6a94b759d27950410cb9e42b9d4 prover 0x1919191919191919191919191919191919191919 at 2026-10-06T12:21:37Z
|
||||
proof written to /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-58927-shard-0-r0.bin
|
||||
results written to /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-58927-empty-reward-metal-po219.json
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
46.91 real 703.04 user 5.76 sys
|
||||
8321089536 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
532601 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
1137793 involuntary context switches
|
||||
6908658886941 instructions retired
|
||||
2967412347960 cycles elapsed
|
||||
8273156384 peak memory footprint
|
||||
exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:21:37Z
|
||||
RESULT setup: 0.193 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:21:37Z
|
||||
STAGE verify start 2026-10-06T12:21:37Z
|
||||
RESULT verify: VERIFIED in 0.010 s; block 58927 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958 (want 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:21:37Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32817152 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2376 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
143 involuntary context switches
|
||||
3181784306 instructions retired
|
||||
906141388 cycles elapsed
|
||||
22151552 peak memory footprint
|
||||
verify 1 exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:21:37Z
|
||||
RESULT setup: 0.188 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:21:37Z
|
||||
STAGE verify start 2026-10-06T12:21:37Z
|
||||
RESULT verify: VERIFIED in 0.009 s; block 58927 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958 (want 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:21:37Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32735232 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2371 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
71 involuntary context switches
|
||||
3179378641 instructions retired
|
||||
889872025 cycles elapsed
|
||||
22102376 peak memory footprint
|
||||
verify 2 exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:21:37Z
|
||||
RESULT setup: 0.188 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:21:38Z
|
||||
STAGE verify start 2026-10-06T12:21:38Z
|
||||
RESULT verify: VERIFIED in 0.009 s; block 58927 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958 (want 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:21:38Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32784384 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2373 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
82 involuntary context switches
|
||||
3178994457 instructions retired
|
||||
887547243 cycles elapsed
|
||||
22151528 peak memory footprint
|
||||
verify 3 exit 0
|
||||
|
|
@ -0,0 +1,53 @@
|
|||
{
|
||||
"backend": "metal",
|
||||
"block": 58927,
|
||||
"block_hash": "0x272a99725fa79fdc631d1ff4b1978a26ad49fb5cf226b558561a35579c836996",
|
||||
"budget": 7500000,
|
||||
"compressed_proof_bytes": 223882,
|
||||
"compressed_prove_seconds": 47.948946833,
|
||||
"compressed_verify_seconds": 0.00925125,
|
||||
"consensus_budget": true,
|
||||
"cycles": 278423,
|
||||
"daa_score": 0,
|
||||
"execute_seconds": 0.195876292,
|
||||
"execute_segments": [
|
||||
{
|
||||
"cycles": 278423,
|
||||
"po2": 19
|
||||
}
|
||||
],
|
||||
"fee_set": "prototype",
|
||||
"fees_v1_activation_daa": null,
|
||||
"fixture": "/Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/../../fixtures/block-58927-empty-reward.json",
|
||||
"image_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"native_seconds": 0.000116458,
|
||||
"number": 58927,
|
||||
"paging_cycles": 118603,
|
||||
"po2": 20,
|
||||
"proof_file": "/Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-58927-shard-0-r0.bin",
|
||||
"proof_sha256": "0x97e8ed96a5d99e73074f9e1200d9fe3678b27b72728098b500eeb53fda477400",
|
||||
"proof_system": 2,
|
||||
"prover": "0x1919191919191919191919191919191919191919",
|
||||
"reserved_cycles": 127262,
|
||||
"risc0_crate_version": "3.0.6",
|
||||
"seal_bytes": 222668,
|
||||
"segments": 1,
|
||||
"setup_seconds": 0.187640292,
|
||||
"shard_budget": 7500000,
|
||||
"shard_index": 0,
|
||||
"shard_pgas": [
|
||||
0
|
||||
],
|
||||
"shard_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"shard_witness_bytes": [
|
||||
13717
|
||||
],
|
||||
"shards": 1,
|
||||
"statement": "0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958",
|
||||
"test_cut": false,
|
||||
"total_cycles": 524288,
|
||||
"user_cycles": 278423,
|
||||
"witness_bytes": [
|
||||
13717
|
||||
]
|
||||
}
|
||||
|
|
@ -0,0 +1,15 @@
|
|||
igneum-prove-r0-host sources 9d1377458bda9488: fixture /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/../../fixtures/block-58927-empty-reward.json: chain 4463 block 58927 (0x272a99725fa79fdc631d1ff4b1978a26ad49fb5cf226b558561a35579c836996) at DAA score 0, 0 transactions in 0 including blocks, 11 accounts in the pre-state, plan 1 shard(s) at S_p = 7500000 pgas; fee schedule prototype, calibrated v1 from DAA score never: this block meters with prototype (intrinsic 200 pgas, B_p 30000000); proof system 2 (RISC Zero 3.0.6), backend metal (risc0 3.0.6: CPU HAL, the Metal arm is commented out in every circuit), segment po2 20; prover payout 0x1919191919191919191919191919191919191919; 2026-10-06T12:08:21Z
|
||||
STAGE native start 2026-10-06T12:08:21Z
|
||||
RESULT native: 0.0001 s, pre 0xea9db302b3b1fe3b859d5fb417408fecefeb06aa43721ed7fdf354975582f2c7 post 0x7886b9cfbbbdfe12509affbd4df83cb317e9708eeb627bd49b575cbfa47999c4 receipts 0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421 gas 0 pgas 0 executed 0 skipped 0: MATCHES the fixture's expected values at 2026-10-06T12:08:21Z
|
||||
RESULT shard 0 native: txs 0..0 (0 executed, 0 skipped), gas 0, pgas 0, witness 2 accounts 0 slots 2 leaves 9 hashes, input 13717 bytes, pre 0xea9db302b3b1fe3b859d5fb417408fecefeb06aa43721ed7fdf354975582f2c7 post 0x7886b9cfbbbdfe12509affbd4df83cb317e9708eeb627bd49b575cbfa47999c4
|
||||
RESULT plan: 1 shard(s) chain from 0xea9db302b3b1fe3b859d5fb417408fecefeb06aa43721ed7fdf354975582f2c7 to 0x7886b9cfbbbdfe12509affbd4df83cb317e9708eeb627bd49b575cbfa47999c4 and sum to gas 0 pgas 0: the cut equals the block; native aggregation receipts 0x6fcd3e8e97da273711ccefb79abdd246c5663c7d61057f82bae745ceac5dcc75 provers 0xe8a6c07ee13e9afa662a1bf0bf69bae726aa8fdb541308bdd4b63bbc60175f27
|
||||
RESULT tamper account balance: REJECTED (pre-root 0x61857fe806042480d26d91e9b75ffb347d4b3070f2a2e25300fe8dc493a8b441 is not the node's 0xea9db302b3b1fe3b859d5fb417408fecefeb06aa43721ed7fdf354975582f2c7)
|
||||
STAGE setup start 2026-10-06T12:08:21Z
|
||||
RESULT setup: 0.188 s (image id recomputed from the embedded guest), proof system 2 image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:08:21Z
|
||||
RESULT pinned: setup matches the manifest (pinned guests: shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (3667564 bytes, sha256 0x2be67ce3e5a24010) aggregator id 0x0000000000000000000000000000000000000000000000000000000000000000 (0 bytes), pinned 2026-10-06T11:54:47Z on Darwin MacBook-Pro.local 25.6.0 Darwin Kernel Version 25.6.0: Fri Jul 31 19:19:08 PDT 2026; root:xnu-12377.161.14~5/RELEASE_ARM64_T6050 arm64, RISC Zero 3.0.6 proof system 2)
|
||||
STAGE execute shard 0 start 2026-10-06T12:08:21Z
|
||||
RESULT execute shard 0: 278423 user cycles in 1 segment(s) [(19, 278423)] (po2, cycles), 0.20 s at 2026-10-06T12:08:21Z
|
||||
STAGE compressed shard 0 (succinct receipt, po2 20) start 2026-10-06T12:08:21Z
|
||||
RESULT compressed shard 0: prove 47.9 s (1 segment(s), total cycles 524288, user cycles 278423, paging 118603, reserved 127262), receipt 223882 bytes (seal 222668 bytes), verify 0.009 s, VERIFIED; statement 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958 proof sha256 0x97e8ed96a5d99e73074f9e1200d9fe3678b27b72728098b500eeb53fda477400 prover 0x1919191919191919191919191919191919191919 at 2026-10-06T12:09:09Z
|
||||
proof written to /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-58927-shard-0-r0.bin
|
||||
results written to /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-58927-empty-reward-metal-po220.json
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
48.40 real 731.01 user 6.03 sys
|
||||
8319320064 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
537386 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
1 voluntary context switches
|
||||
1162295 involuntary context switches
|
||||
6908899365207 instructions retired
|
||||
2996016463192 cycles elapsed
|
||||
8271386912 peak memory footprint
|
||||
exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:09:09Z
|
||||
RESULT setup: 0.190 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:09:09Z
|
||||
STAGE verify start 2026-10-06T12:09:09Z
|
||||
RESULT verify: VERIFIED in 0.009 s; block 58927 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958 (want 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:09:09Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32800768 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2375 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
224 involuntary context switches
|
||||
3181491647 instructions retired
|
||||
892572562 cycles elapsed
|
||||
22167936 peak memory footprint
|
||||
verify 1 exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:09:09Z
|
||||
RESULT setup: 0.191 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:09:10Z
|
||||
STAGE verify start 2026-10-06T12:09:10Z
|
||||
RESULT verify: VERIFIED in 0.010 s; block 58927 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958 (want 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:09:10Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32817152 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2376 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
199 involuntary context switches
|
||||
3180863887 instructions retired
|
||||
897216803 cycles elapsed
|
||||
22200704 peak memory footprint
|
||||
verify 2 exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:09:10Z
|
||||
RESULT setup: 0.188 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:09:10Z
|
||||
STAGE verify start 2026-10-06T12:09:10Z
|
||||
RESULT verify: VERIFIED in 0.009 s; block 58927 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958 (want 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:09:10Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32784384 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2374 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
103 involuntary context switches
|
||||
3179641154 instructions retired
|
||||
888784534 cycles elapsed
|
||||
22118760 peak memory footprint
|
||||
verify 3 exit 0
|
||||
|
|
@ -0,0 +1,53 @@
|
|||
{
|
||||
"backend": "metal",
|
||||
"block": 58927,
|
||||
"block_hash": "0x272a99725fa79fdc631d1ff4b1978a26ad49fb5cf226b558561a35579c836996",
|
||||
"budget": 7500000,
|
||||
"compressed_proof_bytes": 223882,
|
||||
"compressed_prove_seconds": 48.974515,
|
||||
"compressed_verify_seconds": 0.009147667,
|
||||
"consensus_budget": true,
|
||||
"cycles": 278423,
|
||||
"daa_score": 0,
|
||||
"execute_seconds": 0.197636917,
|
||||
"execute_segments": [
|
||||
{
|
||||
"cycles": 278423,
|
||||
"po2": 19
|
||||
}
|
||||
],
|
||||
"fee_set": "prototype",
|
||||
"fees_v1_activation_daa": null,
|
||||
"fixture": "/Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/../../fixtures/block-58927-empty-reward.json",
|
||||
"image_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"native_seconds": 0.000117208,
|
||||
"number": 58927,
|
||||
"paging_cycles": 118603,
|
||||
"po2": 21,
|
||||
"proof_file": "/Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-58927-shard-0-r0.bin",
|
||||
"proof_sha256": "0xd422ff039289d0807875ce7e32202e9daae5be238636f7ec01c1b19511c3e148",
|
||||
"proof_system": 2,
|
||||
"prover": "0x1919191919191919191919191919191919191919",
|
||||
"reserved_cycles": 127262,
|
||||
"risc0_crate_version": "3.0.6",
|
||||
"seal_bytes": 222668,
|
||||
"segments": 1,
|
||||
"setup_seconds": 0.188892084,
|
||||
"shard_budget": 7500000,
|
||||
"shard_index": 0,
|
||||
"shard_pgas": [
|
||||
0
|
||||
],
|
||||
"shard_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"shard_witness_bytes": [
|
||||
13717
|
||||
],
|
||||
"shards": 1,
|
||||
"statement": "0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958",
|
||||
"test_cut": false,
|
||||
"total_cycles": 524288,
|
||||
"user_cycles": 278423,
|
||||
"witness_bytes": [
|
||||
13717
|
||||
]
|
||||
}
|
||||
|
|
@ -0,0 +1,15 @@
|
|||
igneum-prove-r0-host sources 9d1377458bda9488: fixture /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/../../fixtures/block-58927-empty-reward.json: chain 4463 block 58927 (0x272a99725fa79fdc631d1ff4b1978a26ad49fb5cf226b558561a35579c836996) at DAA score 0, 0 transactions in 0 including blocks, 11 accounts in the pre-state, plan 1 shard(s) at S_p = 7500000 pgas; fee schedule prototype, calibrated v1 from DAA score never: this block meters with prototype (intrinsic 200 pgas, B_p 30000000); proof system 2 (RISC Zero 3.0.6), backend metal (risc0 3.0.6: CPU HAL, the Metal arm is commented out in every circuit), segment po2 21; prover payout 0x1919191919191919191919191919191919191919; 2026-10-06T12:31:00Z
|
||||
STAGE native start 2026-10-06T12:31:00Z
|
||||
RESULT native: 0.0001 s, pre 0xea9db302b3b1fe3b859d5fb417408fecefeb06aa43721ed7fdf354975582f2c7 post 0x7886b9cfbbbdfe12509affbd4df83cb317e9708eeb627bd49b575cbfa47999c4 receipts 0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421 gas 0 pgas 0 executed 0 skipped 0: MATCHES the fixture's expected values at 2026-10-06T12:31:00Z
|
||||
RESULT shard 0 native: txs 0..0 (0 executed, 0 skipped), gas 0, pgas 0, witness 2 accounts 0 slots 2 leaves 9 hashes, input 13717 bytes, pre 0xea9db302b3b1fe3b859d5fb417408fecefeb06aa43721ed7fdf354975582f2c7 post 0x7886b9cfbbbdfe12509affbd4df83cb317e9708eeb627bd49b575cbfa47999c4
|
||||
RESULT plan: 1 shard(s) chain from 0xea9db302b3b1fe3b859d5fb417408fecefeb06aa43721ed7fdf354975582f2c7 to 0x7886b9cfbbbdfe12509affbd4df83cb317e9708eeb627bd49b575cbfa47999c4 and sum to gas 0 pgas 0: the cut equals the block; native aggregation receipts 0x6fcd3e8e97da273711ccefb79abdd246c5663c7d61057f82bae745ceac5dcc75 provers 0xe8a6c07ee13e9afa662a1bf0bf69bae726aa8fdb541308bdd4b63bbc60175f27
|
||||
RESULT tamper account balance: REJECTED (pre-root 0x61857fe806042480d26d91e9b75ffb347d4b3070f2a2e25300fe8dc493a8b441 is not the node's 0xea9db302b3b1fe3b859d5fb417408fecefeb06aa43721ed7fdf354975582f2c7)
|
||||
STAGE setup start 2026-10-06T12:31:00Z
|
||||
RESULT setup: 0.189 s (image id recomputed from the embedded guest), proof system 2 image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:31:00Z
|
||||
RESULT pinned: setup matches the manifest (pinned guests: shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (3667564 bytes, sha256 0x2be67ce3e5a24010) aggregator id 0x0000000000000000000000000000000000000000000000000000000000000000 (0 bytes), pinned 2026-10-06T11:54:47Z on Darwin MacBook-Pro.local 25.6.0 Darwin Kernel Version 25.6.0: Fri Jul 31 19:19:08 PDT 2026; root:xnu-12377.161.14~5/RELEASE_ARM64_T6050 arm64, RISC Zero 3.0.6 proof system 2)
|
||||
STAGE execute shard 0 start 2026-10-06T12:31:00Z
|
||||
RESULT execute shard 0: 278423 user cycles in 1 segment(s) [(19, 278423)] (po2, cycles), 0.20 s at 2026-10-06T12:31:00Z
|
||||
STAGE compressed shard 0 (succinct receipt, po2 21) start 2026-10-06T12:31:00Z
|
||||
RESULT compressed shard 0: prove 49.0 s (1 segment(s), total cycles 524288, user cycles 278423, paging 118603, reserved 127262), receipt 223882 bytes (seal 222668 bytes), verify 0.009 s, VERIFIED; statement 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958 proof sha256 0xd422ff039289d0807875ce7e32202e9daae5be238636f7ec01c1b19511c3e148 prover 0x1919191919191919191919191919191919191919 at 2026-10-06T12:31:49Z
|
||||
proof written to /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-58927-shard-0-r0.bin
|
||||
results written to /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-58927-empty-reward-metal-po221.json
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
49.44 real 719.04 user 6.33 sys
|
||||
8322269184 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
543515 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
5 voluntary context switches
|
||||
1262652 involuntary context switches
|
||||
6910031145353 instructions retired
|
||||
3011724189331 cycles elapsed
|
||||
8274336032 peak memory footprint
|
||||
exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:31:50Z
|
||||
RESULT setup: 0.189 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:31:50Z
|
||||
STAGE verify start 2026-10-06T12:31:50Z
|
||||
RESULT verify: VERIFIED in 0.010 s; block 58927 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958 (want 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:31:50Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32899072 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2382 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
154 involuntary context switches
|
||||
3180242902 instructions retired
|
||||
892924976 cycles elapsed
|
||||
22200680 peak memory footprint
|
||||
verify 1 exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:31:50Z
|
||||
RESULT setup: 0.190 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:31:50Z
|
||||
STAGE verify start 2026-10-06T12:31:50Z
|
||||
RESULT verify: VERIFIED in 0.009 s; block 58927 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958 (want 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:31:50Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32866304 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2379 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
163 involuntary context switches
|
||||
3181093168 instructions retired
|
||||
891892824 cycles elapsed
|
||||
22184296 peak memory footprint
|
||||
verify 2 exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:31:50Z
|
||||
RESULT setup: 0.191 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:31:50Z
|
||||
STAGE verify start 2026-10-06T12:31:50Z
|
||||
RESULT verify: VERIFIED in 0.009 s; block 58927 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958 (want 0xe1aa970082666180cbb81f6d434da7c0525a7560db9c43b399fab2da22017958) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:31:50Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32931840 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2383 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
183 involuntary context switches
|
||||
3181015452 instructions retired
|
||||
894146138 cycles elapsed
|
||||
22233472 peak memory footprint
|
||||
verify 3 exit 0
|
||||
|
|
@ -0,0 +1,96 @@
|
|||
{
|
||||
"backend": "cpu",
|
||||
"block": 351,
|
||||
"block_hash": "0x94569ddafb92bf8da9f8c68478184aba50674f64e9880de461b7d64ff4f91248",
|
||||
"budget": 30000,
|
||||
"compressed_proof_bytes": 223882,
|
||||
"compressed_prove_seconds": 585.765148792,
|
||||
"compressed_verify_seconds": 0.009500791,
|
||||
"consensus_budget": true,
|
||||
"cycles": 10049917,
|
||||
"daa_score": 1105,
|
||||
"execute_seconds": 0.307009042,
|
||||
"execute_segments": [
|
||||
{
|
||||
"cycles": 845030,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 894979,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 1000813,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 1000813,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 870778,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 884222,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 914126,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 1001096,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 1001096,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 867817,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 769147,
|
||||
"po2": 20
|
||||
}
|
||||
],
|
||||
"fee_set": "calibrated v1",
|
||||
"fees_v1_activation_daa": 800,
|
||||
"fixture": "/Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/../../fixtures/fees-v1-shards2.json",
|
||||
"image_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"native_seconds": 0.006371375,
|
||||
"number": 351,
|
||||
"paging_cycles": 1093455,
|
||||
"po2": 20,
|
||||
"proof_file": "/Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-351-shard-0-r0.bin",
|
||||
"proof_sha256": "0x324b5d91ea3c51b458b00bf29c27c2362bfa803a08f3762ec04d0b748b59de12",
|
||||
"proof_system": 2,
|
||||
"prover": "0x1919191919191919191919191919191919191919",
|
||||
"reserved_cycles": 390964,
|
||||
"risc0_crate_version": "3.0.6",
|
||||
"seal_bytes": 222668,
|
||||
"segments": 11,
|
||||
"setup_seconds": 0.198069958,
|
||||
"shard_budget": 30000,
|
||||
"shard_index": 0,
|
||||
"shard_pgas": [
|
||||
22172,
|
||||
14762
|
||||
],
|
||||
"shard_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"shard_witness_bytes": [
|
||||
18390,
|
||||
20355
|
||||
],
|
||||
"shards": 2,
|
||||
"statement": "0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0",
|
||||
"test_cut": false,
|
||||
"total_cycles": 11534336,
|
||||
"user_cycles": 10049917,
|
||||
"witness_bytes": [
|
||||
18390,
|
||||
20355
|
||||
]
|
||||
}
|
||||
|
|
@ -0,0 +1,18 @@
|
|||
igneum-prove-r0-host sources 9d1377458bda9488: fixture /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/../../fixtures/fees-v1-shards2.json: chain 4463 block 351 (0x94569ddafb92bf8da9f8c68478184aba50674f64e9880de461b7d64ff4f91248) at DAA score 1105, 11 transactions in 1 including blocks, 37 accounts in the pre-state, plan 2 shard(s) at S_p = 30000 pgas; fee schedule prototype, calibrated v1 from DAA score 800: this block meters with calibrated v1 (intrinsic 300 pgas, B_p 120000); proof system 2 (RISC Zero 3.0.6), backend cpu, segment po2 20; prover payout 0x1919191919191919191919191919191919191919; 2026-10-06T12:31:52Z
|
||||
STAGE native start 2026-10-06T12:31:52Z
|
||||
RESULT native: 0.0064 s, pre 0xc9843c8c66e433ac2ba754e53ce0fe6b6ea1532d019fbf53ffa8dbc74d486afc post 0x3bebd12b2a83e7412262a36175df979712ebc80c1a22fe40e595de8448ed18b2 receipts 0x8082bda08be11e3bd00837e243e87fb9eb8e3e9d15def7fbd13a4c0480bb5e1b gas 355287 pgas 36934 executed 11 skipped 0: MATCHES the fixture's expected values at 2026-10-06T12:31:52Z
|
||||
RESULT shard 0 native: txs 0..4 (4 executed, 0 skipped), gas 145786, pgas 22172, witness 9 accounts 1 slots 11 leaves 25 hashes, input 18390 bytes, pre 0xc9843c8c66e433ac2ba754e53ce0fe6b6ea1532d019fbf53ffa8dbc74d486afc post 0x0f5fc23a4d70c9a1053b250097203d9d8fd0ec5cec8abefd12f2f94d5dda08fc
|
||||
RESULT shard 1 native: txs 4..11 (7 executed, 0 skipped), gas 209501, pgas 14762, witness 15 accounts 3 slots 19 leaves 20 hashes, input 20355 bytes, pre 0x0f5fc23a4d70c9a1053b250097203d9d8fd0ec5cec8abefd12f2f94d5dda08fc post 0x3bebd12b2a83e7412262a36175df979712ebc80c1a22fe40e595de8448ed18b2
|
||||
RESULT plan: 2 shard(s) chain from 0xc9843c8c66e433ac2ba754e53ce0fe6b6ea1532d019fbf53ffa8dbc74d486afc to 0x3bebd12b2a83e7412262a36175df979712ebc80c1a22fe40e595de8448ed18b2 and sum to gas 355287 pgas 36934: the cut equals the block; native aggregation receipts 0x365372e9cc446b0707c32b951514b961e7622efcb71af2a2325fdc6df9ca93bd provers 0x34f9ea37671801505c040024f1f6d78839adf45b6194f908a5bb61191785d60c
|
||||
RESULT tamper account balance: REJECTED (pre-root 0xa0f77e1dbae468e0bfdeb192294a2869d172dd70137d27a2415fabe10c7423de is not the node's 0xc9843c8c66e433ac2ba754e53ce0fe6b6ea1532d019fbf53ffa8dbc74d486afc)
|
||||
RESULT tamper storage or code: REJECTED (the statement cannot be proven)
|
||||
RESULT tamper dropped account: REJECTED (the statement cannot be proven)
|
||||
STAGE setup start 2026-10-06T12:31:52Z
|
||||
RESULT setup: 0.198 s (image id recomputed from the embedded guest), proof system 2 image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:31:52Z
|
||||
RESULT pinned: setup matches the manifest (pinned guests: shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (3667564 bytes, sha256 0x2be67ce3e5a24010) aggregator id 0x0000000000000000000000000000000000000000000000000000000000000000 (0 bytes), pinned 2026-10-06T11:54:47Z on Darwin MacBook-Pro.local 25.6.0 Darwin Kernel Version 25.6.0: Fri Jul 31 19:19:08 PDT 2026; root:xnu-12377.161.14~5/RELEASE_ARM64_T6050 arm64, RISC Zero 3.0.6 proof system 2)
|
||||
STAGE execute shard 0 start 2026-10-06T12:31:52Z
|
||||
RESULT execute shard 0: 10049917 user cycles in 11 segment(s) [(20, 845030), (20, 894979), (20, 1000813), (20, 1000813), (20, 870778), (20, 884222), (20, 914126), (20, 1001096), (20, 1001096), (20, 867817), (20, 769147)] (po2, cycles), 0.31 s at 2026-10-06T12:31:52Z
|
||||
STAGE compressed shard 0 (succinct receipt, po2 20) start 2026-10-06T12:31:52Z
|
||||
RESULT compressed shard 0: prove 585.8 s (11 segment(s), total cycles 11534336, user cycles 10049917, paging 1093455, reserved 390964), receipt 223882 bytes (seal 222668 bytes), verify 0.010 s, VERIFIED; statement 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0 proof sha256 0x324b5d91ea3c51b458b00bf29c27c2362bfa803a08f3762ec04d0b748b59de12 prover 0x1919191919191919191919191919191919191919 at 2026-10-06T12:41:38Z
|
||||
proof written to /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-351-shard-0-r0.bin
|
||||
results written to /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/fees-v1-shards2-cpu-po220.json
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
587.71 real 9004.99 user 61.58 sys
|
||||
10583965696 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
919145 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
5 voluntary context switches
|
||||
14927529 involuntary context switches
|
||||
87396928599390 instructions retired
|
||||
37486609496932 cycles elapsed
|
||||
10542112664 peak memory footprint
|
||||
exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:41:38Z
|
||||
RESULT setup: 0.191 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:41:38Z
|
||||
STAGE verify start 2026-10-06T12:41:38Z
|
||||
RESULT verify: VERIFIED in 0.012 s; block 351 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0 (want 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:41:38Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32931840 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2379 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
133 involuntary context switches
|
||||
3180550995 instructions retired
|
||||
906112055 cycles elapsed
|
||||
22233472 peak memory footprint
|
||||
verify 1 exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:41:39Z
|
||||
RESULT setup: 0.194 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:41:39Z
|
||||
STAGE verify start 2026-10-06T12:41:39Z
|
||||
RESULT verify: VERIFIED in 0.010 s; block 351 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0 (want 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:41:39Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32931840 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2381 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
151 involuntary context switches
|
||||
3180465471 instructions retired
|
||||
913518068 cycles elapsed
|
||||
22282624 peak memory footprint
|
||||
verify 2 exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:41:39Z
|
||||
RESULT setup: 0.191 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:41:39Z
|
||||
STAGE verify start 2026-10-06T12:41:39Z
|
||||
RESULT verify: VERIFIED in 0.009 s; block 351 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0 (want 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:41:39Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32899072 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2380 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
269 involuntary context switches
|
||||
3183131820 instructions retired
|
||||
892594392 cycles elapsed
|
||||
22249856 peak memory footprint
|
||||
verify 3 exit 0
|
||||
|
|
@ -0,0 +1,148 @@
|
|||
{
|
||||
"backend": "metal",
|
||||
"block": 351,
|
||||
"block_hash": "0x94569ddafb92bf8da9f8c68478184aba50674f64e9880de461b7d64ff4f91248",
|
||||
"budget": 30000,
|
||||
"compressed_proof_bytes": 223882,
|
||||
"compressed_prove_seconds": 698.704864625,
|
||||
"compressed_verify_seconds": 0.009746125,
|
||||
"consensus_budget": true,
|
||||
"cycles": 10049917,
|
||||
"daa_score": 1105,
|
||||
"execute_seconds": 0.309079666,
|
||||
"execute_segments": [
|
||||
{
|
||||
"cycles": 387088,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 386779,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 385873,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 446412,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 476525,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 476525,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 476525,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 476525,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 476525,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 440623,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 356273,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 375134,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 436621,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 393484,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 476808,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 476808,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 476808,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 476808,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 476808,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 476808,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 349954,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 462364,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 340421,
|
||||
"po2": 19
|
||||
},
|
||||
{
|
||||
"cycles": 45418,
|
||||
"po2": 17
|
||||
}
|
||||
],
|
||||
"fee_set": "calibrated v1",
|
||||
"fees_v1_activation_daa": 800,
|
||||
"fixture": "/Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/../../fixtures/fees-v1-shards2.json",
|
||||
"image_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"native_seconds": 0.004128125,
|
||||
"number": 351,
|
||||
"paging_cycles": 1442953,
|
||||
"po2": 19,
|
||||
"proof_file": "/Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-351-shard-0-r0.bin",
|
||||
"proof_sha256": "0xaae17490df851262141653d38ec9d3d40cca47819ce33061a3409e5433c242d4",
|
||||
"proof_system": 2,
|
||||
"prover": "0x1919191919191919191919191919191919191919",
|
||||
"reserved_cycles": 696826,
|
||||
"risc0_crate_version": "3.0.6",
|
||||
"seal_bytes": 222668,
|
||||
"segments": 24,
|
||||
"setup_seconds": 0.187895375,
|
||||
"shard_budget": 30000,
|
||||
"shard_index": 0,
|
||||
"shard_pgas": [
|
||||
22172,
|
||||
14762
|
||||
],
|
||||
"shard_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"shard_witness_bytes": [
|
||||
18390,
|
||||
20355
|
||||
],
|
||||
"shards": 2,
|
||||
"statement": "0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0",
|
||||
"test_cut": false,
|
||||
"total_cycles": 12189696,
|
||||
"user_cycles": 10049917,
|
||||
"witness_bytes": [
|
||||
18390,
|
||||
20355
|
||||
]
|
||||
}
|
||||
|
|
@ -0,0 +1,18 @@
|
|||
igneum-prove-r0-host sources 9d1377458bda9488: fixture /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/../../fixtures/fees-v1-shards2.json: chain 4463 block 351 (0x94569ddafb92bf8da9f8c68478184aba50674f64e9880de461b7d64ff4f91248) at DAA score 1105, 11 transactions in 1 including blocks, 37 accounts in the pre-state, plan 2 shard(s) at S_p = 30000 pgas; fee schedule prototype, calibrated v1 from DAA score 800: this block meters with calibrated v1 (intrinsic 300 pgas, B_p 120000); proof system 2 (RISC Zero 3.0.6), backend metal (risc0 3.0.6: CPU HAL, the Metal arm is commented out in every circuit), segment po2 19; prover payout 0x1919191919191919191919191919191919191919; 2026-10-06T12:09:10Z
|
||||
STAGE native start 2026-10-06T12:09:10Z
|
||||
RESULT native: 0.0041 s, pre 0xc9843c8c66e433ac2ba754e53ce0fe6b6ea1532d019fbf53ffa8dbc74d486afc post 0x3bebd12b2a83e7412262a36175df979712ebc80c1a22fe40e595de8448ed18b2 receipts 0x8082bda08be11e3bd00837e243e87fb9eb8e3e9d15def7fbd13a4c0480bb5e1b gas 355287 pgas 36934 executed 11 skipped 0: MATCHES the fixture's expected values at 2026-10-06T12:09:10Z
|
||||
RESULT shard 0 native: txs 0..4 (4 executed, 0 skipped), gas 145786, pgas 22172, witness 9 accounts 1 slots 11 leaves 25 hashes, input 18390 bytes, pre 0xc9843c8c66e433ac2ba754e53ce0fe6b6ea1532d019fbf53ffa8dbc74d486afc post 0x0f5fc23a4d70c9a1053b250097203d9d8fd0ec5cec8abefd12f2f94d5dda08fc
|
||||
RESULT shard 1 native: txs 4..11 (7 executed, 0 skipped), gas 209501, pgas 14762, witness 15 accounts 3 slots 19 leaves 20 hashes, input 20355 bytes, pre 0x0f5fc23a4d70c9a1053b250097203d9d8fd0ec5cec8abefd12f2f94d5dda08fc post 0x3bebd12b2a83e7412262a36175df979712ebc80c1a22fe40e595de8448ed18b2
|
||||
RESULT plan: 2 shard(s) chain from 0xc9843c8c66e433ac2ba754e53ce0fe6b6ea1532d019fbf53ffa8dbc74d486afc to 0x3bebd12b2a83e7412262a36175df979712ebc80c1a22fe40e595de8448ed18b2 and sum to gas 355287 pgas 36934: the cut equals the block; native aggregation receipts 0x365372e9cc446b0707c32b951514b961e7622efcb71af2a2325fdc6df9ca93bd provers 0x34f9ea37671801505c040024f1f6d78839adf45b6194f908a5bb61191785d60c
|
||||
RESULT tamper account balance: REJECTED (pre-root 0xa0f77e1dbae468e0bfdeb192294a2869d172dd70137d27a2415fabe10c7423de is not the node's 0xc9843c8c66e433ac2ba754e53ce0fe6b6ea1532d019fbf53ffa8dbc74d486afc)
|
||||
RESULT tamper storage or code: REJECTED (the statement cannot be proven)
|
||||
RESULT tamper dropped account: REJECTED (the statement cannot be proven)
|
||||
STAGE setup start 2026-10-06T12:09:10Z
|
||||
RESULT setup: 0.188 s (image id recomputed from the embedded guest), proof system 2 image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:09:10Z
|
||||
RESULT pinned: setup matches the manifest (pinned guests: shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (3667564 bytes, sha256 0x2be67ce3e5a24010) aggregator id 0x0000000000000000000000000000000000000000000000000000000000000000 (0 bytes), pinned 2026-10-06T11:54:47Z on Darwin MacBook-Pro.local 25.6.0 Darwin Kernel Version 25.6.0: Fri Jul 31 19:19:08 PDT 2026; root:xnu-12377.161.14~5/RELEASE_ARM64_T6050 arm64, RISC Zero 3.0.6 proof system 2)
|
||||
STAGE execute shard 0 start 2026-10-06T12:09:10Z
|
||||
RESULT execute shard 0: 10049917 user cycles in 24 segment(s) [(19, 387088), (19, 386779), (19, 385873), (19, 446412), (19, 476525), (19, 476525), (19, 476525), (19, 476525), (19, 476525), (19, 440623), (19, 356273), (19, 375134), (19, 436621), (19, 393484), (19, 476808), (19, 476808), (19, 476808), (19, 476808), (19, 476808), (19, 476808), (19, 349954), (19, 462364), (19, 340421), (17, 45418)] (po2, cycles), 0.31 s at 2026-10-06T12:09:10Z
|
||||
STAGE compressed shard 0 (succinct receipt, po2 19) start 2026-10-06T12:09:10Z
|
||||
RESULT compressed shard 0: prove 698.7 s (24 segment(s), total cycles 12189696, user cycles 10049917, paging 1442953, reserved 696826), receipt 223882 bytes (seal 222668 bytes), verify 0.010 s, VERIFIED; statement 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0 proof sha256 0xaae17490df851262141653d38ec9d3d40cca47819ce33061a3409e5433c242d4 prover 0x1919191919191919191919191919191919191919 at 2026-10-06T12:20:49Z
|
||||
proof written to /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-351-shard-0-r0.bin
|
||||
results written to /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/fees-v1-shards2-metal-po219.json
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
699.24 real 10764.36 user 84.27 sys
|
||||
8402812928 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
849283 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
17450623 involuntary context switches
|
||||
108532502048478 instructions retired
|
||||
44590909740103 cycles elapsed
|
||||
8337201560 peak memory footprint
|
||||
exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:20:49Z
|
||||
RESULT setup: 0.189 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:20:49Z
|
||||
STAGE verify start 2026-10-06T12:20:49Z
|
||||
RESULT verify: VERIFIED in 0.009 s; block 351 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0 (want 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:20:49Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32768000 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2373 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
93 involuntary context switches
|
||||
3179593942 instructions retired
|
||||
890475022 cycles elapsed
|
||||
22167936 peak memory footprint
|
||||
verify 1 exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:20:49Z
|
||||
RESULT setup: 0.188 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:20:50Z
|
||||
STAGE verify start 2026-10-06T12:20:50Z
|
||||
RESULT verify: VERIFIED in 0.009 s; block 351 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0 (want 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:20:50Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32800768 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2375 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
76 involuntary context switches
|
||||
3179878158 instructions retired
|
||||
890703123 cycles elapsed
|
||||
22184320 peak memory footprint
|
||||
verify 2 exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:20:50Z
|
||||
RESULT setup: 0.187 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:20:50Z
|
||||
STAGE verify start 2026-10-06T12:20:50Z
|
||||
RESULT verify: VERIFIED in 0.009 s; block 351 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0 (want 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:20:50Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32784384 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2373 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
58 involuntary context switches
|
||||
3179475647 instructions retired
|
||||
889445692 cycles elapsed
|
||||
22118760 peak memory footprint
|
||||
verify 3 exit 0
|
||||
|
|
@ -0,0 +1,96 @@
|
|||
{
|
||||
"backend": "metal",
|
||||
"block": 351,
|
||||
"block_hash": "0x94569ddafb92bf8da9f8c68478184aba50674f64e9880de461b7d64ff4f91248",
|
||||
"budget": 30000,
|
||||
"compressed_proof_bytes": 223882,
|
||||
"compressed_prove_seconds": 574.4259095,
|
||||
"compressed_verify_seconds": 0.009229875,
|
||||
"consensus_budget": true,
|
||||
"cycles": 10049917,
|
||||
"daa_score": 1105,
|
||||
"execute_seconds": 0.295685042,
|
||||
"execute_segments": [
|
||||
{
|
||||
"cycles": 845030,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 894979,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 1000813,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 1000813,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 870778,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 884222,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 914126,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 1001096,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 1001096,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 867817,
|
||||
"po2": 20
|
||||
},
|
||||
{
|
||||
"cycles": 769147,
|
||||
"po2": 20
|
||||
}
|
||||
],
|
||||
"fee_set": "calibrated v1",
|
||||
"fees_v1_activation_daa": 800,
|
||||
"fixture": "/Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/../../fixtures/fees-v1-shards2.json",
|
||||
"image_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"native_seconds": 0.0038775,
|
||||
"number": 351,
|
||||
"paging_cycles": 1093455,
|
||||
"po2": 20,
|
||||
"proof_file": "/Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-351-shard-0-r0.bin",
|
||||
"proof_sha256": "0xeb1b375349cc6101e0d8b22cbd08d2207f1f20740b0b7b2df54c7bd0a9985f7c",
|
||||
"proof_system": 2,
|
||||
"prover": "0x1919191919191919191919191919191919191919",
|
||||
"reserved_cycles": 390964,
|
||||
"risc0_crate_version": "3.0.6",
|
||||
"seal_bytes": 222668,
|
||||
"segments": 11,
|
||||
"setup_seconds": 0.179734833,
|
||||
"shard_budget": 30000,
|
||||
"shard_index": 0,
|
||||
"shard_pgas": [
|
||||
22172,
|
||||
14762
|
||||
],
|
||||
"shard_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"shard_witness_bytes": [
|
||||
18390,
|
||||
20355
|
||||
],
|
||||
"shards": 2,
|
||||
"statement": "0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0",
|
||||
"test_cut": false,
|
||||
"total_cycles": 11534336,
|
||||
"user_cycles": 10049917,
|
||||
"witness_bytes": [
|
||||
18390,
|
||||
20355
|
||||
]
|
||||
}
|
||||
|
|
@ -0,0 +1,18 @@
|
|||
igneum-prove-r0-host sources 9d1377458bda9488: fixture /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/../../fixtures/fees-v1-shards2.json: chain 4463 block 351 (0x94569ddafb92bf8da9f8c68478184aba50674f64e9880de461b7d64ff4f91248) at DAA score 1105, 11 transactions in 1 including blocks, 37 accounts in the pre-state, plan 2 shard(s) at S_p = 30000 pgas; fee schedule prototype, calibrated v1 from DAA score 800: this block meters with calibrated v1 (intrinsic 300 pgas, B_p 120000); proof system 2 (RISC Zero 3.0.6), backend metal (risc0 3.0.6: CPU HAL, the Metal arm is commented out in every circuit), segment po2 20; prover payout 0x1919191919191919191919191919191919191919; 2026-10-06T11:58:45Z
|
||||
STAGE native start 2026-10-06T11:58:45Z
|
||||
RESULT native: 0.0039 s, pre 0xc9843c8c66e433ac2ba754e53ce0fe6b6ea1532d019fbf53ffa8dbc74d486afc post 0x3bebd12b2a83e7412262a36175df979712ebc80c1a22fe40e595de8448ed18b2 receipts 0x8082bda08be11e3bd00837e243e87fb9eb8e3e9d15def7fbd13a4c0480bb5e1b gas 355287 pgas 36934 executed 11 skipped 0: MATCHES the fixture's expected values at 2026-10-06T11:58:45Z
|
||||
RESULT shard 0 native: txs 0..4 (4 executed, 0 skipped), gas 145786, pgas 22172, witness 9 accounts 1 slots 11 leaves 25 hashes, input 18390 bytes, pre 0xc9843c8c66e433ac2ba754e53ce0fe6b6ea1532d019fbf53ffa8dbc74d486afc post 0x0f5fc23a4d70c9a1053b250097203d9d8fd0ec5cec8abefd12f2f94d5dda08fc
|
||||
RESULT shard 1 native: txs 4..11 (7 executed, 0 skipped), gas 209501, pgas 14762, witness 15 accounts 3 slots 19 leaves 20 hashes, input 20355 bytes, pre 0x0f5fc23a4d70c9a1053b250097203d9d8fd0ec5cec8abefd12f2f94d5dda08fc post 0x3bebd12b2a83e7412262a36175df979712ebc80c1a22fe40e595de8448ed18b2
|
||||
RESULT plan: 2 shard(s) chain from 0xc9843c8c66e433ac2ba754e53ce0fe6b6ea1532d019fbf53ffa8dbc74d486afc to 0x3bebd12b2a83e7412262a36175df979712ebc80c1a22fe40e595de8448ed18b2 and sum to gas 355287 pgas 36934: the cut equals the block; native aggregation receipts 0x365372e9cc446b0707c32b951514b961e7622efcb71af2a2325fdc6df9ca93bd provers 0x34f9ea37671801505c040024f1f6d78839adf45b6194f908a5bb61191785d60c
|
||||
RESULT tamper account balance: REJECTED (pre-root 0xa0f77e1dbae468e0bfdeb192294a2869d172dd70137d27a2415fabe10c7423de is not the node's 0xc9843c8c66e433ac2ba754e53ce0fe6b6ea1532d019fbf53ffa8dbc74d486afc)
|
||||
RESULT tamper storage or code: REJECTED (the statement cannot be proven)
|
||||
RESULT tamper dropped account: REJECTED (the statement cannot be proven)
|
||||
STAGE setup start 2026-10-06T11:58:45Z
|
||||
RESULT setup: 0.180 s (image id recomputed from the embedded guest), proof system 2 image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T11:58:45Z
|
||||
RESULT pinned: setup matches the manifest (pinned guests: shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (3667564 bytes, sha256 0x2be67ce3e5a24010) aggregator id 0x0000000000000000000000000000000000000000000000000000000000000000 (0 bytes), pinned 2026-10-06T11:54:47Z on Darwin MacBook-Pro.local 25.6.0 Darwin Kernel Version 25.6.0: Fri Jul 31 19:19:08 PDT 2026; root:xnu-12377.161.14~5/RELEASE_ARM64_T6050 arm64, RISC Zero 3.0.6 proof system 2)
|
||||
STAGE execute shard 0 start 2026-10-06T11:58:45Z
|
||||
RESULT execute shard 0: 10049917 user cycles in 11 segment(s) [(20, 845030), (20, 894979), (20, 1000813), (20, 1000813), (20, 870778), (20, 884222), (20, 914126), (20, 1001096), (20, 1001096), (20, 867817), (20, 769147)] (po2, cycles), 0.30 s at 2026-10-06T11:58:45Z
|
||||
STAGE compressed shard 0 (succinct receipt, po2 20) start 2026-10-06T11:58:45Z
|
||||
RESULT compressed shard 0: prove 574.4 s (11 segment(s), total cycles 11534336, user cycles 10049917, paging 1093455, reserved 390964), receipt 223882 bytes (seal 222668 bytes), verify 0.009 s, VERIFIED; statement 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0 proof sha256 0xeb1b375349cc6101e0d8b22cbd08d2207f1f20740b0b7b2df54c7bd0a9985f7c prover 0x1919191919191919191919191919191919191919 at 2026-10-06T12:08:20Z
|
||||
proof written to /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-351-shard-0-r0.bin
|
||||
results written to /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/fees-v1-shards2-metal-po220.json
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
574.95 real 9035.51 user 57.36 sys
|
||||
10660036608 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
923759 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
1 voluntary context switches
|
||||
13342880 involuntary context switches
|
||||
87378072717456 instructions retired
|
||||
37413942830420 cycles elapsed
|
||||
10615103384 peak memory footprint
|
||||
exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:08:20Z
|
||||
RESULT setup: 0.190 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:08:20Z
|
||||
STAGE verify start 2026-10-06T12:08:20Z
|
||||
RESULT verify: VERIFIED in 0.009 s; block 351 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0 (want 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:08:20Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32817152 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2376 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
173 involuntary context switches
|
||||
3182051598 instructions retired
|
||||
892914822 cycles elapsed
|
||||
22135168 peak memory footprint
|
||||
verify 1 exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:08:20Z
|
||||
RESULT setup: 0.189 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:08:20Z
|
||||
STAGE verify start 2026-10-06T12:08:20Z
|
||||
RESULT verify: VERIFIED in 0.009 s; block 351 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0 (want 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:08:20Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32768000 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2373 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
128 involuntary context switches
|
||||
3180411429 instructions retired
|
||||
894125292 cycles elapsed
|
||||
22135168 peak memory footprint
|
||||
verify 2 exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:08:20Z
|
||||
RESULT setup: 0.188 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:08:21Z
|
||||
STAGE verify start 2026-10-06T12:08:21Z
|
||||
RESULT verify: VERIFIED in 0.009 s; block 351 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0 (want 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:08:21Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32784384 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2374 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
87 involuntary context switches
|
||||
3179308350 instructions retired
|
||||
889726379 cycles elapsed
|
||||
22151528 peak memory footprint
|
||||
verify 3 exit 0
|
||||
|
|
@ -0,0 +1,76 @@
|
|||
{
|
||||
"backend": "metal",
|
||||
"block": 351,
|
||||
"block_hash": "0x94569ddafb92bf8da9f8c68478184aba50674f64e9880de461b7d64ff4f91248",
|
||||
"budget": 30000,
|
||||
"compressed_proof_bytes": 223882,
|
||||
"compressed_prove_seconds": 560.90603875,
|
||||
"compressed_verify_seconds": 0.009724542,
|
||||
"consensus_budget": true,
|
||||
"cycles": 10049917,
|
||||
"daa_score": 1105,
|
||||
"execute_seconds": 0.308031958,
|
||||
"execute_segments": [
|
||||
{
|
||||
"cycles": 1819410,
|
||||
"po2": 21
|
||||
},
|
||||
{
|
||||
"cycles": 2049389,
|
||||
"po2": 21
|
||||
},
|
||||
{
|
||||
"cycles": 1882565,
|
||||
"po2": 21
|
||||
},
|
||||
{
|
||||
"cycles": 1990545,
|
||||
"po2": 21
|
||||
},
|
||||
{
|
||||
"cycles": 1913659,
|
||||
"po2": 21
|
||||
},
|
||||
{
|
||||
"cycles": 394349,
|
||||
"po2": 20
|
||||
}
|
||||
],
|
||||
"fee_set": "calibrated v1",
|
||||
"fees_v1_activation_daa": 800,
|
||||
"fixture": "/Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/../../fixtures/fees-v1-shards2.json",
|
||||
"image_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"native_seconds": 0.004194333,
|
||||
"number": 351,
|
||||
"paging_cycles": 854857,
|
||||
"po2": 21,
|
||||
"proof_file": "/Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-351-shard-0-r0.bin",
|
||||
"proof_sha256": "0x9c523b4670114620e9283b2991e3ee3827368311aa0b3920ed584e1f78c86829",
|
||||
"proof_system": 2,
|
||||
"prover": "0x1919191919191919191919191919191919191919",
|
||||
"reserved_cycles": 629562,
|
||||
"risc0_crate_version": "3.0.6",
|
||||
"seal_bytes": 222668,
|
||||
"segments": 6,
|
||||
"setup_seconds": 0.188316666,
|
||||
"shard_budget": 30000,
|
||||
"shard_index": 0,
|
||||
"shard_pgas": [
|
||||
22172,
|
||||
14762
|
||||
],
|
||||
"shard_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"shard_witness_bytes": [
|
||||
18390,
|
||||
20355
|
||||
],
|
||||
"shards": 2,
|
||||
"statement": "0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0",
|
||||
"test_cut": false,
|
||||
"total_cycles": 11534336,
|
||||
"user_cycles": 10049917,
|
||||
"witness_bytes": [
|
||||
18390,
|
||||
20355
|
||||
]
|
||||
}
|
||||
|
|
@ -0,0 +1,18 @@
|
|||
igneum-prove-r0-host sources 9d1377458bda9488: fixture /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/../../fixtures/fees-v1-shards2.json: chain 4463 block 351 (0x94569ddafb92bf8da9f8c68478184aba50674f64e9880de461b7d64ff4f91248) at DAA score 1105, 11 transactions in 1 including blocks, 37 accounts in the pre-state, plan 2 shard(s) at S_p = 30000 pgas; fee schedule prototype, calibrated v1 from DAA score 800: this block meters with calibrated v1 (intrinsic 300 pgas, B_p 120000); proof system 2 (RISC Zero 3.0.6), backend metal (risc0 3.0.6: CPU HAL, the Metal arm is commented out in every circuit), segment po2 21; prover payout 0x1919191919191919191919191919191919191919; 2026-10-06T12:21:38Z
|
||||
STAGE native start 2026-10-06T12:21:38Z
|
||||
RESULT native: 0.0042 s, pre 0xc9843c8c66e433ac2ba754e53ce0fe6b6ea1532d019fbf53ffa8dbc74d486afc post 0x3bebd12b2a83e7412262a36175df979712ebc80c1a22fe40e595de8448ed18b2 receipts 0x8082bda08be11e3bd00837e243e87fb9eb8e3e9d15def7fbd13a4c0480bb5e1b gas 355287 pgas 36934 executed 11 skipped 0: MATCHES the fixture's expected values at 2026-10-06T12:21:38Z
|
||||
RESULT shard 0 native: txs 0..4 (4 executed, 0 skipped), gas 145786, pgas 22172, witness 9 accounts 1 slots 11 leaves 25 hashes, input 18390 bytes, pre 0xc9843c8c66e433ac2ba754e53ce0fe6b6ea1532d019fbf53ffa8dbc74d486afc post 0x0f5fc23a4d70c9a1053b250097203d9d8fd0ec5cec8abefd12f2f94d5dda08fc
|
||||
RESULT shard 1 native: txs 4..11 (7 executed, 0 skipped), gas 209501, pgas 14762, witness 15 accounts 3 slots 19 leaves 20 hashes, input 20355 bytes, pre 0x0f5fc23a4d70c9a1053b250097203d9d8fd0ec5cec8abefd12f2f94d5dda08fc post 0x3bebd12b2a83e7412262a36175df979712ebc80c1a22fe40e595de8448ed18b2
|
||||
RESULT plan: 2 shard(s) chain from 0xc9843c8c66e433ac2ba754e53ce0fe6b6ea1532d019fbf53ffa8dbc74d486afc to 0x3bebd12b2a83e7412262a36175df979712ebc80c1a22fe40e595de8448ed18b2 and sum to gas 355287 pgas 36934: the cut equals the block; native aggregation receipts 0x365372e9cc446b0707c32b951514b961e7622efcb71af2a2325fdc6df9ca93bd provers 0x34f9ea37671801505c040024f1f6d78839adf45b6194f908a5bb61191785d60c
|
||||
RESULT tamper account balance: REJECTED (pre-root 0xa0f77e1dbae468e0bfdeb192294a2869d172dd70137d27a2415fabe10c7423de is not the node's 0xc9843c8c66e433ac2ba754e53ce0fe6b6ea1532d019fbf53ffa8dbc74d486afc)
|
||||
RESULT tamper storage or code: REJECTED (the statement cannot be proven)
|
||||
RESULT tamper dropped account: REJECTED (the statement cannot be proven)
|
||||
STAGE setup start 2026-10-06T12:21:38Z
|
||||
RESULT setup: 0.188 s (image id recomputed from the embedded guest), proof system 2 image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:21:38Z
|
||||
RESULT pinned: setup matches the manifest (pinned guests: shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (3667564 bytes, sha256 0x2be67ce3e5a24010) aggregator id 0x0000000000000000000000000000000000000000000000000000000000000000 (0 bytes), pinned 2026-10-06T11:54:47Z on Darwin MacBook-Pro.local 25.6.0 Darwin Kernel Version 25.6.0: Fri Jul 31 19:19:08 PDT 2026; root:xnu-12377.161.14~5/RELEASE_ARM64_T6050 arm64, RISC Zero 3.0.6 proof system 2)
|
||||
STAGE execute shard 0 start 2026-10-06T12:21:38Z
|
||||
RESULT execute shard 0: 10049917 user cycles in 6 segment(s) [(21, 1819410), (21, 2049389), (21, 1882565), (21, 1990545), (21, 1913659), (20, 394349)] (po2, cycles), 0.31 s at 2026-10-06T12:21:38Z
|
||||
STAGE compressed shard 0 (succinct receipt, po2 21) start 2026-10-06T12:21:38Z
|
||||
RESULT compressed shard 0: prove 560.9 s (6 segment(s), total cycles 11534336, user cycles 10049917, paging 854857, reserved 629562), receipt 223882 bytes (seal 222668 bytes), verify 0.010 s, VERIFIED; statement 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0 proof sha256 0x9c523b4670114620e9283b2991e3ee3827368311aa0b3920ed584e1f78c86829 prover 0x1919191919191919191919191919191919191919 at 2026-10-06T12:30:59Z
|
||||
proof written to /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/block-351-shard-0-r0.bin
|
||||
results written to /Users/joshm/Projects/igneum-wt-proving-v2/proving/igneum-prove-r0/bench/out-2026-10-06/fees-v1-shards2-metal-po221.json
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
561.46 real 8598.97 user 55.46 sys
|
||||
20444495872 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
3874449 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
9 voluntary context switches
|
||||
14075380 involuntary context switches
|
||||
81049594882103 instructions retired
|
||||
35926038330023 cycles elapsed
|
||||
20417870608 peak memory footprint
|
||||
exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:30:59Z
|
||||
RESULT setup: 0.198 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:31:00Z
|
||||
STAGE verify start 2026-10-06T12:31:00Z
|
||||
RESULT verify: VERIFIED in 0.010 s; block 351 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0 (want 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:31:00Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.22 real 0.20 user 0.00 sys
|
||||
32849920 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2378 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
374 involuntary context switches
|
||||
3182997047 instructions retired
|
||||
906948193 cycles elapsed
|
||||
22217088 peak memory footprint
|
||||
verify 1 exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:31:00Z
|
||||
RESULT setup: 0.195 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:31:00Z
|
||||
STAGE verify start 2026-10-06T12:31:00Z
|
||||
RESULT verify: VERIFIED in 0.010 s; block 351 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0 (want 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:31:00Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32882688 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2377 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
363 involuntary context switches
|
||||
3182890769 instructions retired
|
||||
905927975 cycles elapsed
|
||||
22233472 peak memory footprint
|
||||
verify 2 exit 0
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
STAGE setup start 2026-10-06T12:31:00Z
|
||||
RESULT setup: 0.189 s (image id recomputed from the embedded guest, no prover), shard program id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 at 2026-10-06T12:31:00Z
|
||||
STAGE verify start 2026-10-06T12:31:00Z
|
||||
RESULT verify: VERIFIED in 0.010 s; block 351 shard 0 prover 0x1919191919191919191919191919191919191919 statement 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0 (want 0x6adcc7fab21512b58cfa3778756718fd37aea6cccb311e12d2ca33b5f4bf10c0) image id 0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72 (ours) succinct receipt 223882 bytes at 2026-10-06T12:31:00Z
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
0.21 real 0.20 user 0.00 sys
|
||||
32800768 maximum resident set size
|
||||
0 average shared memory size
|
||||
0 average unshared data size
|
||||
0 average unshared stack size
|
||||
2375 page reclaims
|
||||
0 page faults
|
||||
0 swaps
|
||||
0 block input operations
|
||||
0 block output operations
|
||||
0 messages sent
|
||||
0 messages received
|
||||
0 signals received
|
||||
0 voluntary context switches
|
||||
148 involuntary context switches
|
||||
3180898962 instructions retired
|
||||
891079178 cycles elapsed
|
||||
22167936 peak memory footprint
|
||||
verify 3 exit 0
|
||||
Loading…
Reference in a new issue