How FOMOLABS works.
How the independent layer built for Fomo users turns verified scientific compute into campaign-token and community FOMOLABS rewards.
Public contribution records, separate from markets.
FOMOLABS is the main creator-access token. Each research campaign keeps a separate token and reward budget. Any verified wallet may contribute without staking; accepted Folding@home point increases can earn the token of the one campaign selected for that interval.
Referral revenue becomes verified compute rewards.
FOMOLABS commits 100% of the net commissions it actually receives through its tracked Fomo referral link to community rewards. Received commissions are converted into FOMOLABS and enter a dedicated onchain vault with a public attribution hash.
Fomo commissions are received offchain. FOMOLABS counts them as funded only after converted FOMOLABS reaches the vault. Each deposit, finalized root and contributor claim can then be checked onchain.
Open the Compute League →One principal token. A creator-only bond.
FOMOLABS has a fixed supply of 1,000,000,000 and is launched separately through the independent pons interface on Robinhood Chain. FOMOLABS never mints replacement FOMOLABS.
Robinhood Chain is an Ethereum-compatible Layer 2 built on Ethereum; it is not Ethereum mainnet chain ID 1. The FOMOLABS stake is a creator access bond and remains distinct from campaign tokens and their rewards. It is not required for compute contribution.
Independent pons interface ↗Connection does not prove ownership.
- 01Connect
The site reads the public address and active chain.
- 02Verify ownership
Sign a gas-free message bound to the domain, chain, nonce and expiry. This enables private account actions without sending a transaction.
- 03Select a campaign
Contributors enter without staking. A creator separately stakes 10,000 FOMOLABS for each campaign launch.
- 04Authorize an action
FOMOLABS prepares unsigned data; the wallet shows and signs the final transaction.
FOMOLABS never requests a private key or a Folding@home passkey. Changing wallet or chain invalidates the bound session. The worker never pays or broadcasts routine transactions: users pay for campaign selection, root submission and claims. Creators additionally pay for approve, stake, launch and withdrawal.
Open account →The baseline starts eligibility.
- 01Select one campaign
One point interval can reward only the selected campaign's token.
- 02Generate a username
One active FOMOLABS username is linked to each wallet.
- 03Configure the official client
Use that username and the FOMOLABS team number.
- 04Record the baseline
Public statistics must show the username, team and at least one completed work unit.
- 05Measure later increases
Points before the baseline are excluded. Regressions, anomalies or unavailable provider data delay acceptance.
Estimate, propose, finalize, claim.
- 01Reconcile
Accepted observations and the fixed balance snapshot are collected.
- 02Propose
The worker signs the Merkle payload off-chain without gas. Any user may submit it and pays the proposal gas.
- 03Finalize
After 12 hours, the first claimant may finalize and claim in one user-paid transaction. A finalized root is fixed.
- 04Claim
Every beneficiary submits their finalized proof once and pays their own claim gas.
Before finalization, displayed rewards are estimates. Provider outages delay the epoch instead of inventing contribution values. If no user pays to publish a signed root, that epoch remains pending.
A proportional share of a finite epoch budget.
wᵢ = accepted_pointsᵢ × multiplierᵢfloor(epoch_budget × wᵢ / Σw)The creator-only 10,000 FOMOLABS launch bond is separate from this optional campaign-token holding bonus. Contributors do not stake.
The holding bonus is optional and fixed at launch. It uses the balance at the epoch snapshot block, not the balance at claim time. Holdings change reward weight; they do not represent scientific contribution.
Campaign rewards and claims →Critical accounting rules, checked in Lean 4.
FOMOLABS includes a machine-checked Lean 4 model of its critical token and reward invariants. Automated source-sync checks connect the model to the deployed Solidity and TypeScript constants and reject incomplete proof placeholders.
Completed proof-strengthening runReviewed with Aristotle and independently recheckedThe formal model was reviewed and strengthened in a completed Harmonic Aristotle run. The downloaded result was independently rechecked with the source-sync guard, Lean build and kernel artifact checker. This does not claim endorsement, partnership or a smart-contract audit.
One transaction, fixed allocations.
A wallet with at least 10,000 FOMOLABS staked can launch an independent campaign token. One transaction creates that token, its 1% Uniswap V3 pool, permanent liquidity locker, pre-funded reward vault and creator vesting vault. Its supply is fixed at 1,000,000,000 units with 18 decimals.
The 300 million campaign reward tokens enter the reward vault automatically during launch. Neither the campaign creator nor FOMOLABS LAB manually funds contributor rewards.
Minimum received is calculated from the current quote and selected slippage. Quotes expire; launch fees and gas are rechecked before the wallet request. Initial-buy tokens are market holdings, separate from creator vesting.
Launch flow →The position stays locked.
Buys and sells move the pool price and can incur slippage. A token sale may require a separate approval transaction. Quotes expire and are checked again before unsigned transaction data is returned. Reaching the liquidity milestone does not migrate the pool or token.
Only collected trading fees are revenue. LP principal and unrealized token balances are not creator income.
Markets →Know what is and is not guaranteed.
- FOMOLABS and every campaign token are separate speculative assets and may lose all value.
- Creator-staked FOMOLABS remains exposed to smart-contract, price and temporary lock risk.
- Contribution acceptance, reward allocation and claim timing are not guaranteed.
- Electricity and hardware costs may exceed any token reward.
- Trading carries price, liquidity, slippage, allowance and network risk.
- Provider or indexer outages can delay displayed records and finalization.
- Campaign selection does not guarantee the exact Folding@home work unit assigned.
- Launching or contributing creates no ownership of Folding@home work or research.