Zen hakkında bilgi edinin

F * -Tam doğrulama

Tüm akıllı sözleşme platformları iki sorunla uğraşmak zorundadır: doğru yürütme ve kaynak tüketimi. Bunlar, decentralized platformda çözülmesi özellikle zordur.

Zen akıllı sözleşmeleri tanımlamak için başlangıç noktası olarakF* alır. Microsoft Research tarafından geliştirilen F *, biçimsel doğrulamayı amaçlayan işlevsel bir dildir. Zen, doğruluğun kanıtlarını oluşturmak ve sözleşmelerin sınırlı bir süre içinde yürütüldüğünü ispatlamak için F * 'nın güçlü ispat yöntemlerini kullanmaktadır. Doğruluk kanıtları, herkesin yeni bir sözleşme yazması anlamına gelir; örneğin belirli bir varlık çeşidini uygular; örneğin herhangi bir kullanıcı veya sözleşme, o varlığı iddia ettiği gibi gerçekleştirdiği güvenle hemen keşfedebilir ve kullanabilir.

Sınırlı Hesaplama

Kanıtlanmış kaynak sınırları madencilerin hizmet reddi saldırısı riskine maruz kalmadan bir sözleşme kullanan herhangi bir işlemi kabul etmelerini ve ücretlendirmelerini sağlar. Kanıtlanmış kaynak sınırları da çok önemli bir optimizasyonu mümkün kılar: Sözleşmeler, oluşturulan anlarda, .NET baytı koduna derlenebilir ve böylece yürütülmüş olan bir kodlama dili üzerinden çok daha hızlı hale getirilir.

UTXOs ve değişmezlik

Zen, en düşük seviyede, Bitcoin'e benzer şekilde çalışır, Sıklıkla "alışılmamış işlem çıkışı" veya "UTXO" paradigması olarak adlandırılan bu paradigma, sözleşme ile oluşturulan bir işlem de dahil olmak üzere her işlemin, bir sözleşme yapmadan veya işlem imzalarını doğrulamadan önce bile, ağ mutabakatı üzerinde açıkça görünür bir etkiye sahip olduğu anlamına gelir. Zen sözleşmeleri değişmez: bir kez yaratıldıklarında dahili olarak değişmezler. Verileri depolamak isteyen sözleşmeler işlem çıktılarında bunu yapar.

Aktif Sözleşme Kümesi ve İş Hasılatı işlemleri

Zen sözleşmeleri belli bir süre aktif kalabilmek için ödenmektedir: ödeme bittikten sonra, etkin olmayan duruma gelir ve artık madencilere veya düğümlere yük oluşturmazlar. Yeniden etkinleştirildiğinde, sözleşmeler asıl orijinal koduyla sanki hiçbir zaman devre dışı bırakılmamış gibi görünürler. Bu, kullanıcıların kontratları kendileri kullanmadan sözleşme ile düzenlenmiş varlıklarını ticarete açmalarını, sözleşmeleri yalnızca nihai çözüm için harekete geçirmelerini sağlar.

UTXO paradigmasının ve etkin sözleşme setinin kombinasyonu, akıllı bir sözleşme ile güvence altına alınan ödeme kanallarına olanak tanır. Kullanıcılar, hızlı bir şekilde Zen ağının kendisine konulan veya imzalanan işlemleri değiştirerek veya bir anlaşmazlık durumunda kendilerini değiştirebilir veya bir kanalı kapatabilir. Çok karmaşık sözleşmeler bile, bir anlaşmazlık olmadıkça harekete geçirilemez veya ödenmez, yedek tutulabilir.

Oracles ve Harici Veriler

Zen ve Bitcoin blok zincirlerinin dışındaki veriler, Zen'de dış dünyadan gelen olaylar ve varlıklarla ilgili anlaşmalar yapılmasını mümkün kılar. Zen oracle'lar verimli ve iyi telafi edilmiştir: oracle'lar çok miktarda veriye merkle ağacı taahhüdünü kullanır ve her parça için kanıtlanmış ödeme ile ayrı ayrı veri parçaları satabilir.

Birleştirilmiş Fikir Birliği ve Bitcoin Entegrasyonu

Zen madencileri Zen blok zincirini kazım yaparlar ancak ayrıca Bitcoin blok zincirini izlemeleri ve doğrulamaları gerekir. Zen'deki her blok bir bitcoin blok başlıklarına işaret edebilir, böylece Bitcoin konsensüsünü taahhüt eder.

Bu, Bitcoin düğümlerinin sayısını arttırmakla kalmaz, aynı zamanda Zen'i Bitcoin ile birlikte çalışabilir yapar. Bitcoin üzerindeki herhangi bir eylem Zen'deki olayları etkileyebilir.

Zen sözleşmeleri Bitcoin adreslerini izleyebilir ve buna göre varlıklarını otomatik olarak yayınlayabilir. Fakat Bitcoin kullanıcıları Bitcoin'den ayrılmaksızın Zen'de pozisyon alabilir, sözleşmelere girebilir ve merkezileşmemiş güvenli anlaşmalar yapabilirler. Teminatı tutan bir Zen sözleşmesi Bitcoin'de uygun ödemeleri zorlar.

Bitzen

Teminatlar ile güvence altına alınan Zen'deki bit eşya kredileri, özel mülk sahibi olur. Sözleşmeler, teminatın miktarını, Bitcoin şebekesinde gerçek bit sancaklarının varlığını ve ortaya çıkan risk derecesini anlayabilir. Daha sonra, fiyatları riske uyacak şekilde ayarlayarak, Bitcoin kredisinin birden fazla farklı kaynağını kabul edebilirler.