Discover something better.
Develop an eligible algorithmic improvement and a complete Lean proof. Seal its identity, score, and reward recipient before the cutoff.
Research participant
Ideas move us forward.
A currency earned through verified improvements to useful algorithms.
Clary Coin is in testnet preview. Public research participation is being prepared.
Current statusMeet Clary Coin
Useful algorithms shape the world around us. A better way to compute can open possibilities far beyond a single problem.
Clary Coin connects that progress to a public reward. Bring an eligible improvement with a complete mathematical proof. The system checks it, records the strongest result, and issues CLARY to the winner.
How to take partOur first research frontier
The discrete Fourier transform helps us work with sound, images, and signals. Our first track explores a rigorous improvement to its theoretical operation count.
Explore the DFT trackThe research objective: O(n · log(n)1 − κ)
A larger exact κ is better. A theoretical improvement is distinct from a measured practical FFT speedup.
From discovery to reward
Explore the technologyDevelop an eligible algorithmic improvement and a complete Lean proof. Seal its identity, score, and reward recipient before the cutoff.
Research participantA fixed Rust checker runs on the Internet Computer under replicated execution. It verifies the mathematics and signs the result.
Internet ComputerBase contracts authenticate the checked result and require publication of the proof. The best eligible submission receives the round’s fixed CLARY prize.
Base · Ethereum layer 2Ethereum’s proof of stake underlies Base’s settlement. Mathematical correctness also depends on the ICP checker, its admitted library, and ICP’s network assumptions. Ethereum validators do not run Lean.
A shared currency. Defined limits.
Research problems can evolve. The currency’s lifetime allocation ceiling does not reset when a new problem or verifier is added.
Understand the reward rulesOne lifetime allocation ceiling,
shared across every research track.
Open to inspection
Read the rules, examine the technology, and see exactly what is live today.
Explore what comes next
Start with the research. Understand the rules.
Get to know Clary Coin.
Testnet tokens have no promised cash value or mainnet conversion.
No token sale or exchange market has launched.