One verified winner.
One shared supply.

THE COMPETITION

The strongest eligible result wins.

Each round announces its mathematical statement, accepted verifier, improvement threshold, deadlines, and prize before proof disclosure. At most one round can be scheduled for a research family in an epoch. An epoch is a period of 43,200 Base blocks; about one day is a planning estimate, not a fixed clock.

After the reveal deadline, the contract selects the best successfully verified submission that meets the round's rules. Equal scores use the order of commitments in the adopted chain. A weaker result cannot win merely by arriving first. If there is no eligible result, there is no winner.

The winner takes the round's entire fixed prize. Improvement size determines eligibility and ranking, not a larger payment. The prize is fixed when the round opens; later changes to the global operating mode do not change it.

FIRST RESEARCH TRACK

Improve the theoretical DFT rate.

The discrete Fourier transform track requires a complete supported Lean proof for the fixed all-positive-length, exact-arithmetic model. Its score is the exact rational number κ in the bound O(n · log(n)^{1 − κ}). Higher κ is better. Decimal rounding is not used to compare scores.

The prepared public rehearsal requires an improvement of at least 1/1,000,000 over the round's parent record when a parent record exists. The known rehearsal scores are 63/50,000 and 6,327/5,000,000; their difference is 27/5,000,000. They test compatibility and payment, and are not new discoveries.

The first valid winner establishes a family's on-chain record. This does not assert a world-best baseline, scientific priority, or original invention. A theoretical rate improvement is eligible engineering research; it is not, by itself, a measured speedup of a practical FFT implementation.

Read the exact mathematical scope in the white paper →

Seal the result. Preserve the recipient.

A commitment binds the proof's identity, exact score, submitter, and reward beneficiary to a particular round and parent record. A private random value keeps the opening hidden. The supported client waits for both the commitment and the cutoff to be finalized under its configured RPC trust model before disclosing proof bytes.

The proof is then independently checked, published, and revealed before the reveal deadline. Anyone may relay a valid opening or collect an earned claim, but neither action can replace its sealed beneficiary. The contract issues CLARY to that beneficiary only once. This prevents copying a disclosed transaction to redirect the same reward; it does not promise immunity to censorship, all network failures, or independent future improvements.

MONETARY LIMITS

A fixed ceiling across all research.

There is no initial mint or unrestricted administrator mint. CLARY has 18 decimal places. The shared epoch allowance decreases gradually within each 1,460-epoch era; the next era begins at half the preceding era's initial allowance. Adding problems or renewing verifiers does not reset this schedule.

Each round permanently reserves its undiscounted base prize against both allocation limits. A 100 CLARY base prize reserves 100 CLARY even if the actual prize is 1 CLARY. Empty or canceled rounds and discounts do not restore this reservation. Unused capacity does not accumulate into later bonuses.

The lowest applicable global, family, or recovery multiplier applies. Rewards are issued when claimed, so delayed claims can produce a cluster of token issuance without increasing previously awarded amounts. These limits bound issuance; they do not guarantee stable prices or continuing earnings.

The rehearsal is not a 14-day public beta.

The deployed contract permits normal-mode promotion after a minimum of two epochs. Promotion requires advance notice, is one-way, and still applies the ramp. A 14-epoch general-public beta was an earlier proposal; this deployment does not enforce it and cannot reset to it after promotion.

If the first rehearsal record settles in epoch 1 and the next round opens for epoch 3, family warmup still applies. Both prepared 100 CLARY base prizes would therefore pay 1 CLARY. Entering normal mode does not instantly remove other discounts.

Operator powers are explicit.

The owner can add research families, register future verifier versions with at least 24 hours' notice, schedule future rounds within the caps, pause new work, announce recovery, and disable a verifier. Disabling a verifier can cancel an unsettled round. Earned claims remain collectible.

The owner cannot edit published round terms, rewrite a registered statement, change the monetary configuration, seize balances, or redirect an earned claim. The frozen ICP checker cannot be upgraded. Nevertheless, choosing future verifiers is a powerful trust responsibility: a malicious future verifier could accept invalid research within the remaining budget. Ownership can be transferred in two steps, including to a multisignature wallet.

Inspect the deployment, evidence, and remaining trust assumptions →