Cardano Araştırması: Büyük bir rezerv tek başına Proof of Stake'i güvence altına almaz

Cardano Foundation araştırmacısı Manvir Schneider ile Input Output Global (IOG)'dan Paolo Penna'nın hakemli makalesi, 2 Ekim'de Schloss Dagstuhl'un LIPIcs serisinde, AFT 2026'nın resmi bildirilerinde yayımlandı. Cardano Foundation bunu 13 Ekim'de yaptığı bir paylaşımda sundu. Makale, ödülleri ücretlerden ve kademeli olarak harcanan bir rezervden karşılayan bir ağa kanonik örnek olarak Cardano'yu gösteriyor. Yazarlar, bir rezerv harcama politikasının yalnızca rezervin nominal olarak tükeneceği tarihe göre değerlendirilmemesi gerektiği sonucuna varıyor.

AFT 2026 Makalesinde Ekonomik Güvenlik ve Rezerv Eşiği

“Proof of Stake Sistemlerinde Rezerv Tükenmesi ve Güvenlik Pisti” başlıklı çalışma, Londra'da düzenlenen 8. Advances in Financial Technologies Konferansı'nda sunuldu. Çalışma, ekonomik güvenliğe odaklanarak, ödüllerin ücretlerden ve rezervden geldiği, token fiyatı ve talebin değiştiği durumlarda doğrulayıcıların ne kadar güvenli kapasite sağladığını bir ekonomik modelle inceliyor. Cardano Foundation, Cardano'nun geliştirilmesini ve benimsenmesini destekleyen İsviçre merkezli kar amacı gütmeyen bir kuruluştur ve IOG, Ouroboros protokolünün arkasındaki mühendislik ve araştırma şirketidir.

Model, rezerv finansmanından ücret finansmanına geçişi tanımlıyor. Bir ağ gençken, ücretler hedef güvenlik seviyesinin maliyetini karşılamaz, bu nedenle token rezervi, kullanım arttıkça ücretlerin devralmasına kadar aradaki farkı öder. Güvenlik pistinin, mevcut token fiyatı ve talep düzeyinde, rezervin bu hedefi hâlâ sürdürebildiği süre olduğu ifade ediliyor. Makaleye göre bu süre, rezerv tamamen boşaldığında değil, açığı kapatmak için ilk kez fazla küçük kaldığında sona eriyor.

Yazarlar, yeterli ve yetersiz rezerv arasındaki çizgiyi rezerv eşiği olarak adlandırıyor. Bu, verilen piyasa koşullarında hedefi hâlâ finanse eden en küçük miktar. Eşik, bir ağın olası durumlarını üç bölgeye ayırır. Talep çok zayıf olduğunda, hiçbir miktar hedefi sürdüremez. Orta bölgede güvenlik, rezervden gelen bir sübvansiyona bağlıdır, üçüncü bölgede ise eşik sıfırdır çünkü güvenliği yalnızca ücretler finanse eder.

Cardano'nun Rezervi, ρ Parametresi ve Stake Havuzu Ödülleri

Cardano'nun para politikası dokümantasyonuna göre, bir dönemdeki tüm bloklardan alınan ücretler bir ödül havuzuna gider ve kalan ADA rezervinin sabit bir yüzdesi de bu havuza aktarılır. Bu yüzde, ρ parametresi, dönem başına yüzde 0,3 olarak belirlenmiştir. Dokümantasyona göre bu hızda, kalan miktarın yarısı dört ila beş yıl içinde harcanır. Ödül havuzunun yüzde 20'si, τ parametresi, hazineye gider ve geri kalanı ADA cinsinden ödül olarak dağıtılır.

Çalışma, Cardano'nun kurallarını değil, iki parametreli genel bir durumu modellemektedir: ücretlerden rezerve geri dönen pay ve her dönem rezervden dağıtılan pay. Modelde doğrulayıcılar maliyetlerini dolar gibi harici bir para birimiyle öderken, rezerv yerel token cinsinden tutulur. Bu nedenle yazarlar, bir rezervin finanse edebileceği güvenlik düzeyinin yalnızca token sayısına değil, token sayısının fiyatla çarpımına bağlı olduğuna dikkat çekiyor.

Yalnızca ücretlerin güvenliği finanse ettiği bölgeye ulaşmak farklı bir mantığa dayanır. Makaleye göre bu, kullanıcıların ödediği ücretler zaten harici para biriminde ölçüldüğü için, token fiyatından ziyade talebe bağlıdır.

Protokol Yönetişimi İçin Bir Stres Testi ve Modelin Sınırları

Yazarların protokol yönetişimi için tasarlandığını belirttiği Teorem 15, fiyat ve talebe ilişkin kötümser varsayımları belirli bir zaman ufku için asgarî bir rezerv büyüklüğüne çevirir. Teoreme göre, rezerv bu koşulu sağlarsa, seçilen taban seviyelerin üzerinde kalan her fiyat ve talep yolu üzerinde güvenlik korunur. Bu, ihtiyatlı bir tahmindir çünkü test, rezerve gelecekteki ücret girişlerini dikkate almaz ve garanti teoremin varsayımlarının içinde geçerlidir.

Yazarlar ayrıca modelin sınırlarını ortaya koyuyor. Fiyat ve talep veri kabul edildiğinden, makale token değerlemesini veya benimsenmesini açıklamıyor. Temel sürümde doğrulayıcılar simetriktir, bu nedenle eşik bir kıyas değeri olarak okunmalıdır. Sayısal örnekler, beş doğrulayıcı dâhil, temsili parametreler kullanır ve Cardano için bir hesaplama değildir. Topluluk üyeleri, Cardano'nun mevcut durumu için tam da böyle bir hesaplamayı, Cardano Foundation'ın paylaşımına verilen yanıtlarda talep etti.

Bir sonraki adım olarak yazarlar, ödemelerin ve ücret tutmanın ağın durumunu takip ettiği uyarlanabilir bir politika öneriyor. Örneğin, fiyat düşüşünden sonra ödemelerin kısılması veya rezerv düşükken daha fazla ücretin tutulması gibi. Ardından protokol yönetişimi, teşvik ve güvenilirlik kısıtları altında, rezerv büyüklüğüne, fiyata ve talebe uyum sağlayan bir kural seçecektir. Yazarlar bunu, mevcut bir politikayı değerlendirmekten yeni bir politika tasarlamaya geçiş olarak tanımlıyor ve gelecekteki araştırmaları için bir konu olarak ortaya koyuyor.