How CURE LAB works.
A practical reference for wallet verification, contribution accounting, rewards, formal proofs, token launches and trading.
Public contribution records, separate from markets.
CURE is the main access token. Each research campaign keeps a separate token and a separate reward budget. CURE LAB links a staked wallet to public Folding@home statistics; accepted point increases can earn the token of the one campaign selected for that interval.
One principal token. One stake threshold.
CURE has a fixed supply of 1,000,000,000 and is launched separately through the independent pons interface on Robinhood Chain. CURE LAB never mints replacement CURE.
Robinhood Chain is an Ethereum-compatible Layer 2 built on Ethereum; it is not Ethereum mainnet chain ID 1. The CURE stake is an access bond and remains distinct from campaign tokens and their rewards.
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.
- 03Stake CURE
Stake at least 10,000 CURE before creating a campaign token or registering compute contribution.
- 04Authorize an action
CURE LAB prepares unsigned data; the wallet shows and signs the final transaction.
CURE LAB 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 approve, stake, campaign selection, root submission, finalization/claim 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 CURE LAB username is linked to each wallet.
- 03Configure the official client
Use that username and the CURE LAB 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 mandatory 10,000 CURE access stake is separate from this optional campaign-token holding bonus.
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.
CURE LAB 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 CURE 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 CURE 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.
- CURE and every campaign token are separate speculative assets and may lose all value.
- Staked CURE 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.