Populære emner
#
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 være BEVISBARE datamaskiner?
Percepta viste at en transformator kan VÆRE en datamaskin. Kompilerte vekter, deterministisk utførelse, 30 000 tokens per sekund.
Men ingen spurte det åpenbare oppfølgingsspørsmålet: hvordan vet du at det har regnet riktig?
Så jeg bygde verifiseringslaget. En STARK som beviser det 👇
12. mars, 05:30
1/4 LLM-er løser matematikkoppgaver på forskningsnivå, men sliter med grunnleggende beregninger. Vi bygger bro over dette gapet ved å gjøre dem til datamaskiner.
Vi bygde en datamaskin INNE i en transformator som kan kjøre programmer i millioner av steg på sekunder og løse selv de vanskeligste Sudoku-ene med 100 % nøyaktighet
Problemet med kompilert beregning er tillit.
Du stoler på kompilatoren. Du stoler på kjøretiden. Du stoler på oppmerksomhetsmekanismen. Hvis noen av disse er feil, er utgangen feil.
Dette er det eldste problemet innen databehandling. Du stoler enten på maskinen, eller så verifiserer du utdataen.
Vi bygde tre nivåer av verifisering:
Nivå 1: Programmet kjører inne i transformatoren (samme som Percepta)
Nivå 2: Fire uavhengige motorer gir samme resultat (transformator, native, Burn, ONNX)
Nivå 3: Et STARK-bevis verifiserer henrettelsen uten å kjøre den på nytt
69
Topp
Rangering
Favoritter