Ergo UTXO Model: Bitcoin'dan Ergo'ya Evrim

Ergo, Bitcoin'in ilk tanıttığı UTXO modeline dayanarak inşa edilmiştir. Bu, her işlemden sonra oluşturulan Harcanmamış İşlem Çıktılarının (değişmez ve kısa ömürlü veri parçaları) toplamının bulunduğu bir modeldir. Ethereum'un uzun ömürlü değişken Hesapları ile tamamen farklı bir yaklaşımdır. Ethereum'un Hesapları, her Hesabın kontrol edilmesi gereken paylaşılan bir bağlamda çalışır - bu gereklilik, depolama kullanımında dezavantajlar yaratabilir. 

UTXO, madenciler (blok zinciri doğrulayıcıları veya konsensüs sağlayıcıları) tarafından belirli bir özel anahtarın belirli coinlere erişimi olup olmadığını kontrol etmek için kullanılır. UTXO modelinin gizliliği ve ölçeklenebilirliği çekicidir, ancak Bitcoin'in başlangıç tasarımı akıllı sözleşmelerin uygulanmasını daha zor hale getirir. UTXO modelinin birçok avantajı vardır, ancak Ethereum'un Hesaplar modelindeki akıllı sözleşme uygulamalarına kıyasla şaşırtıcı bir şekilde az gelişmiş bir alandır. Öte yandan, Ergo'nun UTXO modeli, NIPoPoWs uygulaması aracılığıyla sıfır bilgi ile çapraz zincir işlemleri sağlamak için Çok Aşamalı Sözleşmeler sunar. Ana geliştirici Alex Chepurnoy, UTXO'nun özellikleri ve PoW güvenlik faydaları konusunda geniş bir deneyime sahiptir, bu nedenle araştırmalarını bu alana odaklamıştır.

UTXO terimi, bir miktar harcandıktan sonra harcanmamış kalan kripto para miktarını ifade eder. UTXO tabanlı bir blok zinciri ağında, harcanmamış bir işlem çıktısı, bir sonraki harcama etkinliği için girdi olur. Bu nedenle, her harcama etkinliğinden sonra, daha sonra yeni harcama etkinliğinde tekrar girdi olarak kullanılacak yeni bir UTXO oluşturulur. Yani UTXO girdi olarak kullanılır ve yeni UTXO çıktı olarak oluşturulur. Bu, Bitcoin'in dayandığı harcanabilir UTXO'ların kavramıdır. Ancak, Ergo'nun UTXO tabanlı sistemlere katkısı, UTXO işlem zincirlerinin oluşumunu sağlayan yalnızca okunabilir UTXO'ları tanıtmaktadır.

Robert Kornacki (EMURGO araştırmasından):

“Akıllı sözleşme destekli UTXO sistemleri, akıllı sözleşmeleri tamamen devrim niteliğinde dönüştürme potansiyeline sahiptir. …… UTXO tabanlı akıllı sözleşme protokolleri, doğrusal, dallı, özyinelemeli, dış kaynaklı ve paralelize edilmiş gibi harcama yolu odaklı tasarım kalıplarını kullanır. Bu, dApp geliştiricisinin güvenilir ve performanslı akıllı sözleşmeler oluşturması için sahneyi hazırlar; gelecekte henüz keşfedilmemiş daha yüksek düzeyde tasarım kalıpları ile.”

Bitcoin'in UTXO Modeli

Bitcoin, merkeziyetsiz para biriminin öncüsü olmasına rağmen, bazı kusurlara sahiptir. 

Sorunlar şunlardır:

Turing tamlığı eksikliği: Turing tamlığı, “eğer” ifadelerinin tanıtılması yoluyla bir sistemde döngüleri ifade eder. Döngüleri tanıtmak zor değildir, ancak döngüler, temel kodun sonsuz tekrarı nedeniyle depolama verimsizliğine neden olabilir. Bitcoin, basit ve güvenli bir tasarımla yapılmıştır. Para transfer sistemi olarak hizmet vermek üzere inşa edilmiştir, bu nedenle işlem doğrulama sırasında sonsuz döngüleri önlemek için Turing tam olmayan bir sistem seçilmiştir.

Değer körlüğü: Bir Bitcoin bir Bitcoin'dir, yani Bitcoin ağının Bitcoin'in diğer birimlerdeki temel değerini anlayabileceği bir yol yoktur. Bu, geleneksel ve merkeziyetsiz finans sistemlerini güvenilmez bir şekilde birleştirmeye çalışırken bir engel teşkil eder; burada merkeziyetsiz veri akışları sağlamak için oracle akıllı sözleşmelere ihtiyaç vardır. Borç verme, alma ve otomatik piyasa yapma algoritmaları, işlev görmek için güvenilir verilere dayanır. Bitcoin, kripto paraların öncüsü olmasına rağmen, bu geleneksel ve merkeziyetsiz finans sistemlerini bağlama yeteneğinden yoksundur. 

Durum eksikliği: Bitcoin'de, UTXO ya harcanabilir ya da harcanmamış olabilir ve durumlu sözleşmeleri desteklemez; bu nedenle, çekim limitleri veya geri alım emirleri gibi başka bir durum oluşturmak mümkün değildir. Bu, UTXO'nun yalnızca basit ve tek yönlü sözleşmeler oluşturmak için kullanılabileceği anlamına gelir. Merkeziyetsiz organizasyonlar, meta-protokoller veya çekim limitleri gibi daha karmaşık “durumlu” sözleşmeler uygulanamaz. Bitcoin'in ikili durumu ve değer körü biçimi, bu nedenle finansın geleceğini destekleme yeteneğinden yoksun olacaktır.

Blok zinciri körlüğü: Bitcoin'in UTXO'su, nonce (sadece bir kez kullanılan sayı veya 2FA kodları) ve önceki hash (blok zincirindeki herhangi bir işlemin belirli bir değeri, madencilerin tanımlamaya çalıştığı değer) gibi blok zinciri verilerine kördür. Bu, kumar, piyango ve benzeri kategorilerde blok zincirinin içindeki rastgeleliğin gerekli olduğu uygulamaları ciddi şekilde sınırlar.

Çok Aşamalı UTXO Modeli

Uzun UTXO sistemleri, Turing tam akıllı sözleşmelere olanak tanır. Bu, Bitcoin'in kullandığı orijinal modeli geri kazanmasına izin veren yenilikçi bir gelişmedir, ancak çok daha fazla güçle.

Genişletilmiş UTxO Modeli (eUTXO), Bitcoin'in yapısını korurken daha ifade edici akıllı sözleşmeler için destek ekler. Ergo, UTXO zincirlerini tanıtan kendi Çok Aşamalı UTXO modeli ile Cardano'nun eUTXO'suna benzer bir yaklaşım benimsemiştir. 

Çok Aşamalı Sözleşmeler, Bitcoin'in UTXO modeline zincir içi hesaplamalar ile bir genişleme sağlar. Ergo, yalnızca blok başlıkları aracılığıyla etkileşime izin veren yalnızca okunabilir girdiler uygulamıştır. Bu, Ergo'nun Seviye 3 üzerinde çalışabilme yeteneğini geliştirir ve UTXO modelinde NIPoPoWs kullanarak etkileşimsiz paralel hesaplamalara olanak tanır. 

Ergo'nun yalnızca okunabilir girdiler ve Turing tam zengin bir bağlamın uygulandığı UTXO defter modeline yönelik genişletilmiş yaklaşımı, güçlü gizlilik ve güvenlik özellikleri ile neredeyse sonsuz ölçeklenebilirlik sağlayabilir. Ergo'nun UTXO'sundaki kolektif harcama kasaları gibi sıfır bilgi uygulamaları, Ethereum'un paylaşılan değişken durumuna göre daha verimlidir.