StarkWare Paylaşımlı Proofer SHARP'ı Başlattı: Gaz Ücretleri Nasıl Daha Fazla Düşürülür?

Yazan: Starkware

Çeviri ve Düzeltme: Starknet Çin Topluluğu

Öne Çıkan Kısa Bilgiler

• SHARP (SHARed Prover), toplu Kahire programları için STARK kanıtları üreterek, herhangi bir uygulamanın işlemleri aynı kanıta göndermesine izin verir. Bir Didi araba havuzunu hayal edin, ancak STARK kanıtı için. Bu "araba paylaşımı" dinamiği, küçük uygulamaların bile STARK uzantılarının muazzam gücünden yararlanabileceği anlamına gelir.
• DApp ne kadar çeşitli olursa olsun, Kahire'de yazıldığı sürece SHARP onaylayabilir. SHARP, Ethereum ana ağında yaklaşık 220.000 işlemi tek bir kanıtta paketleyecektir.
• SHARP kullanan özyinelemeli provalar, birden fazla STARK provasını paralel olarak işleyip doğrulayarak ölçeklenebilirliği ve verimliliği artırabilir.
• Yaklaşan SHARP dinamik düzen özelleştirmesi ile gaz ücreti %30'a kadar daha da azaltılacaktır.

Genişletilmiş tur

Ölçeklendirme Ethereum, sürekli olarak ölçeklenebilirliği daha da geliştirmek için çözümler arayan bir inovasyon yolculuğudur. Haziran 2020'de StarkWare, STARK tabanlı ilk L2 genişletme çözümü olan StarkEx'i piyasaya sürdü. Eylül 2020'de, STARK ispatlarının verimliliğini en üst düzeye çıkarmak için tasarlanmış ilk programlama dili olan Kahire dili duyuruldu. Kahire, genel bilgi işlemin yanı sıra, herhangi bir iş mantığının ve keyfi hesaplama ifadelerinin hızlı ve güvenli kodlanmış kanıtlarının yolunu açıyor. Bu yenilikle birlikte, StarkWare ekosistemine yeni bir geliştirici dalgası katıldı.

Geliştiriciler StarkEx'in ölçeklenebilirliğini, güvenliğini ve verimliliğini isterken, projelerinin çoğu bir STARK kanıtını dolduracak kadar işlem etkinliğine sahip değil. Aynı şekilde, kullanıcılar, Ethereum ağındaki tıkanıklık nedeniyle artan gaz ücretlerinin öngörülemezliğinden hâlâ rahatsız.

Böylece SHARP doğdu.

SHARP nedir?

SHARP (SHARed Prover), toplu Kahire programları için STARK kanıtları oluşturmak üzere tasarlanmış güçlü bir sistemdir. Kahire, çeşitli kod mantıklarını tek bir kanıtta barındırabilen genel amaçlı bir hesaplamalı programlama dilidir. SHARP, bir grup işlemi zincir dışında işler ve hesaplamalı kanıtlarını zincir üzerinde kanıtlayarak tüm işlemlerin maliyetini tek bir kanıtta amorti eder. Oluşturulan birleşik STARK kanıtı, zincirdeki Solidity doğrulayıcı sözleşmesi tarafından doğrulanarak SHARP'ın iş hacmini artırmasına, gaz maliyetlerini düşürmesine ve gecikmeyi en aza indirmesine olanak tanır.

Örneğin, SHARP, Kahire kodunu tamamen farklı programlardan ve mantıktan işleyebilir, NFT basımından Starknet ağ işletim sistemine kadar. SHARP, Kahire'de yazıldığı sürece onaylayabilir ve çeşitli programları tek bir kanıt altında toplayabilir. SHARP'ın getirdiği verimlilik, binlerce işlemi ana ağ üzerinde tek bir kanıtta paketlemesine olanak tanır. Provaları zincir üzerinde işlemenin maliyeti, bir partideki tüm işlemlerde amortismana tabi tutulur, bu nedenle ne kadar çok işlem paketlenirse, işlem başına gaz maliyeti o kadar düşük olur.

Bunu bir örnekle açıklamak gerekirse:

Diyelim ki siz ve kız kardeşiniz, aileniz için yeni bir telefon, bir kupa ve bir tişört gibi hediyeler almak için alışverişe çıkıyorsunuz. Her hediye farklı bir çevrimiçi satıcıdan satın alınır ve ilgili evlerinize farklı bir tarihte, farklı boyut ve şekilde bir pakette teslim edilir. Planınız, her hediyeyi paketleyip ailenize postalamaktır.

Ancak Postanenin başı belaya girdi. Küçük ve orta boy kutular gitti, geriye sadece her boyutu alabilen büyük kutu kaldı. Bu iki seçenek bırakır:

1. Seçenek: Her hediye ayrı ayrı paketlenir ve büyük bir kutu içinde postalanır. Bu, tek bir hediyenin sevkiyatını hızlandırabilirken, üç ayrı kutunun paketlenmesini ve üç ayrı paketin gönderilmesi için postaneye üç kez gidilmesini gerektirir. Bu nedenle, bu yöntem ne zaman kazandırır ne de uygun maliyetlidir.

2. Seçenek: Tüm hediyeleri tek bir büyük kutuda postalayın. Bu, üç yerine yalnızca bir kutuyla uğraşmanız gerektiği anlamına gelir.

Bu örnekte SHARP, verimli kaynak kullanımı ve daha sorunsuz zaman yönetimi sağlayan 2. seçenektir.

KESKİN

SHARP, StarkWare ekosistemi için doğmuş olmasına rağmen, herhangi bir Kahire programını geçerli yürütme ile onaylayabilir. Zamandan ve maliyetten tasarruf etmedeki verimlilik, SHARP'ı yenilikçi bir kanıtlama yöntemine ihtiyaç duyan herkes için çözüm haline getirir.

Özyinelemeli SHARP

SHARP, başlangıcından bu yana çeşitli verimlilik yükseltmelerinden geçti. Bunlardan en güçlüsü doğrusal modelden yinelemeli modele geçiştir.

Özyinelemeli ispatlarda, SHARP, bir ispatı doldurmak için bir grup iddia toplamak ve ardından iddialar grubunun işlenmesini kanıtlamak yerine, her bir iddiayı geldiği gibi kanıtlar. Bu, bir hesaplamanın iddialarını doğrulamanın hesaplamanın kendisinden çok daha hızlı bir şekilde zaman açısından verimli bir yoludur.

Bu, birleştirilmiş bir iddia kanıtlanmadan önce tüm bireysel iddiaların alınmasını gerektiren önceki ölçeklenebilirlik engellerini atlayarak, gelen iddiaları paralel olarak işleyerek elde edilir. Şimdi, SHARP yalnızca binlerce işlemin doğruluğunu kanıtlamakla kalmıyor, aynı zamanda birden fazla STARK kanıtı da karşılık gelen STARK doğrulayıcıları ile doğrulanabiliyor. Bu, birden çok yukarı yönlü kanıtın geçerliliğine dair tek bir kanıt oluşturabilir.

Özyinelemeli uygulamadan sonra, SHARP gelen iddiaları hemen kanıtlar. Kanıtların kendileri yinelenebilir ve özyinelemeli kanıtlarla birleştirilebilir. Bu özyinelemeli kanıt süreci sonuna kadar yürütülür ve son kanıt zincir üzerinde bir Solidity doğrulayıcı sözleşmesine sunulur. İç içe geçmiş bir şema gibi: Bir Kahire programı yukarı yönlü kanıtları doğrular, bu da karşılığında yeni kanıtlar üretir ve STARK doğrulayıcıları bunların geçerliliğini onaylar.

Bir önceki benzetmede, postane başlangıçta yalnızca tek bir standart kutu boyutu sunuyordu, ancak özyinelemeli SHARP, her biri özel olarak tek bir öğeye atanmış farklı boyutlarda küçük kutular sunarak bir çığır açtı. Kutular, her bir öğenin boyutuna tam olarak uygun hale getirilmese de, bu yenilikçi yaklaşım, hediyelerin küçük kutularda paketlenerek ulaşmasını sağlayarak, kullanılmayan alan için gereksiz ücretleri ortadan kaldırır ve gecikmeleri azaltır. Küçük kutular paketlenebilir ve tüm hediyeler hazır olur olmaz gönderilmeye hazır olabilir; bunları büyük bir kutuya koymadan önce üç hediyenin de gelmesini beklemek yerine.

Sonraki adım: dinamik düzen

StarkWare ekibi şu anda SHARP hizmetinin bir özelleştirmesi olarak dinamik düzenler geliştiriyor. Dinamik bir düzen ile ispatlayıcı, her belirli mantık için gereken kaynakları hesaplar ve buna göre özelleştirilmiş bir ispat oluşturur.

Yine postane benzetmesi kullanılarak, dinamik düzenler özel kutular fikri olarak görülebilir. Bu özel kutular, her bir hediyenin şekline mükemmel şekilde uyacak şekilde yapılmıştır ve yalnızca tam olarak ihtiyacınız olan boyut için ödeme yapmanızı ve gereksiz masraflardan kaçınmanızı sağlar. Benzer şekilde, dinamik düzen ile her mantık ve gerektirdiği belirli bilgi işlem kaynakları için özel bir kanıt oluşturulacak ve yalnızca kullandığınız bilgi işlem için ödeme yapmanız sağlanacaktır. SHARP, Kahire'de yazıldığı sürece doğru ispatlar yapabilir.

StarkWare ekibi, bu uyarlanabilirlik ve verimlilik iyileştirmesini bir sonraki SHARP sürümünde sunmayı umuyor. Dinamik düzenin amacı, gaz maliyetlerini önemli ölçüde azaltmaktır.

STARK tabanlı özyinelemeli kanıt oluşturma teknolojisinden yararlanan bu teknoloji, Ethereum ağının ölçeklenebilirliğini ve verimliliğini büyük ölçüde artıracaktır.