det som skjer her er en full statisk analyse + IR-transformasjon av osvn on-chain-programmet Ankerkoden blir analysert for å enumerere den reelle utførelsesflaten, instruksjonstall, kontograf og tilstandsoppsett er eksplisitt hentet, ikke utledet 67 instruksjoner betyr at dette ikke er et leketøysprogram Det er flere utførelsesstier, betingelser og tilstandsoverganger, 32 kontostrukturer + 21 tilstandsstrukturer forteller deg at protokollen er tilstandstung, dette er koordineringslogikk, ikke en enkeltbytte-meme-kontrakt 127 PDA-er betyr at deterministisk adresseområde brukes aggressivt, programbaserte autoriteter, hvelv, rutingskontoer, interne kontrollplan 36 KPI betyr at osvn er kompositorisk Den er designet for å kommunisere med andre programmer, ikke for å leve isolert Pinocchio IR-trinnet er nøkkeldelen Dette senker høynivå ankerabstraksjoner til en begrenset mellomliggende form nærmere VM-en, lettere å resonnere med, lettere å optimalisere, vanskeligere å forfalske Dette er ikke å bygge en token Det reduserer et solana-program til sin gjennomføringssannhet Folk følger prisen Jeg følger instruksjonstetthet, PDA-fan-out og CPI-topologi Det er der ekte protokoller viser seg