RESEARCH, REWARDED
A currency for
verified progress.
Clary Coin connects improvements to useful algorithms with formally checked proofs and capped token rewards.
Researchers bring a better result. The system checks the proof, records the strongest eligible submission, and issues CLARY to the winner.
- 01DiscoverA better algorithm, with a Lean proof.
- 02VerifyA fixed checker runs on a distributed network.
- 03RewardPublic rules select the winner and issue CLARY.
TESTNET PREVIEWPublic research participation is being prepared. No token sale or exchange market has launched.See the current status →
WHAT IS CLARY COIN?
A public record of progress.
A token earned through research.
CLARY is a transferable digital token on Base, an Ethereum layer 2. Research competitions use a common token ledger and a fixed issuance schedule.
A participant submits a complete mathematical proof for an announced improvement. After verification and the round’s deadline, the best eligible result receives the fixed prize. A winning claim issues CLARY directly to its sealed recipient.
You can hold and send CLARY with a compatible wallet. Research participation uses separate local proof tools. Choose how to get started →
FIRST RESEARCH TRACK
The discrete
Fourier transform.
The DFT sits behind signal processing, imaging, and many numerical methods. Clary’s first track rewards a rigorous improvement to its theoretical operation count.
Explore the mathematical objective →A PRECISE OBJECTIVE
O(n · log(n)1 − κ)
A larger exact κ is better.
The complete Lean proof must establish the fixed algorithmic model. A theoretical rate improvement is eligible; a practical FFT speedup requires separate benchmarks.
HOW IT WORKS
Two networks. Clear responsibilities.
Research and seal
Check a Lean proof locally. Commit its identity, score, and recipient before the cutoff.
Check the mathematics
A fixed Rust checker runs as WebAssembly under replicated execution and signs the checked result.
Record and reward
The contracts authenticate the signature, require the public proof, select the winner, and issue CLARY.
Ethereum’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.
Read the architecture and its trust boundaries →PREDICTABLE RULES
One supply schedule.
Across every problem.
All research tracks share a lifetime allocation ceiling of 1,000,000 CLARY. The operator cannot create an extra supply allowance by adding another problem.
Each round fixes its prize before proof disclosure. Beta, new-family warmup, and recovery discounts reduce early payouts. Unused capacity does not build up into a later windfall.
The issuance limits constrain token creation; demand and market value remain separate. Read the complete reward rules →
INSPECT THE SYSTEM
Trust starts with
knowing the limits.
The token contracts are deployed on Base Sepolia, and the fixed DFT checker is deployed on public ICP. A genuine known proof has passed the public checker. The complete public reward-and-transfer rehearsal is still unfinished.
The operator retains control over future rounds and verifier selection. The frozen checker cannot be upgraded by the operator. These are different responsibilities, and both are documented.
Inspect the deploymentStart by understanding Clary.
Read the rules, check the deployment, and learn how proof-based research rewards work. These are testnet tokens, with no promised cash value or mainnet conversion.
Get started