Lagrange, geliştiricilerin ağır hesaplamaları zincir dışına taşımasına, kompakt sıfır-bilgi kanıtları üretmesine ve bu sonuçları zincir üstünde doğrulamasına olanak tanıyan merkeziyetsiz bir platformdur. Bu yaklaşım zincir üstü maliyetleri düşürür ve çapraz-zincir iş akışları, gizli AI doğrulaması ve ölçeklenebilir rollup mimarileri için karmaşık işlemlerin doğru hesaplandığına dair kriptografik güvence sağlar.
Gelişmiş mantığı bir akıllı sözleşme içinde yeniden çalıştırmak yerine, Lagrange işi harici bir kanıtlama katmanına aktarır. Bu katman hesaplamaları yapar, kısa bir kanıt oluşturur ve akıllı sözleşmelerin hızlıca kontrol edebileceği bir kanıt döndürür. Sonuç: daha düşük gas kullanımı, daha hızlı doğrulama ve zincirler arasında güvenilir verinin doğrulanabilir aktarımı.
ZK Prover Ağı, talep üzerine sıfır-bilgi kanıtları üreten küresel ve merkeziyetsiz bir node ağından oluşur. Geliştirici bir görev gönderdiğinde, ağdaki operatörler hesaplamaları zincir dışı gerçekleştirir ve kompakt bir kanıt döner. Tasarım, bağımsız alt ağlar kullanarak tek bir koordinatör darboğazını önler; böylece birden çok blockchain ve uygulama hizmeti paralel kullanabilir ve talebe göre ölçeklenebilir.
ZK Coprocessor, zincir verileri için güven gerektirmeyen bir sorgu motorudur. Geliştiricilerin geçmiş akıllı sözleşme durumları üzerinde SQL-benzeri sorgular çalıştırmasına, ortalamalar veya toplamlar gibi karmaşık hesaplamalar yapmasına ve sonucun doğru olduğunu garanti eden bir ZK kanıtı almasına izin verir. Bu kanıt doğrudan herhangi bir akıllı sözleşme tarafından kullanılabilir ve merkezi oracle'lara, geleneksel köprülere veya özel veri indeksleyicilere güvenmeden güvenli çapraz-zincir veri erişimi sağlar.
DeepProve, doğrulanabilir makine öğrenimi çıkarımlarını mümkün kılan bir zkML araç zinciridir. Belirli bir tahminin, belirli girdiler kullanılarak belirli bir model tarafından üretildiğine dair kanıtlar üretir; aynı zamanda model ve verileri gizli tutar. Bu, mülkiyetli modelleri veya hassas girdileri açığa çıkarmadan AI çıktılarının bütünlüğünü kanıtlar.
Operatörler, gelen görevleri dinleyen hafif çalışıcı yazılımlar çalıştırır. Bir geliştirici kanıt talep ettiğinde, ağ işi hesaplamak ve kanıtı döndürmek üzere seçilmiş operatörlere atar. Güvenilirliği korumak için operatörler token stake eder ve görevleri düzgün tamamlamadıklarında cezalarla karşılaşır; bu da doğru performans için güçlü teşvikler oluşturur. Ağ, farklı iş yüklerine uyum sağlamak için birden çok kanıt sistemini destekler.
Lagrange, kaynaklar için Adil ve Verimli bir pazar yaratmak üzere Double Auction Resource Allocation (DARA) mekanizmasını kullanır. İşleyişi şu şekildedir: geliştiriciler, ödemeye razı oldukları maksimum fiyatla iş gönderir; operatörler ise kapasitelerini ve asgari fiyatlarını belirterek ihaleye girer. DARA ardından geliştiricileri, işleri tamamen tamamlayabilecek operatörlerle eşleştirir. Bu sayede geliştiriciler yalnızca bitmiş işler için ödeme yapar, operatörler adil şekilde tazmin edilir ve manipülasyon caydırılır; dürüst katılım teşvik edilir.
Lagrange, doğrulanabilir hesaplamanın önemli olduğu pek çok bağlamda uygulanabilir. Yaygın kullanım örnekleri şunlardır:
Platform, kanıt üretimi için ödeme yapmak, operatörleri ödüllendirmek ve stake veya delege etmeyi mümkün kılmak için yerel bir yardımcı token kullanır. Tokenlar kanıt taleplerini finanse eder ve bir işi ödemek için hangi para birimi kullanılırsa kullanılsın proverlere teşvik dağıtır. Stake etme ve delegasyon, token sahiplerinin güvenilir operatörleri destekleyip ödüllere ortak olmasına izin vererek uzun vadeli teşvikleri hizalar; slashing ise düşük performansı cezalandırarak ağ bütünlüğünü korur.
Doğrulanabilir zincir dışı hesaplamayı keşfeden geliştiriciler için Lagrange, zincir üstü maliyetleri azaltan ve karmaşık sonuçlara güveni artıran birleşik bir kanıtlama katmanı, sorgu coprocessor'ı ve zkML araç seti sunar. Hesaplamayı doğrulamadan ayırıp piyasa tabanlı kaynak tahsisi sunarak, platform çapraz-zincir uygulamalar, AI ve düzenlemeye tabi ortamlarda ölçeklenebilir, denetlenebilir kanıtları erişilebilir kılmayı hedefler.