Framtiden för AI är verifierbar. Och drivs av @cysic_xyz? TL; DR om Cysics vision för skalning av ZK-verifierad inferens - Cysic tar itu med den primära beräkningsflaskhalsen för verifierbar AI genom att leverera ZK-driven inferens i realtid för neurala nätverk via en massivt parallell, GPU-accelererad plattform. Den rapporterar en ~10x prestandaökning jämfört med toppmoderna riktmärken på modeller som CNN-4M. - Den grundläggande tekniska fördelen är tvåfaldig: ett GPU-parallelliserat sumcheck-protokoll som atomiserar kryptografiska beräkningar över tusentals CUDA-trådar för att helt mätta hårdvaran, och anpassade CUDA-kärnor för primfältsaritmetik som maximerar ALU-genomströmningen genom att prioritera snabbt minne på chipet (register, delat minne) framför långsamt globalt minne. - Plattformen abstraherar bort kryptografisk komplexitet via sömlös integration med större ML-ramverk (t.ex. PyTorch, TensorFlow). Utvecklare kan omsluta befintliga modeller i en "VerifiableModule" för att generera bevis tillsammans med modellutdata utan att skriva om kod eller djup kryptoexpertis. - Den omedelbara färdplanen inkluderar att utöka stödet till mer komplexa arkitekturer, inklusive storskaliga LLM:er som Llama och DeepSeek, lansering av liveapplikationsdemos och en fullständig öppen källkodsversion för att främja ett community-drivet ekosystem kring tekniken. - Detta initiativ fungerar som en grundpelare i Cysics bredare "ComputeFi"-vision, som syftar till att skapa ett decentraliserat beräkningslager där AI fungerar som en förtroendeminimerad, verifierbar tjänst, vilket möjliggör en ny klass av on-chain-agenter och säkra AI-appar. Rekommenderar till DYOR (och yap) anons.
Cysic
Cysic22 juli 02:00
Framtiden för AI är verifierbar. Vi låser upp GPU-accelererade bevis i realtid för maskininlärningsmodeller. Inga fler kompromisser mellan hastighet och förtroende. Från CNN till LLM, AI blir bevisbart. Läs hela uppdelningen:
2,64K