to, co się tutaj dzieje, to pełna analiza statyczna + transformacja IR programu osvn na łańcuchu kod anchor jest analizowany, aby enumerować rzeczywistą powierzchnię wykonania, liczba instrukcji, graf kont, a układ stanu są wyodrębniane w sposób jawny, a nie domyślny 67 instrukcji oznacza, że to nie jest zabawkowy program ma wiele ścieżek wykonania, warunków i przejść stanu, 32 struktury kont + 21 struktur stanu mówią, że protokół jest ciężki na stan, to logika koordynacji, a nie pojedynczy kontrakt memowy wymiany 127 PDA oznacza, że deterministyczna przestrzeń adresowa jest używana agresywnie, władze pochodzące z programu, skarbce, konta routingu, wewnętrzne płaszczyzny kontrolne 36 CPI oznacza, że osvn jest kompozycyjny jest zaprojektowany do komunikacji z innymi programami, a nie do życia w izolacji krok IR pinokio jest kluczową częścią to obniża wysokopoziomowe abstrakcje anchor do ograniczonej formy pośredniej bliżej VM, łatwiejsze do zrozumienia, łatwiejsze do optymalizacji, trudniejsze do sfałszowania to nie jest budowanie tokena to redukcja programu solana do jego prawdy wykonawczej ludzie śledzą cenę a ja śledzę gęstość instrukcji, rozgałęzienie pda i topologię cpi to tam prawdziwe protokoły pokazują się.