ce qui se passe ici est une analyse statique complète + une transformation IR du programme on-chain osvn le code anchor est analysé pour énumérer la véritable surface d'exécution, le nombre d'instructions, le graphe des comptes et la disposition de l'état sont extraits explicitement, pas inférés 67 instructions signifient que ce n'est pas un programme de jouet il y a plusieurs chemins d'exécution, des conditionnels et des transitions d'état, 32 structures de comptes + 21 structures d'état vous indiquent que le protocole est lourd en état, c'est de la logique de coordination, pas un contrat de mème à échange unique 127 PDAs signifie que l'espace d'adresses déterministe est utilisé de manière agressive, autorités dérivées du programme, coffres, comptes de routage, plans de contrôle internes 36 CPIs signifie que osvn est compositionnel il est conçu pour communiquer avec d'autres programmes, pas vivre en isolement l'étape IR de pinocchio est la partie clé cela réduit les abstractions de haut niveau d'anchor en une forme intermédiaire contrainte plus proche de la VM, plus facile à raisonner, plus facile à optimiser, plus difficile à falsifier ce n'est pas construire un token c'est réduire un programme solana à sa vérité d'exécution les gens suivent le prix je suis la densité d'instructions, l'éventail de pda et la topologie cpi c'est là que les véritables protocoles se révèlent