PoB protokolü analizi

Iagon ekibi yakın zamanda Cardano ekosistemine uygun bir yakma kanıtı (PoB) protokolünü piyasaya sürerek önemli bir zorluğu tamamladı. Bu makalede, bu çözümün detayları ele alınacak ve esas olarak aşağıdaki birkaç konuya odaklanılacaktır:

1. Yanma Kanıtı Mekanizması ve Uygulamaları Üzerine Genel Bakış
2. Iagon'un PoB protokolü Cardano ağı üzerindeki akıllı sözleşme uygulaması
3. Akıllı sözleşmenin dağıtım ve test süreci
4. PoB protokolünü gerçekleştirmek için tokenleri "kara delik" adresine göndererek

1. Yakma Kanıtı ve Uygulamaları

Token yakımı esasen tokenlerin erişilemeyen bir "kara delik" adresine gönderilmesidir. Bu adresin özel anahtarı yoktur, bu nedenle imha edilen tokenler geri alınamaz. Kamu, imhanın gerçekten gerçekleştiğini doğrulayabilir, ancak yalnızca bir taahhüt değerini bilir. Bu mekanizma, aracının imha edilen fonları denetlemesini engelleyebilir.

Yanma mekanizmalarının çeşitli kullanımları vardır; hem kalan token değerini artırabilir hem de blockchain protokolünün taahhüt kanıtı olarak işlev görebilir. Büyük ölçekli yanma, dolaşımdaki toplam token miktarını azalttığı için deflasyonist baskılar yaratabilir. Yanma yaygın bir işlem olmasına rağmen, yine de madencilerin kabul etmesi gerekmektedir.

Yakma kanıtının güvenliği, kriptografik hash fonksiyonlarına dayanır. Bu fonksiyonlar ileri hesaplaması kolay, ancak ters hesaplaması son derece zordur. Temelde, girdi üzerindeki küçük bir değişiklik, çıktıda büyük rastgele bir değişikliğe yol açar. Bu, çıktıyı tersine çevirerek girdiyi bulmanın çok uzun zaman alacağı anlamına gelir. Kısacası, kriptografik hash fonksiyonunun en düşük bitini tersine çevirerek bir kara delik adresi oluşturulabilir; bu adrese gönderilen fonların geri alınması zor veya imkansız olacaktır.

Kripto işlemlerin güvenliği tamamen açık anahtar kriptografisi ve hash fonksiyonlarına dayanır: "Her para gönderdiğinizde yeni bir kullanılmamış işlem çıktısı (UTxO) oluşturulur." UTxO, miktarı ve alıcının açık anahtarının hash'ini kaydeder. Alıcı, fonları kullanırken aynı açık anahtar ile yeni işlemi imzalamalıdır.

Tersine hash kullanarak en düşük bitin çıktısını almak ve doğrudan sıfır değerli hash kullanmamak, iki aşamalı bir işlem gerçekleştirmek içindir: önce fonları yakmak, ardından yakıldığını kanıtlamak. Bu, önce bir taahhüt değeri hash'i oluşturmayı ve ardından oluşturulmuş kara delik adresini göstermeyi gerektirir.

2. Cardano ağındaki PoB akıllı sözleşmeler

Cardano akıllı sözleşmeleri, kurallara göre işlemleri gerçekleştirmeyi sağlar ve şeffaf, doğrulanabilir işlemler oluşturmayı amaçlar. Son zamanlarda merkeziyetsiz finans ve organizasyonlar, akıllı sözleşmelerin yaygın kullanımını teşvik etti.

Cardano, kullanıcıların cüzdanlarında işlemleri simüle etmelerine olanak tanıyan, Ethereum'dan farklı bir yapıyı benimsemiştir. Cardano akıllı sözleşmeleri üç bölümden oluşmaktadır:

• İade eden script: eUTxO'nun harcamasını kontrol et
• Cüzdan scripti: Kullanıcının fonları geri almasını ve yeni eUTxO oluşturmasını temsil eder.
• eUTxO: Fon ve veri noktalarını tutar, fonların kullanım şartlarını belirlemek için.

Bu, Cardano akıllı sözleşmelerinin merkeziyetsiz bir duruma sahip olduğu, her eUTxO'nun bağımsız bir durumu olduğu anlamına gelir. Olası işlemler şunlardır:

• Yakma: Fonları kara delik adresine gönderme
• Doğrulama yanması: Yanmanın gerçekleştiğini onaylayın
• Kilitli: Anahtara sahip bir adrese para gönderme
• İade: Kilitlenmiş fonları geri almak

Uç noktası kullanıcı cüzdanında çalışır, oluşturulan işlem blok zincirine gönderilir. İade edenin betiği, fonların yalnızca hash değerine sahip adresler tarafından erişilebileceğini doğrular.

Kilitleme işlemi sırasında, hash değeri kendi adresiniz olabilir. Yakımda, hash değeri kara delik adresine işaret eder. Bu, hash'e gizli bir taahhüt değeri verip onu tersine çevirerek gerçekleştirilir. Kriptografik hash fonksiyonu kullanıldığı için, eşleşen bir girdi bulmak neredeyse imkansızdır.

Aracılar, işlemin yanma mı yoksa kilitlenme mi olduğunu bilemez. Bu, yanma işlemlerinin seçici denetimini önler. Yanma değeri, doğrulama uç noktaları ve kamuya açık taahhüt değerleri aracılığıyla doğrulanabilir.

3. Akıllı Sözleşmenin Dağıtım Testi

Test ağında akıllı sözleşme dağıtmak için aşağıdaki adımların uygulanması gerekmektedir:

1. Haskell araç zincirini kur
2. Plutus betiği oluşturma
3. Cardano düğümü ve cüzdan konteynerini başlat
4. Cüzdanı geri yükleyin ve cüzdan ID'sini alın
5. Yanıcı tokenleri çalıştır
6. Yakıtın Doğrulanması

Bu adımlar, işlemin yanma mı yoksa kilitleme mi olduğunu gizleyebilir. Ancak script yayımlandıktan sonra, belirli bir geri alıcıyı reddetmek için script derlemeye çalışanlar olabilir. Bu büyük bir çaba gerektirir, ancak kısmi yanmanın denetlenmesine yol açabilir. Bu durumu önlemek için, Iagon daha güvenli bir çözüm önerdi.

4. Akıllı Sözleşmeden Cüzdan Scriptine

Kullanıcı cüzdanında gerçekleşen çoğu işlemin bu özelliğinden yararlanarak, akıllı sözleşmelere ihtiyaç duymadan yalnızca cüzdan kullanan bir çözüm oluşturulabilir. Bu yöntem, yanma işlemlerini seçici olarak engelleyemez. Tüm yanmaları engellemek için, denetleyicilerin tüm script işlemlerini engellemesi gerekir. Yalnızca cüzdan kullanıldığında, tek denetim yöntemi tüm Cardano işlemlerini engellemektir; bu, nihai direniştir.

Bunu gerçekleştirmek için, kamu anahtarının hash'ini taahhüt değerinin hash'i ile değiştirmek ve en düşük bitini tersine çevirmek gerekmektedir. Ayrıca Cardano'nun adres hata kontrolünü de ele almak gerekmektedir. En basit yöntem, adres oluşturmak için bir script ve Cardano API kütüphanesi kullanmaktır.

Verilen kodu kullanarak yakma adresi oluşturabilir, işlemleri blok zincirine gönderebilir ve yakmayı doğrulayabilirsiniz.

Sonuç

Bu makalede, PoB protokolünün akıllı sözleşmeler ve cüzdan işlemlerindeki uygulanışı anlatılmaktadır. Alonzo akıllı sözleşmelerinin gerekli altyapıdan yoksun olması nedeniyle, cüzdan scriptlerinin kullanılması önerilmektedir. Gelecekte PAB kütüphanesi uygulandıktan sonra, cüzdan scriptleri ile birleşen karmaşık akıllı sözleşme çözümleri daha uygulanabilir hale gelecek ve potansiyel denetimlere daha iyi direnç gösterecektir. Daha fazla bilgi için, Github üzerindeki ilgili bilgileri inceleyebilirsiniz.