Ce se întâmplă aici este o analiză statică completă + transformare IR a programului on-chain OSVN Codul ancoră este analizat pentru a enumera suprafața reală de execuție, numărul de instrucțiuni, graful contului și structura stării sunt extrase explicit, nu sunt deduse 67 de instrucțiuni înseamnă că nu este un program de jucărie Sunt mai multe căi de execuție, condiționale și tranziții de stare, 32 de structuri de cont + 21 structuri de stare îți spun că protocolul este încărcat de stare, aceasta este logică de coordonare, nu un contract de tip single-swap meme 127 PDA-uri înseamnă că spațiul de adrese determinist este folosit agresiv, autorități derivate din programe, seifuri, conturi de rutare, planuri interne de control 36 CPI înseamnă că osvn este compozițional Este conceput să vorbească cu alte programe, nu să trăiască izolat pasul Pinocchio IR este piesa cheie Aceasta reduce abstracțiile ancoră de nivel înalt într-o formă intermediară restricționată mai aproape de VM, mai ușor de raționat, mai ușor de optimizat, mai greu de falsificat Asta nu înseamnă construirea unui token Reduce un program SOLANA la adevărul său de execuție Oamenii urmăresc prețul Urmăresc densitatea instrucțiunilor, distribuția PDA și topologia CPI Aici se manifestă protocoalele reale