Şu anda sektördeki temel zorluklardan biri, onun doğasında var olan hesaplama kapasitesi sınırlamasıdır. Merkeziyetsizlik ve güvenliği sağlamak için, tüm ağ düğümleri aynı hesaplamayı tekrarlamak zorundadır, bu da yüksek maliyet ve düşük verimlilikle sonuçlanır.

—————————————————————————

Bu çelişkiyi çözmek için, @brevis_zk kendisini sonsuz hesaplama katmanı olarak konumlandırıyor ve "ağa dışı hesaplama, ağa içi doğrulama" ile doğrulanabilir hesaplama yöntemi aracılığıyla hesaplama gücü sağlamayı amaçlıyor, aynı zamanda güvene ihtiyaç duymayan güvenliğini koruyor.

Brevis'in temeli "doğrulanabilir hesaplama"dır; bu, hesaplama sürecini doğrulama sürecinden ayırır. Ağır hesaplama görevleri zincir dışında gerçekleştirilir ve basit bir ZK kanıtı oluşturur, zincir üzerindeki akıllı sözleşmeler yalnızca bu kanıtın doğruluğunu çok düşük bir maliyetle doğrulamak zorundadır, tüm hesaplama sürecini tekrar etmek gerekmez.

Uygulama sürecinde, Brevis esasen Pico zkVM ve zkCoprocessor olmak üzere iki ana çekirdek modülü içeren benzersiz bir karma mimari benimsemiştir.

Pico zkVM (Genel Sıfır Bilgi Sanal Makinesi)

Her tür programın yürütme sürecine ZK kanıtı üretebilen genel bir hesaplama motoru. Geliştiriciler, kriptografi hakkında bilgi sahibi olmasalar bile ZK uygulama ortamı oluşturabilirler. Pico zkVM, belirli görevleri hızlandırmak için harici yardımcı işlemcilerin bağlanmasına izin veren son derece modüler bir tasarım kullanır.

zkCoprocessor (ZK Veri İşlemcisi)

Blok zinciri veri senaryoları için özel olarak tasarlanmış bir yardımcı işlemci. Akıllı sözleşmeler doğrudan geçmiş durumu erişemez veya hesaplayamaz. zkCoprocessor, kullanıcı işlemleri, bakiye, pozisyon gibi geçmiş verileri zincir dışından okuyup birleştirerek ve bu verilerin doğruluğunu kanıtlamak için kanıtlar üreterek çalışır.

"Genel zkVM + özel yardımcı işlemci" mimarisi, esneklik ve yüksek performansı bir araya getirerek @brevis_zk'nın DeFi veri analizinden karmaşık algoritma doğrulamasına kadar çeşitli görevleri verimli bir şekilde işlemesine olanak tanır.

Pico zkVM performansının sürekli artışı ve zkCoprocessor uygulama senaryolarının sürekli genişlemesiyle birlikte, Brevis ölçeklenebilirlikten doğrulanabilirliğe doğru ilerlemektedir.