Make STARK proofs smaller.
This is a dev post classified by AGK Intelligence as Other (a launch), kept by the Dev Radar because it carries real work, not commentary.
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://starks.provably.fast
Posted by Starknet (353.5k followers) 2 days ago · 265 likes · 15.6k views · view the original post on X. Kept by the Dev Radar as Other.
More dev work like this
- took @rehan_shei's open-source pixel fx into a real 3D scene and made the wizard… — @majidmanzarpour
- 彭博终端贵得让个人用户直摇头，这感受你应该不陌生。 — @bkdgiffug
- I went quiet for a few weeks because what I’m building now is better than every library… — @dwhitedesign
- Celestia’s Voyager handled 21M transactions per second in its first big test — @BSCNews
- Our annual kiroween hackathon is here, and submissions are officially open. 🎃 — @kirodotdev
- Em paralelo ao projeto do Launcher de Colin McRae (que tá funcionando bonitinho,… — @AkitaOnRails
- 😱炸了！智谱Zai创始人唐杰在清华课堂硬核算账：大模型尽头是算账！揭秘GLM系列模型跑在纯国产芯片是怎么“玩得起”的？！ — @NFT_Chen
- Ano passado brinquei de 4K upscaling com Real ERSGAN. Bom ver o claudinho automatizando… — @AkitaOnRails
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.2k posts from 5k X accounts over the last 21 days, 8.8k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-10-30 20:27 UTC. Full method.