[ @alignedlayer 밋업 için bir kez inceledim. ] ZK'nın iyi olduğu konuşması artık herkes tarafından çok duyuluyor. Hesaplamalar of-line'da yapılıyor, sadece kanıt blockchain'e yükleniyor, Ethereum sadece o kanıtı doğrulamak zorunda, Sadece dinlerseniz çok temiz görünüyor. Ama sorun tam burada başlıyor. Kanıt oluşturmak da zor, kanıtı doğrulamak da pahalı, doğrulama maliyeti yüksek olduğu için sık sık yüklenemiyor, sık yüklenemediği için UX yavaşlıyor, Sonuç olarak “ZK kullanırsanız ölçeklenebilir” ifadesi doğru, ama bu ZK kanıtını kim ucuz ve hızlı doğrulayacak? sorusu kalıyor. Aligned, bu noktaya odaklanan bir projedir. Basitçe ifade edersek, Ethereum üzerinde ZK kanıtlarını daha ucuz ve hızlı doğrulamayı sağlayan bir ZK Doğrulama Katmanıdır. Resmi belgelerde Aligned’ı, doğrulanabilir interneti oluşturmak için dikey olarak entegre bir yığın olarak tanımlıyor. Kelime seçimi biraz grandiyoz görünüyor, ama açıklayacak olursak: ZK kanıt doğrulama katmanı oluşturuyor, kanıt birleştirme hizmeti geliştiriyor, RaaS ile ZK rollup dağıtımını kolaylaştırıyor, cüzdan-as-a-service, meta kanıtla, interoperabiliteyi de birleştirerek “Doğrulanabilir uygulamalar geliştirmek isteyen ekiplerin her seferinde sıfırdan çaba harcamasını engellemek” bu yönde bir yaklaşım. Kişisel olarak Aligned’ı değerlendirirken temel nokta, token’ın nasıl olduğu ya da airdrop’un nasıl olduğu değil, ZK uygulamaları arttıkça kanıt doğrulamanın darboğaz olacağının farkındalığıdır. Şu anda herkes zkVM, zkML, zkTLS, ZK rollup, ZK kimlik gibi terimleri çok kullanıyor. Ama çok kanıt üretirsen ne olur... Doğrulama maliyeti yüksek olduğu için blockchain’e yüklenemezse, sonuçta o kanıt sadece servis içinde dönen bir dosya haline gelir. Aligned, bunu Kanıt Doğrulama Katmanı ve Kanıt Birleştirme Hizmeti olmak üzere iki yöntemle çözmeye çalışıyor. Birincisi Kanıt Doğrulama Katmanı. Bu, EigenLayer restaking’i kullanarak Ethereum validator’larının bir kısmı, tam olarak operator’lar kanıtı doğrular ve BLS imzasıyla sonucu imzalar, 2/3’ten fazlası onay verirse, bu sonucu Ethereum’a yükler. Kullanıcılar CLI veya SDK ile kanıtı gönderir, batcher kanıtları toplar, operator’lar kanıtları doğrular, aggregator imzaları birleştirir ve Ethereum’a sonucu kaydeder. Sadece söylenirse karmaşık görünüyor, ama özü şu: EVM üzerinde pahalı gas harcayarak kanıt doğrulamayın, native ortamda hızlıca doğrulayın ve Ethereum’a sadece sonucu yükleyin. Belgelere göre Aligned, Ethereum’un zorlanabileceği kanıt sistemlerini de destekleyebilecek ve doğrulama maliyetini kanıt sistemine daha az bağımlı hale getirmeyi hedefliyor. Groth16, Plonk, SP1, Risc0, Circom gibi doğrulayıcıları destekliyor, Mina ile ilgili doğrulayıcıları testnet’te destekliyor. Jolt, Nexus gibi sistemler de rota planında yer alıyor. Bu önemli çünkü geliştiriciler kanıt sistemini seçerken “Bu Ethereum’da doğrulanabilir mi?” “Gas maliyetini karşılayabilir miyim?” “Precompile yoksa ne yapacağım?” gibi endişelerden kurtulabiliyor. Aslında her kanıt sistemi için blockchain üzerindeki doğrulama maliyeti farklıydı, bazıları çok büyük olduğu için Ethereum üzerinde doğrulama bile gerçekçi değildi, yeni bir proving sistemi eklemek için gas optimize edilmiş akıllı sözleşme ya da precompile beklemek zorundaydık, Aligned ise bunu daha esnek hale getirmeyi hedefliyor. İkincisi Kanıt Birleştirme Hizmeti. Bu, birçok kanıtı tek bir recursive kanıtla sıkıştırarak sonuçta sadece bir kanıtın Ethereum’da doğrulanmasını sağlayan bir yöntemdir. Kanıt Doğrulama Katmanı hızlı ve ucuz doğrulama yönünde ise, Birleştirme Hizmeti biraz daha yavaş olsa da Ethereum L1’de doğrudan doğrulanabilen güçlü finalite yönünde. Bu yüzden belgelerde duruma göre seçim yapmanız öneriliyor. Hızlı UX, düşük gecikme süresi, çok sayıda kanıt hacmi önemliyse Verification Layer. Tam L1 finalitesi, en güçlü güvenlik, birden fazla kanıtı tek bir noktada birleştirip son kontrol noktası oluşturmak istiyorsanız Aggregation Service. İkisini aynı anda kullanmak da mümkündür. Örneğin: Kullanıcı UX’si Verification Layer ile hızlıca işlenirken, periyodik olarak Aggregation Service ile L1 final checkpoint’i oluşturulur. Bu yapı özellikle çok sayıda alanda iyi uyum sağlar. ZK rollup sürekli kanıt üretmelidir, bridge kaynak zincir durum kanıtını doğrulamalıdır, zkTLS banka bakiyesi veya KYC gibi web2 verilerini raw veri olmadan kanıtlamalıdır, zkML AI çıkarımının doğru şekilde çalıştığını kanıtlamalıdır, kimlik protokolleri yaş veya uygunluk koşullarını kişisel veriler olmadan doğrulamalıdır, onchain oyunlar skor veya anti-cheat mantığını sürekli kanıtlamalıdır. Hepsi kanıta ihtiyaç duyar. Ama kanıt sayısı arttıkça doğrulama maliyeti sorun olur. Aligned, burada “kanıt üretme çağında, kanıt doğrulama altyapısı da gerekli” diyen bir projedir. Bu düşünüldüğünde oldukça önemli bir nokta. Şu an pazar ZK’yı çok şık bir teknoloji gibi anlatıyor, ancak gerçek uygulamalar açısından sonunda maliyet ve UX her şeydir. Bir kanıtı doğrulamak için çok para harcanıyorsa kullanılmaz, doğrulama çok uzun sürüyorsa kullanıcı kullanmaz,Bir geliştiricinin verifier ekmesi birkaç ay sürerse, ürünün piyasaya sürülmesi gecikir. Sonuçta iyi bir teknoloji bile pahalı, yavaş ve karmaşıksa sadece araştırma belgelerinde kalır. Aligned, bunu ürünleştirmeye yönlendirmeye çalışıyor gibi görünüyor. RaaS da aynı bağlamda. Aligned belgesinde, RISC-V zkVM, Ethrex execution client, ZK Verification Layer’i birleştirerek bir tıkla ZK-rollup dağıtımı sunmayı amaçladıklarını açıklıyor. Özellikle based rollup’a vurgu yapıyor. Based rollup, ayrı bir merkezi sequencer’e bağımlı değil, Ethereum L1 proposer/builder yapısını sequencing için kullanıyor. Basitçe söylemek gerekirse, rollup da Ethereum’un block building altyapısını daha doğrudan kullanmayı hedefliyor. Bu başarırsa, likidite parçalanması, sequencer riski, sensör direnci, Ethereum composability gibi sorunları azaltabileceğine dair bir mantık var. Elbette bu, hâlâ tüm piyasa tarafından deneysel olarak incelenen bir alan; “kesinlikle işe yarayacak” gibi düşünmek yanlış olur, Aligned’ın gerçek müşterileri ve trafiği ne kadar çekebildiği kritik önem taşıyor. Ancak yönü açık. Aligned, bir L2 oluşturup biten bir projeye değil. Resmi FAQ’da da Aligned, Ethereum L2 değildir diyor. Tersine, ZK doğrulama, proof toplama, rollup dağıtımı, cüzdan, proving, interoperabiliteyi bir araya getiren Ethereum-native bir ZK altyapı yığınına daha yakın. Bu yüzden Aligned’ı şu soruyla değerlendirmek daha doğru: “Bu ne tür bir zincir?” değil, “ZK proof’ların arttığı gelecekte, kim bu doğrulamaları yapacak?” sorusuyla bakmak. ZK uygulamaları artmadıkça, Aligned gibi altyapılar tabii ki ilgi çekmez. Ancak rollup, bridge, zkTLS, AI proof, kimlik, oracle, gaming gibi alanların hepsi proof kullanmak istiyorsa, o zaman proof üretmekten ziyade, proof’ları ucuz ve hızlı şekilde doğrulayan taraf daha önemli bir darboğaz haline gelebilir. Sonuçta Aligned, “Proof’i oluşturduk, şimdi bunu nerede doğrulayacağız?” sorusuna cevap vermek isteyen bir projedir. Piyasa iyi olursa herkes ZK, AI, Ethereum alignment, restaking, based rollup gibi kelimeleri ekleyip gülüp geçer, ama gerçekten hayatta kalacak olanlar, güzel kelimeleri çok ekleyenler değil, geliştiricinin para tasarrufu yapmasını, kullanıcının daha az beklemesini, uygulamaların daha sık proof yüklemesini sağlayanlardır. Aligned en azından bu sorunu gören bir projedir. Sadece “ZK altyapısıdır” diyerek geçip atmak yerine, daha fazla ilgi çekilen darboğazları çok net hedefliyor.
