1d siden
Når AI lærer å "Blockchain": Hvordan MIT-ingeniører bygger markører for Web3-verdenen
"Cursor og Claude kan leke med Web2s React, men i Web3 er de som blinde mennesker."
Da Luke sa dette, smilte hackathon-spillerne i publikum vitende - de var altfor kjent med smerten ved å "sitte fast".
Å skrive en smart kontrakt er aldri så enkelt som å "sette sammen noen få funksjoner". Et lite avvik i en tilstandsvariabel kan direkte rive fra hverandre titalls millioner dollar i sikkerhetssårbarheter; En kodelinje som ikke tar hensyn til gasskostnader kan gjøre det vanskelig for hele applikasjonen å bevege seg på kjeden.
Det som er enda mer ironisk er at AI allerede har gjort Web2-programmerere til "full stack over natten", mens Web3-utviklere fortsatt gjentatte ganger bytter mellom Remix, Hardhat og Foundry, og sjekker testrapporter om og om igjen - i frykt for å gå inn i de "usynlige gropene" på kjeden.
Så Luke bestemte seg for å gjøre det selv: å være en AI som virkelig "forstår blokkjedesemantikk". Den kan skrive kontrakter, teste sikkerhet og håndtere hele prosessen med on-chain.
Dette er Noras utgangspunkt. @mynoraai
#MyNoraAI #BuiltWithNora #NoraAgent #CodeWithNora #NoraAI
1. Fra MIT til On-Chain: AI-forskere faller i "kontekstfellen" til Web3
Før han dykket ned i Web3, var Luke AI-forsker ved MIT Media Lab; Senere ble han en av de få tekniske ekspertene som var dypt involvert i den underliggende utviklingen av blokkjede, og designet personlig HotStuff-konsensusmekanismen og BlockSTM-ordningen for parallell utførelse.
Denne erfaringen fikk ham til å se et sentralt problem: flaskehalsen til Web3 er aldri selve koden, men "on-chain-konteksten" bak den.
Verden av smarte kontrakter er aldri bare en logisk operasjon, men et komplekst "tilstandsmaskin-økosystem": hver transaksjon påvirkes av blokkene før og etter, hver kodelinje må utføres innenfor reglene for "on-chain consensus", og selv mindre optimaliseringer av kompilatoren kan endre det endelige utførelsesresultatet.
Han har sett for mange unge utviklere snuble over disse "usynlige kompleksitetene" - selv om syntaksen er fin, krasjer kontrakten på kjeden; Funksjonen er tydelig realisert, men ingen bruker den fordi gassen er for høy.
Det var også på denne tiden at en idé tok form i hjertet hans:
"Kanskje AI ikke bare bør forstå kodesyntaks, men også forstå 'språklogikken' til blokkjede."
2. Blindsoner i AI-verktøy: Hvorfor kan ikke Web2s Cursor håndtere utvikling på kjeden?
For å forstå verdien av Nora, må vi først forstå "Web3-blindsonen" til tradisjonelle AI-kodeverktøy.
Dagens LLM-kodeassistenter – enten det er markør, Claude Code eller Copilot – kan generere React-komponenter, skrive API-grensesnitt og til og med bygge hele nettstedets logikk. Men få dem til å skrive en Solidity-smartkontrakt? Det vil nesten alltid være et problem.
Hva er problemet?
Den "semantiske forståelsen" av disse modellene er helt basert på Web2-paradigmet: front-end-gjengivelse, back-end-grensesnitt, HTTP-kall, funksjonsinngang og -utgang...... De kan ikke se de unike tilstandsflytendringene i kjeden, utførelseslogikk for virtuelle maskiner, beregning av gasskostnader og enda vanskeligere å finne ut sikkerhetsgrensene (for eksempel reentrancy-angrep, rettighetskontroll).
"De forstår JavaScript-verdenen, men de forstår ikke 'dialekten' til blokkjede." Lukes oppsummering treffer smertepunktene til utallige Web3-utviklere.
Og dette er Noras inngangspunkt.
3. Helligtrekongersøyeblikk: La AI forstå "temperaturen til bytekoden"
På slutten av 2024 møtte Luke et vanskelig problem ved feilsøking av en Move-kontrakt: den AI-genererte kodesyntaksen var helt korrekt, men den rapporterte en feil så snart den ble lastet opp på kjeden – fordi utførelseslogikken var helt annerledes enn det den opprinnelige koden forventet etter at kompilatoren ble optimalisert.
Det var i dette øyeblikket han plutselig fant ut at for at AI skal kunne skrive sikre kontrakter, må den først forstå det "underliggende språket" til kompilatoren og den virtuelle maskinen.
Dette ble kjernen i Noras designopprinnelse.
I motsetning til tradisjonelle AI-agenter, er Noras modellarkitektur direkte innebygd med "Compiler-Aware" og "VM-Level Context". Den forstår ikke bare syntaksforskjellene til Solidity, Move, Cairo og Rust, men sporer også utførelsesbanen til kompilert bytekode og analyserer flytlogikken til hver instruksjon.
Dette betyr at Nora ikke bare "skriver kode", den kan automatisk verifisere kontraktslogikk, oppdage sikkerhetssårbarheter og til og med optimalisere gassforbruket - mer som en "allsidig ingeniør" som forstår kompileringsprinsipper, konsensusmekanismer og sikkerhetsrevisjoner.
5,74k
6
Innholdet på denne siden er levert av tredjeparter. Med mindre annet er oppgitt, er ikke OKX forfatteren av de siterte artikkelen(e) og krever ingen opphavsrett til materialet. Innholdet er kun gitt for informasjonsformål og representerer ikke synspunktene til OKX. Det er ikke ment å være en anbefaling av noe slag og bør ikke betraktes som investeringsråd eller en oppfordring om å kjøpe eller selge digitale aktiva. I den grad generativ AI brukes til å gi sammendrag eller annen informasjon, kan slikt AI-generert innhold være unøyaktig eller inkonsekvent. Vennligst les den koblede artikkelen for mer detaljer og informasjon. OKX er ikke ansvarlig for innhold som er vert på tredjeparts nettsteder. Beholdning av digitale aktiva, inkludert stablecoins og NFT-er, innebærer en høy grad av risiko og kan svinge mye. Du bør nøye vurdere om handel eller innehav av digitale aktiva passer for deg i lys av din økonomiske tilstand.