Skip to main content

Protocol parameters

F is the current holder’s on-chain boost factor and applies only to burn cost. Only the best original design earns the K_task·q premium.

Open mining
H = ( b*×F + Ktask · q ) × P
Rewards: 99% to the verified pool by hashrate, 1% to the unverified pool by burn
Emission
bitcoin curve, halves every ~4 years
99%1%
Verified pool
Miners with verified task claims
Unverified pool
Miners without a task claim
b* × P
burn only, no bonus
H = (b*×F + K_task·q) × P
(Burn cost + design premium) × processor multiplier

Hashrate components

EligibilityNetlists must not contain REF. Circuits with references are ineligible for either mining pool.

Burn costb* = n + λburn · mn = NAND burned in this layer; m = LATCH burned in this layer
AreaA = g + λ · sg = total components (recursive), s = total LATCH (recursive)
Depthd = longest combinational pathit may end at an output pin, or at a register input
CostC = A · max(d,1)βDesign cost combining area and depth
Qualityq = clamp(Cref / C, 1/Q, Q)Design quality relative to the reference implementation
HashrateH = (b*×F + Ktask·q) × PF is the current holder’s on-chain boost factor and applies only to burn cost. Only the best original design earns the K_task·q premium.

Parameters

λ6
λ_burn1
β3
Q4
K_taskper task
C_refper task
P6

Issuance

Loading data…
Supply cap21,000,000 $FAB (8 decimals, smallest unit 1 nand = 1e-8)
Initial output7,200 per day
Halvingevery 210,000 × 600 seconds ≈ 3.995 years
Verified pool99%, distributed by hashrate H
Unverified pool1%, distributed by b* × P to miners without a claimed task
When no miners are activeEmission for that period is permanently forgone, without reissue or deferral

Spot checks

Reserve
pins an anchor block
start
sampled official vectors run on chain
mining
verified pool, 99%
Official-vector challenge
Fails an official test vector
counterexample
output differs from the reference
Revoke / remove
Vector → revoked · CE → slot removed
Minimum samplesAt least 3 vectors; cannot be reduced
Anchor validity200 blocks
Stop cooldown1,200 blocks (≈20 minutes)
RevocationSubmit a failing official test vector to revoke mining eligibility; no stake required
Sample countBased on live gates; gates with unused outputs are excluded
Gas limit checkrunGasFor(total gates) × samples ≤ maxRunGas

Task bank

The formula is live in PodMining on X Layer; PodMining is not sealed yet; once sealed, these parameters never change.

See all tasks →