2018'de Proof of Stake’in Proof of Work kadar merkeziyetsiz olamayacağından korkuyordum. 2022'de Obol Labs ile bu konuda bir şeyler yapıyorum.

2018 yılında Ethereum’un proof of stake çözümünün merkezileşme riski üzerine ilk makalemi yazmıştım. O zamanlar bu yazının bir üçlemeye dönüşeceğini tahmin etmemiştim.

“The Staking Problem” başlıklı yazımın önermesi şuydu; önerilen minimum 1.500 Etherlik stake ve %100 kesinti cezalarıyla, yalnızca uzmanlaşmış Staking as a Service şirketlerinin Ethereum doğrulayıcılarını çalıştırma becerisine sahip olacağını ve er ya da geç bu merkezileşen ve küçülen grubun Ethereum’un tarafsızlığından ödün vermeye başlayacağını düşünmüştüm.

Neredeyse iki yıl sonra, 2020 yazında, Eth2'nin mimarisi çok daha iyi tanımlanmış ve kriptografik atılımlar minimum hisseyi 32 Ethere kadar düşürmüştü. Pandemiden kısa bir süre önce serbest çalışmaya başlamıştım ve boş blog sitemi doldurmak için “The Staking Problem (revisited)” adlı bir devam yazısı yazdım.

O sırada ilk müşterimi yeni bulmuştum. Bir yılı aşkın bir süre boyunca Blockdaemon’ın Ethereum 2 çabalarına liderlik etme zevkini tattım ve burada bugüne kadar dünyanın en büyük Ethereum stake dağıtımlarından birini inşa ettik. Ancak bu çaba sırasında, daha önce uyardığım tehlikeye açık duruma istemeden de olsa yol açmadığımızdan emin olmak istiyordum.

Beacon zinciri lansmanından sonra, staking’i daha da merkeziyetsizleştirmek için yazılım geliştirmeye başladım ve bunu tek başıma başarmak için iş dünyası hakkında yeterince bilgi sahibi olmadığımı hemen fark ettim. Ethereum’un merkeziyetsizleştirilmesinin ve protokolleştirilmesinin ekonomisi üzerinde çalışan Collin Myers ile yeniden görüştüm ve birlikte Obol Labs’ı kurduk. Obol Labs, halka açık blok zinciri ağları için PoS altyapısına odaklanan bir araştırma ve yazılım geliştirme ekibidir. Çekirdek ekip şu anda çoklu operatör doğrulaması yoluyla güvene ihtiyacin en aza indirildiği stake’i teşvik eden bir protokol olan Obol Network’ü inşa ediyor. Ağ, her bir doğrulayıcı istemcinin Dağıtılmış Doğrulayıcı Teknolojisi kullanarak temsil ettiği hata noktalarını ortadan kaldırarak Ethereum’un esnekliğini ve merkeziyetsizliğini artırmayı amaçlamaktadır.

Staking sorununu ele alacağız.

Hata Toleranslı Staking

Şu anda, bir doğrulayıcı için güvenli bir şekilde yedekleme sistemi çalıştırmak oldukça zor. Bu büyük ihtimalle çalışmayacak ve doğrulayıcılarınız kesilecek. Boşuna denemeyin. Genellikle olan şey, er ya da geç hem birincil doğrulayıcınızın hem de yedeğinizin aynı anda çevrimiçi olması ve bir şeyi çift imzalamasıdır. Bu, tek bir doğrulayıcı anahtarınızın her iki yerde de çalıştığı ve belirli bir görev için ağın farklı bölümlerine farklı şeyler söyleyen iki mesajı imzaladığı anlamına gelir. Ağ bunu fikir birliğine varma kabiliyetine bir saldırı olarak yorumlar ve bunun için sizi ciddi şekilde cezalandırır.

Aynı özel anahtarı paylaşan ve farklı zamanlarda çalışması amaçlanan iki bağımsız doğrulayıcı sisteme sahip olma modeline Aktif/Pasif yedeklilik denir.

Staking alanında şimdiye kadar verilen en iyi öneri “sadece yedekleme yapmayın, kesintiler önemli değildir” olmuştur. Bu, bir günü trilyonlarca dolarla ölçülecek kadar büyük bir pazar için yeterli bir çözüm değildir. Hataya dayanıklı bir staking sistemine sahip olmamak, her ölçekteki staking operatörü için risk yaratır. Eğer tek başına çalışan bir düğüm operatörüyseniz, 7/24/365 nöbetçi olmanız beklenemez; öte yandan büyük operatörlerin, doğrulayıcı yük devretme süreçleri otomatik değil de manuel ise, kaç nöbetçi mühendise ihtiyaç duyacaklarına karar vermek zorundadır. Bir vardiya sırasında herhangi bir makine kapanırsa önemli değil, ancak 100 düğüm kapanırsa; bir mühendis, hiçbiri tekrar çalışmaya başlamadan ve bir kesintiye neden olmadan hepsini güvenli ve hızlı bir şekilde öncelik belirleyip ve yük devredebilir mi?

Burada doğru olmayan bir şeyler var.

Bundan daha iyisini yapabiliriz. Doğrulayıcı düğümlerdeki teknik arıza noktalarını ortadan kaldırarak, ağ doğrulama ve stake etme modellerinde bir sonraki evrimi mümkün kılacak yeni bir tasarım alanı açabileceğimize inanıyoruz.

İşbirlikçi Staking

Dağıtılmış doğrulayıcıları birlikte çalıştıran dört farklı operatör

Obol’da, Dağıtılmış Doğrulayıcı Teknolojisi adı verilen bir altyapı ilkelini araştırıyor ve geliştiriyoruz. DVT, aynı anda birden fazla makinede ve istemcide çalışan ancak ağa tek bir doğrulayıcı gibi davranan yeni bir doğrulayıcı türü sağlar. Bu, makinelerin bir alt kümesi arızalansa bile doğrulayıcınızın çevrimiçi kalmasına olanak tanır, buna Aktif/Aktif hata toleransı denir. Bunu bir uçaktaki motorlar gibi düşünün, uçağı uçurmak için hepsi birlikte çalışır, ancak biri arızalanırsa uçak mahvolmaz.

United Airlines’ın 231 yolcu ve 10 mürettebat taşıyan UA328 sefer sayılı uçağı, 20 Şubat 2021'de Denver, Colorado, ABD üzerinde Mayday alarmı verdikten sonra sancak motoru yanmış bir şekilde Denver Uluslararası Havalimanı’na dönüyor.

Obol’un misyonu, insanların ağı çalıştırma sorumluluğunu paylaşmalarını sağlamak ve bu sistemi güçlendirmektir. Dağıtılmış bir doğrulayıcı kümesinin parçasıysanız ve makineniz bir gece çalışmazsa, kümenizdeki diğer operatörler arkanızı kollayacaktır. Başka bir zaman bir haftalığına tatile gittiklerinde ve düğümleri senkronize olmadığında onların yerine geçeceksiniz. Düğümleri çalıştırma sorumluluğunu paylaşabilirsek, yeni bir merkeziyetsizlik sınırı açabiliriz.

Tekil doğrulayıcıların yedeği olabilir. Staking firmaları riski ve ödülü paylaşabilir. DeFi protokolleri, stake edilmiş Ether kullanımlarını çeşitlendirebilir. Büyük kurumlar bulut sağlayıcı riskinden korunabilir. Hata toleranslı, dağıtılmış doğrulayıcı teknolojisi oluşturmanın herkese faydası vardır.

Staking Sorunu

Peki, yüksek uygunluğa sahip doğrulayıcılar stake odaklı Oisín’e nasıl yardımcı olur?

İşte benim görüşüm:

Şu anda doğrulayıcınızı sizin için çalıştıran kişi/ekip üzerine büyük bir bahis oynuyorsunuz. Her şeyi doğru yaparlarsa size yılda yüzde birkaç faiz kazandırıyorlar, her şeyi yanlış yaparlarsa hepsini kaybediyorlar.

Merkeziyetsiz stake etme sektörü henüz çok yeni ve topluluk için güvene gereksinimi en aza indirilmiş stake etme yolunun en iyi nasıl yapılacağını henüz çözemedik. Lido gibi projeler riski herkes için bir havuzda toplarken, RocketPool gibi projeler ise riski bireysel havuzlara ayırıyor. Biri girişleri insanlar ve oylarla sağlarken, diğeri girişleri tokenlar ve kilitlerle sağlıyor.

Benim inancım, doğrulayıcı işlemindeki tek hata noktasını ortadan kaldırabilirsek, daha küçük düğüm operatörlerine daha fazla güvenebiliriz. Bir DAO’nun hazinesinin Ether’ini stake etmesi için tek bir üyeye güvenmeyeceğine inanıyorum, ancak bir DAO, ortak hesap verebileceği gibi doğrulayıcıları çalıştırmak için bir grup üyeye de güvenebilir.

Siz ve arkadaşlarınız tek başınıza 32 Ether’e sahip olmayabilirsiniz, ancak birlikte bir grup oluşturarak bir doğrulayıcıda bölünebilir ve hepiniz ödülü paylaşabilirsiniz.

Bir kurum, müşterilerinin Ether’lerini stake etmek için tek bir operatöre güvenmeyebilir, ancak birlikte çalışan bir grup operatöre güvenebilirler.

Eğer riski paylaşabiliyorsak, hisseyi de paylaşabiliriz. Staking sorununu çözmek istiyorsak, Ethereum staking’ini birlikte çalışan insan grupları için güvenli ve karlı hale getirmemiz gerekir.

Sonuçta bu bir koordinasyon teknolojisi.

2018'de Proof of Stake’in Proof of Work kadar merkeziyetsiz olamayacağından korkuyordum. 2022'de Obol Labs ile bu konuda bir şeyler yapıyorum.

2018 yılında Ethereum’un proof of stake çözümünün merkezileşme riski üzerine ilk makalemi yazmıştım. O zamanlar bu yazının bir üçlemeye dönüşeceğini tahmin etmemiştim.

“The Staking Problem” başlıklı yazımın önermesi şuydu; önerilen minimum 1.500 Etherlik stake ve %100 kesinti cezalarıyla, yalnızca uzmanlaşmış Staking as a Service şirketlerinin Ethereum doğrulayıcılarını çalıştırma becerisine sahip olacağını ve er ya da geç bu merkezileşen ve küçülen grubun Ethereum’un tarafsızlığından ödün vermeye başlayacağını düşünmüştüm.

Neredeyse iki yıl sonra, 2020 yazında, Eth2'nin mimarisi çok daha iyi tanımlanmış ve kriptografik atılımlar minimum hisseyi 32 Ethere kadar düşürmüştü. Pandemiden kısa bir süre önce serbest çalışmaya başlamıştım ve boş blog sitemi doldurmak için “The Staking Problem (revisited)” adlı bir devam yazısı yazdım.

O sırada ilk müşterimi yeni bulmuştum. Bir yılı aşkın bir süre boyunca Blockdaemon’ın Ethereum 2 çabalarına liderlik etme zevkini tattım ve burada bugüne kadar dünyanın en büyük Ethereum stake dağıtımlarından birini inşa ettik. Ancak bu çaba sırasında, daha önce uyardığım tehlikeye açık duruma istemeden de olsa yol açmadığımızdan emin olmak istiyordum.

Beacon zinciri lansmanından sonra, staking’i daha da merkeziyetsizleştirmek için yazılım geliştirmeye başladım ve bunu tek başıma başarmak için iş dünyası hakkında yeterince bilgi sahibi olmadığımı hemen fark ettim. Ethereum’un merkeziyetsizleştirilmesinin ve protokolleştirilmesinin ekonomisi üzerinde çalışan Collin Myers ile yeniden görüştüm ve birlikte Obol Labs’ı kurduk. Obol Labs, halka açık blok zinciri ağları için PoS altyapısına odaklanan bir araştırma ve yazılım geliştirme ekibidir. Çekirdek ekip şu anda çoklu operatör doğrulaması yoluyla güvene ihtiyacin en aza indirildiği stake’i teşvik eden bir protokol olan Obol Network’ü inşa ediyor. Ağ, her bir doğrulayıcı istemcinin Dağıtılmış Doğrulayıcı Teknolojisi kullanarak temsil ettiği hata noktalarını ortadan kaldırarak Ethereum’un esnekliğini ve merkeziyetsizliğini artırmayı amaçlamaktadır.

Staking sorununu ele alacağız.

Hata Toleranslı Staking

Şu anda, bir doğrulayıcı için güvenli bir şekilde yedekleme sistemi çalıştırmak oldukça zor. Bu büyük ihtimalle çalışmayacak ve doğrulayıcılarınız kesilecek. Boşuna denemeyin. Genellikle olan şey, er ya da geç hem birincil doğrulayıcınızın hem de yedeğinizin aynı anda çevrimiçi olması ve bir şeyi çift imzalamasıdır. Bu, tek bir doğrulayıcı anahtarınızın her iki yerde de çalıştığı ve belirli bir görev için ağın farklı bölümlerine farklı şeyler söyleyen iki mesajı imzaladığı anlamına gelir. Ağ bunu fikir birliğine varma kabiliyetine bir saldırı olarak yorumlar ve bunun için sizi ciddi şekilde cezalandırır.

Aynı özel anahtarı paylaşan ve farklı zamanlarda çalışması amaçlanan iki bağımsız doğrulayıcı sisteme sahip olma modeline Aktif/Pasif yedeklilik denir.

Staking alanında şimdiye kadar verilen en iyi öneri “sadece yedekleme yapmayın, kesintiler önemli değildir” olmuştur. Bu, bir günü trilyonlarca dolarla ölçülecek kadar büyük bir pazar için yeterli bir çözüm değildir. Hataya dayanıklı bir staking sistemine sahip olmamak, her ölçekteki staking operatörü için risk yaratır. Eğer tek başına çalışan bir düğüm operatörüyseniz, 7/24/365 nöbetçi olmanız beklenemez; öte yandan büyük operatörlerin, doğrulayıcı yük devretme süreçleri otomatik değil de manuel ise, kaç nöbetçi mühendise ihtiyaç duyacaklarına karar vermek zorundadır. Bir vardiya sırasında herhangi bir makine kapanırsa önemli değil, ancak 100 düğüm kapanırsa; bir mühendis, hiçbiri tekrar çalışmaya başlamadan ve bir kesintiye neden olmadan hepsini güvenli ve hızlı bir şekilde öncelik belirleyip ve yük devredebilir mi?

Burada doğru olmayan bir şeyler var.

Bundan daha iyisini yapabiliriz. Doğrulayıcı düğümlerdeki teknik arıza noktalarını ortadan kaldırarak, ağ doğrulama ve stake etme modellerinde bir sonraki evrimi mümkün kılacak yeni bir tasarım alanı açabileceğimize inanıyoruz.

İşbirlikçi Staking

Dağıtılmış doğrulayıcıları birlikte çalıştıran dört farklı operatör

Obol’da, Dağıtılmış Doğrulayıcı Teknolojisi adı verilen bir altyapı ilkelini araştırıyor ve geliştiriyoruz. DVT, aynı anda birden fazla makinede ve istemcide çalışan ancak ağa tek bir doğrulayıcı gibi davranan yeni bir doğrulayıcı türü sağlar. Bu, makinelerin bir alt kümesi arızalansa bile doğrulayıcınızın çevrimiçi kalmasına olanak tanır, buna Aktif/Aktif hata toleransı denir. Bunu bir uçaktaki motorlar gibi düşünün, uçağı uçurmak için hepsi birlikte çalışır, ancak biri arızalanırsa uçak mahvolmaz.

United Airlines’ın 231 yolcu ve 10 mürettebat taşıyan UA328 sefer sayılı uçağı, 20 Şubat 2021'de Denver, Colorado, ABD üzerinde Mayday alarmı verdikten sonra sancak motoru yanmış bir şekilde Denver Uluslararası Havalimanı’na dönüyor.

Obol’un misyonu, insanların ağı çalıştırma sorumluluğunu paylaşmalarını sağlamak ve bu sistemi güçlendirmektir. Dağıtılmış bir doğrulayıcı kümesinin parçasıysanız ve makineniz bir gece çalışmazsa, kümenizdeki diğer operatörler arkanızı kollayacaktır. Başka bir zaman bir haftalığına tatile gittiklerinde ve düğümleri senkronize olmadığında onların yerine geçeceksiniz. Düğümleri çalıştırma sorumluluğunu paylaşabilirsek, yeni bir merkeziyetsizlik sınırı açabiliriz.

Tekil doğrulayıcıların yedeği olabilir. Staking firmaları riski ve ödülü paylaşabilir. DeFi protokolleri, stake edilmiş Ether kullanımlarını çeşitlendirebilir. Büyük kurumlar bulut sağlayıcı riskinden korunabilir. Hata toleranslı, dağıtılmış doğrulayıcı teknolojisi oluşturmanın herkese faydası vardır.

Staking Sorunu

Peki, yüksek uygunluğa sahip doğrulayıcılar stake odaklı Oisín’e nasıl yardımcı olur?

İşte benim görüşüm:

Şu anda doğrulayıcınızı sizin için çalıştıran kişi/ekip üzerine büyük bir bahis oynuyorsunuz. Her şeyi doğru yaparlarsa size yılda yüzde birkaç faiz kazandırıyorlar, her şeyi yanlış yaparlarsa hepsini kaybediyorlar.

Merkeziyetsiz stake etme sektörü henüz çok yeni ve topluluk için güvene gereksinimi en aza indirilmiş stake etme yolunun en iyi nasıl yapılacağını henüz çözemedik. Lido gibi projeler riski herkes için bir havuzda toplarken, RocketPool gibi projeler ise riski bireysel havuzlara ayırıyor. Biri girişleri insanlar ve oylarla sağlarken, diğeri girişleri tokenlar ve kilitlerle sağlıyor.

Benim inancım, doğrulayıcı işlemindeki tek hata noktasını ortadan kaldırabilirsek, daha küçük düğüm operatörlerine daha fazla güvenebiliriz. Bir DAO’nun hazinesinin Ether’ini stake etmesi için tek bir üyeye güvenmeyeceğine inanıyorum, ancak bir DAO, ortak hesap verebileceği gibi doğrulayıcıları çalıştırmak için bir grup üyeye de güvenebilir.

Siz ve arkadaşlarınız tek başınıza 32 Ether’e sahip olmayabilirsiniz, ancak birlikte bir grup oluşturarak bir doğrulayıcıda bölünebilir ve hepiniz ödülü paylaşabilirsiniz.

Bir kurum, müşterilerinin Ether’lerini stake etmek için tek bir operatöre güvenmeyebilir, ancak birlikte çalışan bir grup operatöre güvenebilirler.

Eğer riski paylaşabiliyorsak, hisseyi de paylaşabiliriz. Staking sorununu çözmek istiyorsak, Ethereum staking’ini birlikte çalışan insan grupları için güvenli ve karlı hale getirmemiz gerekir.

Sonuçta bu bir koordinasyon teknolojisi.