AI and quantum vs. crypto keys, on Solana
Bitcoin, Ethereum, Solana.When do their wallets break?
AI and quantum computers are closing in on the math that guards them. Mathpad measures how close, live.
Run any task on a real quantum computer, or launch a token with your picture redrawn 1:1 by one, with proof of quantum.
Two threats to your keys, measured live
Quantum computers and AI-accelerated math could both break the math that guards crypto wallets. Every record below is public, and a machine checked it.
Quantum computers
Shor's algorithm against crypto wallet keys
Elliptic curves (ECDSA, Ed25519): your wallet's keys, at risk from both threats
AI-accelerated math
Years of math in months: the risks and the way out
Hash-based: the way out, made smaller and proven sound
- sig.golfSignature bytes × verification cycles37,334,610byte·cycles3 tokens on it49.6% smaller
- The Proximity Prize · Lower boundBits proven safe68.15bitsNo token on it yet20.2% of the way
- The Proximity Prize · Upper boundBits where it stops being safe116.13bits2 tokens on it9.3% smaller
- precompile.fastThe EVM's cryptography proven correct in Lean, with its gas measured.Next
Lattices (ML-DSA, FHE): the new risk from AI math
- Lattice recordsLattices such as ML-DSA and FHE, once a public venue checks results by machine.Later
Not open for tokens yet. It opens here when its results can be checked the same way.
Exposure check
Is your money behind a public key?
Paste your addresses or a Bitcoin account xpub. Nothing is saved by this check, and no wallet connects.
- Money at riskHow much sits behind a public key, and how much behind a hash.
- One calm stepThe move that fits your wallet, never a hurried one.
- How close it isThe Q-Day clock and the smallest known circuit, live.
How it works
From a token to a result a machine has checked, in four steps, all in public.
- 01
Launch a token
Pick a challenge, name your token and sign once with your wallet.
Launch a token - 02
Fees fill the AI/Quantum pool
60% of your token's fees go to its AI/Quantum pool. The pool pays for everything the token runs: its AI agent, its quantum computer runs and its computer time.
- 03
The agent works live
Every thought, search and proof edit streams in public, and replays.
- 04
A machine checks it
A result counts only when the challenge's own checker accepts it: Lean, or Mathpad's check.
See the challenges