Şifreleme ekonomisi sadece bir teknik devrim değil
Şifreleme ekonomisi, yalnızca basit bir teknoloji devriminden çok daha fazlasıdır. Birçok uzman ve meraklı, bu alana uyum sağlamakta zorlanıyor, bunun başlıca nedeni döngülerin çok belirgin olması ve dalgalanmaların son derece şiddetli olmasıdır. Boğa piyasasında, sıradan insanların gerçekten on kat veya yüz kat kazanç elde etme şansı vardır, ancak ayı piyasasında kayıplar da bir o kadar ağırdır. Kim olursa olsun, bir kez şifreleme alanına girdiğinde, yatırım zorunlu bir ders haline gelecektir.
Mevcut ayı piyasasının başlıca nedeni, Fed'in faiz artışlarının sermaye sıkışıklığına yol açmasıdır. Merkeziyetsiz finans ( DeFi )'nin çılgın getirileri geçmişte kaldı, şu anda ana akım borç verme protokollerinin getirileri genel olarak %2'nin altındadır. Buna karşılık, gerçek dünyada ABD tahvillerinin getirisi %3'ü aşmıştır, bu da kurumsal yatırımcıların ve stabilcoin projelerinin sürekli olarak fonları kripto alanından devlet tahvili satın almak için transfer etmelerine neden olmaktadır.
1980'lerden bu yana, Federal Reserve toplamda 6 kez faiz artırımı döngüsü yaşadı, her biri 1-3 yıl sürdü ve ortalama faiz artırımı sayısı 10'u buldu. Faiz artırma hızı ne kadar yavaşsa, etkisi o kadar kötüleşiyor ve enflasyonu kontrol altına almak o kadar zorlaşıyor. Örneğin, 2015'ten 2018'e kadar olan 6. faiz artırımı süreci yavaş ilerledi, petrol başta olmak üzere hammadde fiyatları düşmek yerine arttı. Ekim'den sonra petrol fiyatları sürekli olarak güçlü kaldı, bu da Federal Reserve'in güçlü faiz artırımı politikasını sürdürmesini teşvik edebilir. Şüphesiz, 2023'te küresel borsa ve şifreleme piyasası, kurumsal fonların çekilme baskısıyla karşılaşmaya devam edecek, ayı piyasasının dip noktası henüz gelmedi, bu yüzden kolayca dipten alım yapmak doğru değil.
Sermaye piyasasının büyük döngüsünü bir kenara bırakırsak, şifreleme teknolojisi devrimi ve potansiyel olarak tetikleyebileceği Web3.0 dalgası açısından, Ethereum ve onun zkRollup ölçeklendirme çözümlerine, özellikle yeni nesil zkEVM tabanlı zkRollup çözümlerine kesinlikle olumlu bakıyoruz.
Ethereum kurucusu Vitalik Buterin, 30 Eylül'deki bir toplantıda şunları söyledi: "Birleşmeden sonra, Ethereum'un bir sonraki adımı ölçeklenebilirlik olacak." Ölçeklenebilirlik, birçok şifreleme para birimi ve blok zinciri uygulamasının ana akıma geçmesini engelleyen temel bir sorundur. Bilindiği üzere, zkRollups, yüzlerce işlemi tek bir yürütme görevine paketleyerek ve tek bir görevdeki tüm işlemleri doğrulayarak ölçeklenebilirlik sağlayabilir.
Vitalik'in büyük desteğiyle, Rollup, Ethereum'un ölçeklenebilirliği için ana akım bir çözüm haline geldi. Rollup çözümleri, teknik türlerine göre Optimistik Rollup ve zkRollup olarak ikiye ayrılabilir; ikisi arasındaki temel fark, işlem geçerliliğinin güvence altına alınma yöntemidir. Optimistik Rollup, dolandırıcılık kanıtı çözümünü kullanırken, zkRollup matematiksel sıfır bilgi kanıtı kullanır.
Optimistik Rollup ağında, Ethereum'a gönderilen verilerin dolandırıcılık içerdiğini kanıtlayabilen bir meydan okuma rolü vardır ve ardından ağ konsensüsü aracılığıyla geçersiz işlemleri geri alabilir. zkRollup ise işlem verilerini toplu olarak işlerken sıfır bilgi kanıtı teknolojisini kullanır, işlem verilerinin geçerliliğini sağlarken doğrudan Ethereum'a kanıt gönderir ve nihai durumun tutarlılığını hemen gerçekleştirir.
Optimistik Rollup'a kıyasla, zkRollup matematiksel doğrulama için sıfır bilgi kanıtı kullanır ve daha fazla teknik avantaja sahiptir. Bazı projeler bu alanda yıllardır öncü çalışmalar yapmaktadır.
Ancak, EVM sıfır bilgi kanıtlarını desteklemek için tasarlanmamıştır, bu da sıfır bilgi kanıtlarını destekleyen ve Solidity ile uyumlu sanal makineler inşa etmeyi son derece zor hale getirir. Bu sorunu çözmek için bazı projeler, sıfır bilgi kanıtı hesaplamalarını destekleyen ve Solidity ile uyumlu sanal makineler geliştiriyor, yani zkEVM. Normal sanal makinelerden farklı olarak, zkEVM, yürütmenin doğruluğunu kanıtlayabilir, yürütme sırasında kullanılan giriş ve çıkışların geçerliliği dahil.
zkEVM'nin Yeniden Tasarlanmasının Gerekliliği
Bazı projeler, bayt kodunu mikro işlem koduna derleyerek, STARK kullanarak durum geçişinin geçerliliğini kanıtlar ve SNARK ile kanıtın doğruluğunu doğruladıktan sonra Ethereum'a doğrulama için gönderir. Diğer projelerin çözümleri bir ölçüde benzer, ancak yalnızca Halo 2'yi sıfır bilgi kanıtı yöntemi olarak kullanır.
Ayrıca projeler, Solidity ile yazılan sözleşme kodunu Yul( adlı bir ara dile derliyor, bu da farklı sanal makinelerin bayt kodu) olarak derlenebilir, ardından Yul bayt kodu, özel olarak zkEVM için tasarlanmış, özel, devre uyumlu bayt kodu setine yeniden derlenir.
Bu sistemler üretime sokulacak kadar iyi mi? Daha iyi bir zkEVM tasarlamamız mı gerekiyor? zkRollup genellikle zincire toplama kanıtı yayınlanmadan önce tüm işlemleri kanıtlamak ve toplamak için sıfır bilgi protokolleri kullanır. Prensipte, bu, 1. katman zincirinin binlerce karmaşık işlemi kapsayan kısa "kanıtları" doğrulayabileceği anlamına gelir ve dolandırıcılık olasılığı yoktur. Ancak bazı zkEVM test ağları yayınlandıktan sonra, durumun pek de ideal olmadığı ortaya çıktı - kanıt oluşturma süreci çok yavaş, birkaç işlemi gerçekleştirmek on dakikalar alıyor.
Bazı projeler, zkEVM'nin yapısını optimize ederek zkEVM'yi yeniden tasarlamış ve onu mevcut tüm zkEVM'lerden daha verimli hale getirmiştir. Bunun başlıca nedeni, iyi tasarlanmış bir katmanlı yapı kullanarak, devrelerdeki gereksiz israf alanı ile çoklu polinomların boyutunu sıkıştırması ve nihayetinde kanıt oluşturmak için gereken süreyi kısaltmasıdır. Aynı zamanda, Sequencer bir Ethereum düğümü çalıştırarak kullanıcı işlemlerini alır, yeni durumlar üretir ve özel zkEVM dostu Trace oluşturur. Folder, kanıt oluşturucu olarak, sıralayıcıdan bu Trace'i alır ve zkEVM'de büyük bir tablo ( yerine bir dizi küçük tablo ) kullanarak işler; bu, gereksizliği büyük ölçüde azaltacak ve kanıt oluşturma hızını artıracaktır.
Daha Hızlı Sıfır Bilgi Kanıtlarının Gerekliliği
SNARK basit olmasına rağmen, STARK kadar verimli değildir. Ancak, STARK FOAKS ortaya çıktığında modası geçmiş görünüyordu. Hız zkEVM'nin darboğazı olduğundan, hesaplama verimliliğini karşılaştırmak önemli bir anlam taşımaktadır. STARK, SNARK'tan daha hızlı olan, ancak FOAKS'tan belirgin şekilde daha yavaş olan, yaklaşık doğrusal bir ispat süresi ve doğrulama süresi sağlamıştır. FOAKS, teorik aşırı uçlara ulaşarak, doğrusal ispat süresi ve alt doğrusal doğrulama süresi gerçekleştiren dünyadaki ilk ZKP'dir. FOAKS şeffaftır, herhangi bir güvenilir ayar gerektirmez, bu da en yüksek güvenlik seviyesini koruduğu anlamına gelir.
FOAKS, mevcut tüm ZKP çözümlerinde en hızlı olan, doğrusal zamanla kodlanabilir kodlara dayanmaktadır. Ayrıca, yinelemeli tekniklerin kullanılması sayesinde, FOAKS'in kanıt boyutu mevcut çözümlerin 1/7'sine düşmüştür, bu sayede son kullanıcılar sadece bir sent harcayarak Ethereum ikinci katman hizmetlerinden yararlanabilir.
Bağımsız Veri Erişim Katmanı Gerekliliği
Mevcut zkRollup, doğrulama işlemlerinin hesaplama yükünü azaltmaya odaklanmaktadır. Bu, karmaşık akıllı sözleşmelerin yürütülmesinin oldukça pahalı olduğu Ethereum için özellikle önemlidir. Ancak, Ethereum düğümleri hala orijinal işlem verilerini aynı anda depolamak zorundadır. Bu akıllıca değildir, çünkü Ethereum, depolama katmanı değil, uzlaşma katmanı olarak daha uygundur; bu, ölçeklenebilirlik darboğazlarının hala var olduğu anlamına gelir - düğümlerin bant genişliği ve depolama yetersiz olduğunda ( ve hesaplama yetersiz olduğunda ) etkileneceklerdir.
Bu nedenle, Ethereum'un bu ham işlem verilerini saklamak için bağımsız bir veri kullanılabilir katmanına ihtiyacı vardır; bu, zkRollup sunucuları veya Ethereum düğümleri arızalandığında tüm akıllı sözleşmenin donmasını önler. Daha da önemlisi, ikinci katmanın maliyetini birinci katmandan ayıracak ve zkEVM tabanlı zkRollup işlem maliyetlerini daha da yarıdan fazla azaltacaktır.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Ethereum zkRollup ve zkEVM: Ölçekleme Teknolojisinin Geleceği ve Zorlukları
Şifreleme ekonomisi sadece bir teknik devrim değil
Şifreleme ekonomisi, yalnızca basit bir teknoloji devriminden çok daha fazlasıdır. Birçok uzman ve meraklı, bu alana uyum sağlamakta zorlanıyor, bunun başlıca nedeni döngülerin çok belirgin olması ve dalgalanmaların son derece şiddetli olmasıdır. Boğa piyasasında, sıradan insanların gerçekten on kat veya yüz kat kazanç elde etme şansı vardır, ancak ayı piyasasında kayıplar da bir o kadar ağırdır. Kim olursa olsun, bir kez şifreleme alanına girdiğinde, yatırım zorunlu bir ders haline gelecektir.
Mevcut ayı piyasasının başlıca nedeni, Fed'in faiz artışlarının sermaye sıkışıklığına yol açmasıdır. Merkeziyetsiz finans ( DeFi )'nin çılgın getirileri geçmişte kaldı, şu anda ana akım borç verme protokollerinin getirileri genel olarak %2'nin altındadır. Buna karşılık, gerçek dünyada ABD tahvillerinin getirisi %3'ü aşmıştır, bu da kurumsal yatırımcıların ve stabilcoin projelerinin sürekli olarak fonları kripto alanından devlet tahvili satın almak için transfer etmelerine neden olmaktadır.
1980'lerden bu yana, Federal Reserve toplamda 6 kez faiz artırımı döngüsü yaşadı, her biri 1-3 yıl sürdü ve ortalama faiz artırımı sayısı 10'u buldu. Faiz artırma hızı ne kadar yavaşsa, etkisi o kadar kötüleşiyor ve enflasyonu kontrol altına almak o kadar zorlaşıyor. Örneğin, 2015'ten 2018'e kadar olan 6. faiz artırımı süreci yavaş ilerledi, petrol başta olmak üzere hammadde fiyatları düşmek yerine arttı. Ekim'den sonra petrol fiyatları sürekli olarak güçlü kaldı, bu da Federal Reserve'in güçlü faiz artırımı politikasını sürdürmesini teşvik edebilir. Şüphesiz, 2023'te küresel borsa ve şifreleme piyasası, kurumsal fonların çekilme baskısıyla karşılaşmaya devam edecek, ayı piyasasının dip noktası henüz gelmedi, bu yüzden kolayca dipten alım yapmak doğru değil.
Ethereum zkRollup genişletme planını destekliyorum
Sermaye piyasasının büyük döngüsünü bir kenara bırakırsak, şifreleme teknolojisi devrimi ve potansiyel olarak tetikleyebileceği Web3.0 dalgası açısından, Ethereum ve onun zkRollup ölçeklendirme çözümlerine, özellikle yeni nesil zkEVM tabanlı zkRollup çözümlerine kesinlikle olumlu bakıyoruz.
Ethereum kurucusu Vitalik Buterin, 30 Eylül'deki bir toplantıda şunları söyledi: "Birleşmeden sonra, Ethereum'un bir sonraki adımı ölçeklenebilirlik olacak." Ölçeklenebilirlik, birçok şifreleme para birimi ve blok zinciri uygulamasının ana akıma geçmesini engelleyen temel bir sorundur. Bilindiği üzere, zkRollups, yüzlerce işlemi tek bir yürütme görevine paketleyerek ve tek bir görevdeki tüm işlemleri doğrulayarak ölçeklenebilirlik sağlayabilir.
Vitalik'in büyük desteğiyle, Rollup, Ethereum'un ölçeklenebilirliği için ana akım bir çözüm haline geldi. Rollup çözümleri, teknik türlerine göre Optimistik Rollup ve zkRollup olarak ikiye ayrılabilir; ikisi arasındaki temel fark, işlem geçerliliğinin güvence altına alınma yöntemidir. Optimistik Rollup, dolandırıcılık kanıtı çözümünü kullanırken, zkRollup matematiksel sıfır bilgi kanıtı kullanır.
Optimistik Rollup ağında, Ethereum'a gönderilen verilerin dolandırıcılık içerdiğini kanıtlayabilen bir meydan okuma rolü vardır ve ardından ağ konsensüsü aracılığıyla geçersiz işlemleri geri alabilir. zkRollup ise işlem verilerini toplu olarak işlerken sıfır bilgi kanıtı teknolojisini kullanır, işlem verilerinin geçerliliğini sağlarken doğrudan Ethereum'a kanıt gönderir ve nihai durumun tutarlılığını hemen gerçekleştirir.
Optimistik Rollup'a kıyasla, zkRollup matematiksel doğrulama için sıfır bilgi kanıtı kullanır ve daha fazla teknik avantaja sahiptir. Bazı projeler bu alanda yıllardır öncü çalışmalar yapmaktadır.
Ancak, EVM sıfır bilgi kanıtlarını desteklemek için tasarlanmamıştır, bu da sıfır bilgi kanıtlarını destekleyen ve Solidity ile uyumlu sanal makineler inşa etmeyi son derece zor hale getirir. Bu sorunu çözmek için bazı projeler, sıfır bilgi kanıtı hesaplamalarını destekleyen ve Solidity ile uyumlu sanal makineler geliştiriyor, yani zkEVM. Normal sanal makinelerden farklı olarak, zkEVM, yürütmenin doğruluğunu kanıtlayabilir, yürütme sırasında kullanılan giriş ve çıkışların geçerliliği dahil.
zkEVM'nin Yeniden Tasarlanmasının Gerekliliği
Bazı projeler, bayt kodunu mikro işlem koduna derleyerek, STARK kullanarak durum geçişinin geçerliliğini kanıtlar ve SNARK ile kanıtın doğruluğunu doğruladıktan sonra Ethereum'a doğrulama için gönderir. Diğer projelerin çözümleri bir ölçüde benzer, ancak yalnızca Halo 2'yi sıfır bilgi kanıtı yöntemi olarak kullanır.
Ayrıca projeler, Solidity ile yazılan sözleşme kodunu Yul( adlı bir ara dile derliyor, bu da farklı sanal makinelerin bayt kodu) olarak derlenebilir, ardından Yul bayt kodu, özel olarak zkEVM için tasarlanmış, özel, devre uyumlu bayt kodu setine yeniden derlenir.
Bu sistemler üretime sokulacak kadar iyi mi? Daha iyi bir zkEVM tasarlamamız mı gerekiyor? zkRollup genellikle zincire toplama kanıtı yayınlanmadan önce tüm işlemleri kanıtlamak ve toplamak için sıfır bilgi protokolleri kullanır. Prensipte, bu, 1. katman zincirinin binlerce karmaşık işlemi kapsayan kısa "kanıtları" doğrulayabileceği anlamına gelir ve dolandırıcılık olasılığı yoktur. Ancak bazı zkEVM test ağları yayınlandıktan sonra, durumun pek de ideal olmadığı ortaya çıktı - kanıt oluşturma süreci çok yavaş, birkaç işlemi gerçekleştirmek on dakikalar alıyor.
Bazı projeler, zkEVM'nin yapısını optimize ederek zkEVM'yi yeniden tasarlamış ve onu mevcut tüm zkEVM'lerden daha verimli hale getirmiştir. Bunun başlıca nedeni, iyi tasarlanmış bir katmanlı yapı kullanarak, devrelerdeki gereksiz israf alanı ile çoklu polinomların boyutunu sıkıştırması ve nihayetinde kanıt oluşturmak için gereken süreyi kısaltmasıdır. Aynı zamanda, Sequencer bir Ethereum düğümü çalıştırarak kullanıcı işlemlerini alır, yeni durumlar üretir ve özel zkEVM dostu Trace oluşturur. Folder, kanıt oluşturucu olarak, sıralayıcıdan bu Trace'i alır ve zkEVM'de büyük bir tablo ( yerine bir dizi küçük tablo ) kullanarak işler; bu, gereksizliği büyük ölçüde azaltacak ve kanıt oluşturma hızını artıracaktır.
Daha Hızlı Sıfır Bilgi Kanıtlarının Gerekliliği
SNARK basit olmasına rağmen, STARK kadar verimli değildir. Ancak, STARK FOAKS ortaya çıktığında modası geçmiş görünüyordu. Hız zkEVM'nin darboğazı olduğundan, hesaplama verimliliğini karşılaştırmak önemli bir anlam taşımaktadır. STARK, SNARK'tan daha hızlı olan, ancak FOAKS'tan belirgin şekilde daha yavaş olan, yaklaşık doğrusal bir ispat süresi ve doğrulama süresi sağlamıştır. FOAKS, teorik aşırı uçlara ulaşarak, doğrusal ispat süresi ve alt doğrusal doğrulama süresi gerçekleştiren dünyadaki ilk ZKP'dir. FOAKS şeffaftır, herhangi bir güvenilir ayar gerektirmez, bu da en yüksek güvenlik seviyesini koruduğu anlamına gelir.
FOAKS, mevcut tüm ZKP çözümlerinde en hızlı olan, doğrusal zamanla kodlanabilir kodlara dayanmaktadır. Ayrıca, yinelemeli tekniklerin kullanılması sayesinde, FOAKS'in kanıt boyutu mevcut çözümlerin 1/7'sine düşmüştür, bu sayede son kullanıcılar sadece bir sent harcayarak Ethereum ikinci katman hizmetlerinden yararlanabilir.
Bağımsız Veri Erişim Katmanı Gerekliliği
Mevcut zkRollup, doğrulama işlemlerinin hesaplama yükünü azaltmaya odaklanmaktadır. Bu, karmaşık akıllı sözleşmelerin yürütülmesinin oldukça pahalı olduğu Ethereum için özellikle önemlidir. Ancak, Ethereum düğümleri hala orijinal işlem verilerini aynı anda depolamak zorundadır. Bu akıllıca değildir, çünkü Ethereum, depolama katmanı değil, uzlaşma katmanı olarak daha uygundur; bu, ölçeklenebilirlik darboğazlarının hala var olduğu anlamına gelir - düğümlerin bant genişliği ve depolama yetersiz olduğunda ( ve hesaplama yetersiz olduğunda ) etkileneceklerdir.
Bu nedenle, Ethereum'un bu ham işlem verilerini saklamak için bağımsız bir veri kullanılabilir katmanına ihtiyacı vardır; bu, zkRollup sunucuları veya Ethereum düğümleri arızalandığında tüm akıllı sözleşmenin donmasını önler. Daha da önemlisi, ikinci katmanın maliyetini birinci katmandan ayıracak ve zkEVM tabanlı zkRollup işlem maliyetlerini daha da yarıdan fazla azaltacaktır.