Skip to content
Mock data. Run values, controls, targets and reproductions on this preview are invented for layout. Claim-card text, upstream figures, the reference price and the RFC list come from the repository.
Inference ProofsMenu

Workload, native division

fp-maverick-w1024-b1

FlashProve's own model and shape. A workload fixes what is proved: the model by content hash, the precision, the prompt set, the shape, the decoding rule and the phase.

Definition

RFC-0003 §v0.1 native workloads

Version
1
Division
native
System
flashprove
Model
Llama 4 Maverick, public 4-bit conversion
Precision
4-bit
Shape
1,024 prompt + 1 output tokens, greedy
Batch
1 requests per batch, 5 batches per session, 5 prompts per job
Phase
prefill
Model digest
not pinned yet: filled from the public model repository in the implementing issue; the schema rejects a workload without it (RFC-0003)
Prompt corpus digest
not pinned yet: filled from the public model repository in the implementing issue; the schema rejects a workload without it (RFC-0003)
Active parameters per token
not pinned yet: filled from the public model repository in the implementing issue; the schema rejects a workload without it (RFC-0003)

Configurations on this workload

Claim summary first, then rows.

relation:
The output token is the top choice of the integer model whose weights were committed under the given commitment ID, on the given 1,024-token window.
security.notion:
knowledge_soundness
coverage:
prefill, request
residual:
proves the integer model, which differs from the 16-bit model's top token at some positions

flashprove / exact-match-lean on fp-maverick-w1024-b1

profile prover-h100tier reported
Measured

setup_seconds

118.3 s

scope setupgrade measuredtier reportedmock

mean 118.3, sd 0.7024, min 117.6, max 119, n 3, n_failed 0

mean 118.3 srepetition 1: 118.2 srepetition 2: 117.6 srepetition 3: 119 ssource: mock harness record

commit_seconds

2,406 s

scope commitgrade measuredtier reportedmock

mean 2,406, sd 6.431, min 2,400, max 2,413, n 3, n_failed 0

mean 2,406 srepetition 1: 2405.1 srepetition 2: 2412.6 srepetition 3: 2399.8 ssource: mock harness record

prove_session_seconds

301.5 s

scope prove.sessiongrade measuredtier reportedmock

mean 301.5, sd 1.179, min 300.5, max 302.8, n 3, n_failed 0

mean 301.5 srepetition 1: 301.2 srepetition 2: 302.8 srepetition 3: 300.5 ssource: mock harness record

prove_steady_seconds

234.9 s

scope prove.steadygrade measuredtier reportedmock

mean 234.9, sd 1.106, min 233.9, max 236.1, n 3, n_failed 0

mean 234.9 srepetition 1: 234.8 srepetition 2: 236.1 srepetition 3: 233.9 ssource: mock harness record

whole_wall_seconds

2,707 s

scope whole_wallgrade measuredtier reportedmock

mean 2,707, sd 7.603, min 2,700, max 2,715, n 3, n_failed 0

mean 2,707 srepetition 1: 2706.2999999999997 srepetition 2: 2715.4 srepetition 3: 2700.3 ssource: mock harness record

tokens_covered_total

5,120 token

grade measuredtier reportedmock

mean 5,120, sd 0, min 5,120, max 5,120, n 3, n_failed 0

source: mock harness record

tokens_covered_steady

4,096 token

grade measuredtier reportedmock

mean 4,096, sd 0, min 4,096, max 4,096, n 3, n_failed 0

source: mock harness record

requests_count

5 count

grade measuredtier reportedmock

mean 5, sd 0, min 5, max 5, n 3, n_failed 0

source: mock harness record

proofs_count

5 count

grade measuredtier reportedmock

mean 5, sd 0, min 5, max 5, n 3, n_failed 0

source: mock harness record

proof_bytes_total

93,910,000 B

grade measuredtier reportedmock

mean 93,910,000, sd 30,000, min 93,880,000, max 93,940,000, n 3, n_failed 0

mean 93,910,000 Brepetition 1: 93910000 Brepetition 2: 93880000 Brepetition 3: 93940000 Bsource: mock harness record

verify_seconds

3.113 s

scope verifygrade measuredtier reportedmock

mean 3.113, sd 0.02517, min 3.090, max 3.140, n 3, n_failed 0

mean 3.113 srepetition 1: 3.11 srepetition 2: 3.14 srepetition 3: 3.09 ssource: mock harness record

verify_seconds_total

15.60 s

scope verifygrade measuredtier reportedmock

mean 15.60, sd 0.1000, min 15.50, max 15.70, n 3, n_failed 0

mean 15.60 srepetition 1: 15.6 srepetition 2: 15.7 srepetition 3: 15.5 ssource: mock harness record

verify_single_thread_seconds

21.13 s

scope verify.single_threadgrade measuredtier reportedmock

mean 21.13, sd 0.03606, min 21.10, max 21.17, n 3, n_failed 0

mean 21.13 srepetition 1: 21.12 srepetition 2: 21.17 srepetition 3: 21.1 ssource: mock harness record
Derived (computed by the derivation code)

rate_whole_wall

1.891 token/s

scope whole_wallgrade derivedtier reportedmock

mean 1.891, sd 0.005308, min 1.886, max 1.896, n 3, n_failed 0

mean 1.891 token/srepetition 1: 1.8918819051842 token/srepetition 2: 1.8855417249760624 token/srepetition 3: 1.8960856201162832 token/ssource: mock derivation record

rate_prove.session

16.98 token/s

scope prove.sessiongrade derivedtier reportedmock

mean 16.98, sd 0.06631, min 16.91, max 17.04, n 3, n_failed 0

mean 16.98 token/srepetition 1: 16.99867197875166 token/srepetition 2: 16.908850726552178 token/srepetition 3: 17.03826955074875 token/ssource: mock derivation record

rate_prove.steady

17.43 token/s

scope prove.steadygrade derivedtier reportedmock

mean 17.43, sd 0.08201, min 17.35, max 17.51, n 3, n_failed 0

mean 17.43 token/srepetition 1: 17.444633730834752 token/srepetition 2: 17.348581109699282 token/srepetition 3: 17.51175716117999 token/ssource: mock derivation record

cost_per_1k_tokens_whole_wall

0.6301 USD/1k_token

scope whole_wallgrade derivedtier reportedmock

mean 0.6301, sd 0.001770, min 0.6285, max 0.6320, n 3, n_failed 0

mean 0.6301 USD/1k_tokenrepetition 1: 0.62988427734375 USD/1k_tokenrepetition 2: 0.6320022786458334 USD/1k_tokenrepetition 3: 0.6284877929687501 USD/1k_tokensource: mock derivation record

proof_bytes_per_token

18,340 B/token

grade derivedtier reportedmock

mean 18,340, sd 5.859, min 18,340, max 18,350, n 3, n_failed 0

mean 18,340 B/tokenrepetition 1: 18341.796875 B/tokenrepetition 2: 18335.9375 B/tokenrepetition 3: 18347.65625 B/tokensource: mock derivation record

verify_seconds_per_token

0.003047 s/token

scope verifygrade derivedtier reportedmock

mean 0.003047, sd 1.953e-5, min 0.003027, max 0.003066, n 3, n_failed 0

mean 0.003047 s/tokenrepetition 1: 0.003046875 s/tokenrepetition 2: 0.0030664062499999997 s/tokenrepetition 3: 0.00302734375 s/tokensource: mock derivation record
Runs
  • mock-fp-b1-r1completed
  • mock-fp-b1-r2completed
  • mock-fp-b1-r3completed
  • Superseded, failed and ineligible runs never contribute to statistics (RFC-0009 S7).