2025 Kasım'da Arjantin'de düzenlenen Devconnect etkinliğinde, Ethereum Vakfı araştırmacısı Justin Drake, blok doğrulama süreci için farklı bir yaklaşımı tanıttı. Drake, doğrulama düğümü olarak zkLighthouse istemcisini kullanarak, Brevis'in Pico zkVM gibi protokollerden gelen sıfır-bilgi kanıtlarına dayanarak blok doğrulaması gerçekleştirdi. Bu, Ethereum'un gelecekteki ölçeklenebilirlik yönünü göstermesi muhtemeldir. Bu durum, bir şeyi kanıtlar: Bir blok zinciri, tüm hesaplamaları tekrar tekrar yapmak zorunda değildir; dışarıdan üretilmiş kanıtları doğrulamak yeterlidir.
Brevis nedir: Protokol ve Ethereum çekirdeği tarafından kullanılan doğrulanabilir bir hesaplama katmanıdır.
Brevis, sadece belirli bir uygulama olmaktan ziyade, doğrulanabilir bir hesaplama katmanı olarak tanımlanmaktadır. Sonsuz Hesaplama Katmanı (Infinite Compute Layer) olarak, karmaşık hesaplamaların zincir dışı yürütülmesine ve sonuçların sıfır bilgi kanıtıyla zincir içine geri gönderilmesine olanak tanır. Bu sonuç, akıllı bir sözleşmenin çok düşük maliyetle doğrulamasını sağlar. Bu durumun önemi, Ethereum'un varsayılan güvenlik modelinin temelde tüm ağın hesaplamasına dayanmasıdır. Her doğrulama düğümü, yeni bir blok alındığında, genellikle bloktaki işlemleri yeniden çalıştırarak bu bloğun yürütme sonucunun gerçekten doğru olduğundan emin olmak zorundadır. Doğrulama sağlansa da, bu aynı zamanda işlem hacmi arttıkça işlem gücü ve kaynak tüketiminin sürekli artacağı anlamına gelir. Brevis, ağdaki düğümlerin tekrar tekrar yapmak zorunda kaldığı bu yoğun hesaplamaları, bir kez hesaplanıp tüm ağ tarafından doğrulanan kanıtlara dönüştürerek, hesaplamayı zincir dışı yapar ve sadece çok küçük bir kanıtın doğrulanmasını sağlar.
Çoğunlukla yalnızca gizlilik veya ölçeklenebilirlik odaklı olan diğer ZK uygulamalarından farklı olarak, Brevis, Web3 sektörünün yapısal problemlerini çözmeye yönelik somut bir çözüm sunar. Zincir üzerindeki hesaplamalar giderek daha karmaşık ve daha sık hale geldikçe, sistemin güvenilirliğini korumak için her düğümün hesaplamaları tekrar tekrar yapmasına gerçekten mi ihtiyaç vardır? Brevis'in yaklaşımı, hesaplamaları zincirden çıkararak, bunları ZK sanal makinesi (zkVM) tarafından yürütmesini ve kanıtlar oluşturmasını sağlamaktır. Zincir üzerindeki sözleşmeler yalnızca bu kanıtları doğrular. Bu sayede sözleşmeler, ekstra güven varsayımları olmadan geçmiş verileri, zincirler arası durumları veya karmaşık algoritma sonuçlarını güvenilir şekilde kullanabilir. Bu hedefe ulaşmak için ZK Data Coprocessor, Pico zkVM ve ProverNet, şu anda Brevis'in üç temel teknolojik bileşenini oluşturur.
Akıllı sözleşmelerin sınırlarını zorlaması: ZK Data Coprocessor ile gelen süper güçler
Brevis'in ilk teknik ilerlemesi ZK Veri İşleme Birimidir. Bu, akıllı sözleşmelerin herhangi bir zincir üzerindeki geçmiş verileri sorgulamasına, hesaplamaları zincir dışı yapmasına ve hesaplama sonuçlarını sözleşmeye güvenilir bir girdi olarak sunmak için sıfır bilgi kanıtları oluşturmasına olanak tanır. ZK Veri İşleme Birimi, sözleşmelerin doğrulayabileceği sıfır bilgi kanıtları oluşturmak için zincir üzerindeki geçmiş işlem hacmini veya kullanıcı davranışlarını sorgulayabilir ve hesaplayabilir. Bu, yalnızca mevcut bloğa erişebilen sözleşmelerin, uzun zaman penceresi verilerini ve zincirler arası durumları da kullanmasına olanak tanır.
2023'te Brevis, Coprocessor prototipini yaptıktan sonra sürekli geliştirmeye devam etti ve 2025 Ocak ayında v2'yi çıkartarak ana ağına geçiş yaptı. v2'de önemli değişiklikler, ispat mekanizmalarının isimlerine takılmadan soyut olarak üç temel noktada özetlenebilir: Daha hızlı (aynı görevi daha az kaynak ve daha kısa sürede tamamlamak), Daha genel (daha fazla veri türü ve hesaplama ihtiyacını kapsayabilmek), Daha kullanışlı (karmaşıklığı gizleyerek süreçleri basitleştirmek).
2025'e kadar Brevis'in teknoloji yol haritasına geri baktığımızda aslında tek bir ana hattı görürüz. İlk olarak kanıt sisteminin performans sınırlarını belirlemek, ardından zincir dışı hesaplamayı, zincir üzerinde doğrulamayı kullanıma hazır bir yardımcı işlemci (coprocessor) haline getirmek ve mühendislik iterasyonlarını sürdürülebilir hale getirmek. Daha sonra daha sistematik bir çalışma şekli üzerinde de çalışacağız.Daha da önemlisi, takımın özü ortaya kondu: hem kriptografiyi hem de büyük ölçekli sistem mühendisliğini anlayan bir ekibiz. Başarılarımız kağıt üzerindeki çıkarımlara dayanmaz. Proje başlangıcında endüstriyel zorlukları belirledik ve teknolojinin büyük ölçekli benimsenmesine odaklandık.
İspat Gücünün Sistem Katmanına Girmesi: Pico zkVM ve ProverNet
2025'te Brevis, üçlü anahtarın diğer iki parçasını da tamamladı. Bunlardan biri, daha genel ve üretim odaklı kanıt yürütme motoru olan Pico zkVM'dir. Diğeri ise kanıt oluşturma yeteneğini açık bir şekilde sunan ProverNet'tir. Bu sayede kanıtların sadece ispat edilebilir olmasının ötesine geçilerek, sürekli ve ölçeklenebilir bir şekilde sağlanabilir hale gelmesi hedeflenmiştir.
Pico zkVM, Brevis'in genel kanıtlayıcı motoru olarak düşünülebilir. Sıfır bilgi kanıtlarını özel devrelere ve el ile uyarlamalara göre daha yazılım mühendisliği benzeri bir yapıya taşıyor. Geliştiriciler, tanıdık geliştirme yöntemleriyle mantık yazarken, alt yapı bunu doğrulanabilir kanıt sonuçlarına dönüştürüyor. Daha da önemlisi, Pico, başından beri gerçek iş yüklerinin iş hacmi ve maliyetlerini hedefliyor. Aynı temel testlerde Brevis'in sunduğu karşılaştırmalara göre, Pico, ana akım zkVM'ler arasında belirgin bir performans avantajına sahip olmanın yanında, belirli türdeki hesaplamaları daha da verimli hale getirmek için takılabilir bileşenler ve yardımcı işlemciler aracılığıyla daha da özelleştirilebiliyor.
Haziran 2025'te Brevis, Pico-GPU'yu piyasaya sürdü ve kanıt oluşturma hızını sadece protokol değil, aynı zamanda tüm endüstrinin kritik bir dönüm noktasına taşıyan gerçek zamanlı hale getirdi.Pico-GPU, kanıtların üretimi sürecinin temel kısmını sistematik bir şekilde GPU paralel işlemine taşıyor. Resmi olarak verilen artış oranı önceki çözümlere göre kaliteli bir sıçramayla 10-20 kat arasında.
Ekim ayında yayınlanan Pico Prism, bu yönde çok sezgisel bir eşiğe ulaştı. 64 tane tüketici seviyesi GPU kullanılarak, Ethereum'un 45M gaz bloğunda, %99,6 ispatı 12 saniyenin içinde, %96,8 ispatı 10 saniyenin içinde tamamlanmış ve ortalama ispat süresi yaklaşık 6,9 saniye olarak belirlenmiştir. Bu, Ethereum Vakfı'nın hedefine çok yakındır.Gerçek zamanlı kanıt üretim hızı, ilk defa neredeyse Ethereum blok oluşturma hızına yetişti ve rekabet eden sistemlere göre daha az kaynak kullanıldı.
Bu gelişmeler, Ethereum cüruhdan gelen topluluk tarafından da doğrudan cevaplandı. Vitalik, doğrudan bir tweetinde Pico Prism'in ZK-EVM kanıtlama yarışına girmesinin, kanıt hızı ve çeşitliliği açısından önemli bir adım olduğunu belirtti. Justin Drake, daha önceki bir tweetinde Pico Prism'in gerçek zamanlı kanıtlar konusundaki ilerlemesini oldukça net bir dille "dikkat çekici" olarak değerlendirdi. Bilmeniz gereken şey, bu yılın mayıs ayında SP1 Hypercube'nin yaklaşık %94 L1 bloğunu 12 saniyede kanıtlaması için 160 tane RTX 4090 kartı gerektiği. Bu gerçek zamanlı kanıt hızındaki büyük fark, Brevis'in Pico Prism çözümünü en dikkat çeken çözüm haline getirdi.
Genel zkVM ve gerçek zamanlı kanıt teknolojilerini başarıyla geliştirdikten sonra Brevis, kanıt arzı sorununu çözmeye başladı. Kasım 2025'te Brevis, kanıt kapasitesini pazarlamaya yönelik ProverNet vizyonunu açıkladı; bu sayede herhangi bir uygulamanın kanıt görevlerini sunup, pazarlık mekanizması ile piyasadaki kanıtlayıcı düğümlere eşleştirebileceği bir sistem ortaya kondu. Aralık ayında yayınlanan mainnet Beta sürümü, bu fikri kullanıma uygun bir ürün haline getirdi. Pazarlık mekanizması devam ederken, doğrudan kanıt istekleri gönderilebiliyor, kanıtlayıcı düğümler kaydolup fiyat teklifleriyle iş alabiliyor. Uygulamalar kanıt altyapısını artık kendi başına kurmaya gerek kalmadan doğrudan kullanabiliyor.
Brevis, üçlü koordinatör aracılığıyla kanıtlayıcı yetenekleri bir araçtan altyapıya dönüştürüyor. Ölçeklenebilir kanıt motoru ve açık kanıt sağlayıcı ağı sayesinde uygulamalar doğrulanabilir hesaplamalara ihtiyaç duyduklarında erişebiliyor. Önemi sadece Ethereum'da değil; bu zincir dışı hesaplama ve zincir üzerinde doğrulama modeli, tüm Web3'e ve yapay zeka ve oyunlar gibi diğer sektörlere sızacak.
Protokol yalan söylemez: Kullanmadığınız sürece bir şey ifade etmez
Brevis'in teknik değeri, sonunda gerçek uygulamalarda kendini göstermektedir. Bu, tanıtım materyallerinde gösterilen bir kavram değil, günlük işleyişe entegre edilen bir protokoldür. Veriler nasıl alınır, ölçümler nasıl hesaplanır, ödüller nasıl verilir, oranlar nasıl ayarlanır? Bu tür işler ya yapılamıyordu ya da merkeziyete dayalı betiklerle zorla çözülmüştü. Artık daha protokol odaklı bir yol ortaya çıkmaya başlamıştır. Bu süreçte Brevis, kullanıcılar için 280 milyon'dan fazla kanıt oluşturdu, 230 milyon dolarlık ödül dağıttı ve 2.5 milyar dolarlık TVL büyümesini güvenli bir şekilde gerçekleştirdi.
Brevis’i anlamak için en kolay girdi noktası, kullanıcıların en iyi bildiği işlemle başlamaktır. Brevis, veri gizliliği ve doğruluğu sağlarken, DEX’lerin CEX benzeri işlevleri olmasına olanak tanıyarak DEX kullanıcılarının işlem deneyimini iyileştirebilir. PancakeSwap Infinity, harici fonksiyonlar aracılığıyla işlem ücretlerinin farklılaştırılmasına olanak tanıyarak, token sahiplenme ve işlem hacmi gibi geçmiş davranışların bu anki işlem ücretine etkisini sağlar. Ancak bu tür kararlar geçmiş verilerin toplanmasına dayanır. Zincir üzerinde saklamak çok pahalı iken, zincir dışında saklamak ise güven sorunlarına yol açar. Brevis’in yaptığı ise geçmiş davranışları zincir dışında hesaplamak ve ardından kanıtlarla bu verileri zincir üzerine geri döndürmektir. Böylece, farklılaştırılmış işlem ücretleri, sözleşmelere yazılabilir ve CEX’lerde olduğu gibi arka uç betiklerine yazılmasına gerek kalmaz.
PancakeSwap, daha çok merkeziyete benzer kişiselleştirilmiş bir deneyim sunarken, Usual ise daha uzun vadeli büyüme mekanizmalarını gösteriyor. Teşvikler, tek seferlik airdrop'tan sürekli çalışan bir CPI'ye dönüyor. Ödüller, uzun vadeli olarak token sahiplenme ve etkileşim gibi davranışlarla bağlanıyor. Brevis, bu göstergeleri doğrulanabilir girdilere dönüştürüyor, böylece ödüllerin dağıtımı otomatikleşiyor ve denetlenebilir hale geliyor. Topluluk, bir operasyon tablosuna ya da merkezi bir dağıtıcıya güvenmek zorunda kalmıyor. Incentra aracılığıyla ödüllerin verilmesi standartlaştırılmış bir yetkinliğe dönüştürüldü. Protokol, LP, kredi verme ya da token sahiplenme ödüllerini vermek istiyorsa, temel olarak göstergeleri zincir dışı hesaplamak ve kanıta göre zincir üzerinde işlem yapmaktır. Arbitrum üzerindeki Euler etkinliği bunun bir örneğidir: Ödüller, insan kaynaklı istatistikler ya da çok imzalı dağıtım yerine, kurallar ve kanıtlar tarafından desteklenen sürekli bir dağıtım yoluyla veriliyor.
Eko sisteminin ölçeğine çıkarıldığında Linea'nın Ignition Programı daha iyi bir örnek olur. Burada zorluk, neyin verileceğinde değil, nasıl verileceğinde yatmaktadır. Brevis, büyük ölçekli teşvik hesaplamalarını zincir dışı yapar ve güvenilirliği zincir üzerinde doğrulamaya döndürerek, teşvikleri merkeziyetsiz bir operasyon hareketinden, tekrar kullanılabilir bir sistem kapasitesine dönüştürür. Aynı şekilde sisteme dayalı olan Uniswap v4'teki Routing Rebate Programı da bu duruma örnek olabilir. Yönlendirme olup olmadığı, gaz tüketimi nasıl hesaplanacak, iade edilecek miktar nasıl belirlenecek gibi tüm bu işlemler veri - hesaplama - ödeme zinciridir. Burada Brevis, zincir dışı hesaplamaları ve kanıt üretimini üstlenerek, iade sistemini kural + doğrulama temelli hale getirir ve bir tarafla güvenmeye gerek kalmaz.
Bu örnekleri birlikte incelemek, Brevis'in veri toplama, ölçümlerini hesaplama ve kanıt oluşturma yeteneklerinin, protokollerin merkeziyetsizlikten ödün vermeden, daha önce sadece merkezi arka uçlarla gerçekleştirilebilecek olan mantıkları zincire geri yazmasına olanak tanıdığını gösterir. Bu sayede kripto endüstrisindeki protokollerin yapabileceği şeyler artar ve tasarım alanları yeniden açılır.
Uzun vadeli teknolojiyi kimler destekliyor?
Brevis’in çekirdek ekibi, önde gelen üniversitelerden gelen araştırmacılar ve deneyimli sistem mühendislerinden oluşmaktadır. Ekibin en belirgin özelliği, hem kanıt sistemleri ve algoritmalar gibi konularda uzun vadeli zorluklara çözüm üretme kapasitesine sahip olmak hem de karmaşık teknolojileri gerçek üretim ortamına entegre edebilme ve performans, kararlılık ve maliyet gibi kriterleri ölçeklenebilir bir seviyeye getirebilmektir. Daha da önemlisi, sadece teknik konularda değil, şifreleme sektörünün çalışma biçimlerini de iyi anlayan bir ekibiz: Protokol tarafının gerçek ihtiyaçlarını anlayabiliyor, ekosistem iş birliklerinin ilerleme hızını kavrayabiliyor, aynı zamanda sermaye ve topluluk düzeyinde uzun vadeli birikimlerimiz sayesinde mühendislik yollarını sürdürülebilir iş birlikleri ve geliştirici enerjisi haline getirebiliyoruz.
Bu durum, Brevis'e hem sermaye hem de topluluk tarafından uzun vadeli destek verildiğinden anlaşılır. Brevis, 2024 Kasım ayında Polychain ve Yzi Labs gibi önde gelen kurumlar tarafından desteklenen tohum sermayesi turunu tamamladı. Bu, Brevis'in zkVM, kanıt ağı ve ürünleştirmeyi sürdürülebilir hale getirmek için finansal destek sağladı. Aynı zamanda, Brevis'in topluluğu 2025 yılında önemli ölçüde büyüdü. Kanıt Alanları (Proving Grounds), rol sistemi ve görev mekanizmaları, geliştiricilerin ve kullanıcıların sürekli olarak topluluğa katılmalarını sağladı. Ek olarak, Vitalik'in açıkça onaylaması ve Ethereum Vakfı'ndan Justin Drake'in ilgili gelişmeleri deneyimleme ve tartışmalarla ilgilenmesi, Brevis'in altyapı olarak genişlemeye devam etmesini sağlayan dış destek ve güven sermayesini oluşturdu.
Ethereum'dan Daha Geniş Dünyaya
Ethereum, uzun vadeli yapısal bir ikilemde sıkışık durumda: ya tüm düğümler tarafından tekrar hesaplanan güvenli ve güvenilmez olmayan bir sistem tercih edilir, ancak bu durumda işlem hacmi ve maliyetler, tüm ağın tekrar hesaplamasıyla sınırlanır; ya da hesaplamalar dışa kaydırılarak verimlilik artırılır, ancak bu durumda hesaplamayı yapan tarafe ekstra güven gerekir. Brevis, üçüncü bir yolda ilerlemeyi amaçlamaktadır: karmaşık hesaplamaları zincir dışı tamamlamak ve ardından kanıtları zincir üzerinde doğrulamak için güvenilirliği geri getirmek. Böylece sistem, tekrar hesaplamalardan doğrulama sonuçlarına dayalı bir iş bölümü modeline geçebilir. Bu nedenle değeri, belirli bir ürün noktasında değil, doğrulanabilir hesaplamaların tamamıyla zincir üzerinde entegre edilmesiyle sağlanan bir süreçte yatar.
Brevis, Ethereum'in ölçeklenebilirlik sorununu çözmek için tek çözüm olmasa da, doğrulanabilir hesaplamalar katmanının önemini göstermektedir. Hesaplamayı doğrulamadan ayırarak hem güvenlik ve merkezsizliği hem de zincir üzerindeki yürütme baskısını azaltarak sağlar. Daha da önemlisi, sonsuz hesaplama katmanının faydaları sadece Ethereum'da değil, tüm kripto endüstrisinde geçerlidir. Daha fazla zincir üzerindeki uygulamalar, güvenlikten ödün vermeden Web2'ye yakın karmaşıklık ve deneyime kavuşabilir. Daha geniş anlamda geleneksel dünyaya bakıldığında, önce hesaplanır sonra doğrulanır mantığıyla doğrulanabilir hesaplamalar, çok taraflı iş birliği için yeni bir yol sunar: çok taraflı tarafın sonuçları paylaşması gerekirken güveni paylaşamadığı durumlarda, kanıt yeni bir ortak dil olabilir. ProverNet gibi açık kanıt ağları olgunlaştıkça, Brevis'in inşa ettiği sadece bir zincirin kapasitesini artırmak olmayacak, bunun yerine ekosistemler ve endüstriler arasında çağrılabilen güvenilir bir hesaplama aracına dönüşecek.
İş ilanlarını öğrenmek için BlockBeats'te bir pozisyona tıklayın
律动 BlockBeats resmi topluluğuna hoş geldiniz:
Telegram abonelik grubu:https://t.me/theblockbeats
Telegram sohbet grubu:https://t.me/BlockBeats_App
Resmi Twitter hesabı:https://twitter.com/BlockBeatsAsia