Trendande ämnen
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Kan LLM:er vara BEVISADE datorer?
Percepta visade att en transformator kan VARA en dator. Kompylerade vikter, deterministisk exekvering, 30 000 tokens/sekund.
Men ingen frågade den uppenbara följdfrågan: hur vet du att det har räknats korrekt?
Så jag byggde verifieringslagert. En STARK som bevisar det 👇
12 mars 05:30
1/4 LLM löser matematikproblem på forskningsnivå men har svårt med grundläggande beräkningar. Vi överbryggar detta gap genom att använda dem till datorer.
Vi byggde en dator INUTI en transformator som kan köra program i miljontals steg på sekunder och lösa även de svåraste Sudokus med 100 % noggrannhet
Problemet med kompilerad beräkning är förtroende.
Du litar på kompilatorn. Du litar på speltiden. Du litar på uppmärksamhetsmekanismen. Om något av detta är fel, är resultatet fel.
Detta är det äldsta problemet inom databehandling. Antingen litar du på maskinen eller så verifierar du resultatet.
Vi byggde tre verifieringsnivåer:
Nivå 1: Programmet körs inne i transformatorn (samma som Percepta)
Nivå 2: Fyra oberoende motorer ger samma resultat (transformator, native, Burn, ONNX)
Nivå 3: Ett STARK-bevis verifierar avrättningen utan att köra om den
3
Topp
Rankning
Favoriter