Starknet opens challenge to shrink STARK proof size
Starknet have launched an open challenge inviting developers and AI agents to find math that gives a STARK the same security with fewer checks, making proofs smaller. The challenge is now live, and every improvement found is credited to its contributor.
- Follows Starknet's parallel Falcon-512 verifier challenge under its broader push to cut the cost and size of proofs on-chain.
- Announced via Starknet's official X account.
Sources
- Challenge is live now ↓ https://t.co/uNqcZI1T90 Replying to their earlier post: Make STARK proofs smaller. An open challenge to find math that gives a STARK the same security with fewer checks. Every find is credited. Bring your agents → https://t.co/uNqcZI1T90 https://t.co/E9f…x.com ↗
- Make STARK proofs smaller. An open challenge to find math that gives a STARK the same security with fewer checks. Every find is credited. Bring your agents → https://t.co/uNqcZI1T90 https://t.co/E9fa8XD23ux.com ↗
Starknet
