Solana'nın kısa süre önce uygulamaya koyduğu P-Token yükseltmesi, ağın tarihindeki en önemli altyapı değişikliklerinden birini temsil ediyor. Yükseltme, mevcut SPL Token programıyla uyumluluğu korurken token işlemleri için gereken bilgi işlem kaynaklarını önemli ölçüde azaltır.
Bu iddiayı doğrulamak için Solana Vakfı, eski SPL Token uygulaması ile yeni Pinocchio tabanlı P-Token programı arasındaki davranışsal eşdeğerliği kanıtlamak için resmi bir doğrulama yapmak üzere Certora ile anlaştı. Araştırma ve geliştirme firması Anza daha önce resmi doğrulamayı P-Token'ın eşdeğerliğinin "en güçlü garantisi" olarak tanımlamıştı ve Certora'nın sonuçları P-Token'ın Solana'nın en yaygın kullanılan programlarından birinin yerine "geçecek" bir program olarak rolünün bir kez daha doğrulanmasını sağladı.
Token Programı Neden Önemlidir?
SPL Token programı, Solana'nın token ekonomisinin merkezinde yer almaktadır. Ağdaki varlıkların büyük çoğunluğu için darphane oluşturma, token hesap yönetimi, transferler, yakma ve delegasyon işlemlerini gerçekleştirir. Solana'daki neredeyse her oylama dışı işlem bir şekilde tokenlarla etkileşime girdiğinden, token programındaki herhangi bir değişiklik ekosistem için geniş etkiler taşır.
P-Token, Pinocchio Rust kütüphanesi üzerine inşa edilmiş yeni bir uygulama sunuyor. Yükseltme, birçok yaygın işlem için hesaplama tüketimini yaklaşık %95-98 oranında azaltarak önemli performans iyileştirmeleri sağlar. Örneğin standart token transferleri 4.645 hesaplama biriminden sadece 76'ya düşerken, transfer_checked talimatları 6.200 hesaplama biriminden 105'e düşüyor.
Bu verimlilik kazanımları, ağ genelinde blok alanının tahmini %12-13'ünü boşaltarak blok limitlerini artırmadan ek kapasite yaratabilir.
"Yerine Geçebilecek" Bir Yedek Olduğunu Kanıtlamanın Zorluğu
Performans iyileştirmeleri dikkat çekerken, uyumluluk bu ölçekte bir altyapı yükseltmesi için en önemli gereklilik olmaya devam etmektedir. Mevcut cüzdanlar, dApp'ler, protokoller ve akıllı sözleşmeler SPL Token programının davranışına dayanmaktadır. Beklenmedik herhangi bir sapma entegrasyon sorunlarına neden olabilir veya geliştiriciler ve kullanıcılar için risk oluşturabilir.
P-Token, orijinal kod tabanını basitçe kopyalamaz. Yeni uygulama, sıfır kopya hesap erişimi, optimize edilmiş yürütme yolları ve ek işlevsellik dahil olmak üzere farklı bir mimari benimser. Sonuç olarak, geliştiriciler uyumluluğu sağlamak için yalnızca geleneksel testlere güvenemezlerdi.
Bunun yerine Certora, iki programın tanımlanan doğrulama kapsamındaki tüm olası girdilerde aynı şekilde davranıp davranmadığını matematiksel olarak analiz etmek için resmi doğrulama tekniklerini kullandı.
Eşdeğerlik P-Token için Ne Anlama Geliyor?
Certora'nın doğrulama çerçevesi, analiz edilen her komut için üç sonuç kategorisini değerlendirdi.
-
İlk olarak, hiçbir program yürütme sırasında panik yapmamalıdır; yani, program bir hata, uç durum vb. nedeniyle asla çökmemeli veya iptal olmamalıdır.
-
İkinci olarak, SPL Token programı bir talimatı başarıyla işler ve Ok(()) döndürürse, P-Token da Ok(()) döndürmelidir. Bu durumlarda, her iki program da yürütme sonrasında hesap verilerini bayt bayt aynı durumda bırakmalıdır.
-
Üçüncü olarak, P-Token bir hata döndürürse, SPL Token programı da aynı koşullar altında aynı hatayı döndürmelidir.
Certora'nın çerçevesi, olası her girdi hesap durumu ve talimatı için programın ya başarılı olmasını (Ok(())) ya da zarif bir şekilde başarısız olmasını (Err(e)), ancak asla dahili olarak çökmemesini sağlar. P-Token'ın uygulaması SPL Token işlevselliğinin bir üst kümesi olarak tasarlanmıştır, yani SPL Token tarafından kabul edilen herhangi bir işlem P-Token tarafından da kabul edilmelidir.
Doğrulama çalışması iki program arasında birkaç kasıtlı farklılık tespit etmiştir. P-Token, temsilcinin kendi kendini iptal etmesine izin vererek, bir temsilcinin token hesap sahibinin işlemi imzalamasına gerek kalmadan kendi yetkisini iptal etmesini sağlar. SPL Token aynı işlem için sahibinin imzasını gerektirir.
P-Token ayrıca Token-2022 multisig yetkilileri için desteği genişletir. SPL Token bu hesapları reddederken, P-Token bunları kabul eder.
Üçüncü bir fark, hatalı biçimlendirilmiş hesap verileri kanonik olmayan COption etiketleri içerdiğinde hata işlemeyi içerir. SPL Token bu tür hesapları InvalidAccountData hatası ile hemen reddeder. P-Token'ın optimize edilmiş hesap yükleme süreci, bir hata oluşturmadan önce talimat mantığının daha derinlerine ulaşır ve bu da yürütülen talimata bağlı olarak farklı sonuçlar üretebilir.
Bu farklılıklar kasıtlı olduğu ve belgelendiği için Certora, analizin üzerinde anlaşmaya varılan uyumluluk sınırına odaklanmasını sağlamak amacıyla doğrulama sürecinin bazı bölümlerine varsayımlar dahil etmiştir.
Doğrulama Nasıl Çalıştı
Certora'nın Prover'ı, derlemeden sonra kaynak kodunu düşük seviyeli bir ara temsile analiz eder. Mühendisler daha sonra CVLR olarak bilinen Rust için Certora Doğrulama Dilini kullanarak resmi özellikler yazarlar.
Doğrulama koşum takımı, hesap bilgilerinin ve komut verilerinin özdeş kopyalarını oluşturarak kanıtlayıcının her iki programı da aynı koşullar altında karşılaştırmasına olanak tanır. Satisfiability Modulo Theories tekniklerini kullanan sistem, sınırlı bir test senaryosu koleksiyonuna güvenmek yerine tüm olası girdileri aynı anda değerlendirdi.
Kapsam, AmountToUiAmount ve UiAmountToAmount hariç olmak üzere SPL Token ve P-Token arasında paylaşılan her komutu içeriyordu. İnceleme ayrıca P-Token'a özgü üç yeni talimatı da hariç tutmuştur: batch, unwrap_lamports ve withdraw_excess_lamports.
Süreç boyunca, kanıtlayıcı ya bir doğruluk kanıtı üretti ya da inceleme gerektiren davranışsal farklılıkları vurgulayan somut karşı örnekler üretti.
Bulgular ve Sonuçlar
Certora, doğrulama çalışması sırasında istismar edilebilir bir güvenlik açığının ortaya çıkmadığını bildirmiştir. Analiz, Panik Yok ve Tamam'da Eşdeğerlik özelliklerinin ek varsayımlar gerektirmeden kapsam dahilindeki tüm talimatlarda geçerli olduğunu doğrulamıştır. Hatada Eşdeğerlik özelliği, daha önce tanımlanan üç kasıtlı davranış farklılığı hesaba katıldığında paylaşılan komut kümesinde de geçerlidir.
En önemlisi, doğrulama, her iki programın da aynı girdiyi başarıyla işlediğinde, işlem sonrası hesap durumlarının bayt bayt aynı olduğunu göstermiştir. Süreç ayrıca resmi doğrulamanın geleneksel testlerin gözden kaçırabileceği uç durumları nasıl ortaya çıkarabileceğini de vurguladı.
Solana Altyapısı için Önemli Bir Dönüm Noktası
Doğrulama sonuçları, P-Token'ın mainnet'e dağıtımından kısa bir süre sonra geldi ve Solana'nın en önemli altyapı yükseltmelerinden birine daha fazla güven sağladı.
Büyük işlem tasarruflarını resmi olarak doğrulanmış davranışsal eşdeğerlikle birleştiren yükseltme, her gün token programına bağlı olan uygulamaları ve varlıkları kesintiye uğratmadan ağ verimliliğini artırmayı amaçlamaktadır.
SolanaFloor hakkında daha fazlasını okuyun
Solana Nihayet Yerel Onchain Abonelikleri Alıyor, Bordro, Yapay Zeka Aracı Bütçeleri ve Yinelenen Faturalandırmanın Kilidini Açıyor
Eski ABD Başkan Adayı Andrew Yang'ın Noble Mobile'ı Helium Mobile'ı Satın Aldı - $HNT'ye Ne Olacak?
SpaceX'in 2T Dolarlık Halka Arzı Kriptoyu Nasıl Etkileyecek?
