ZK Kanıtlayıcı Ağı, talep üzerine sıfır bilgi kanıtları üreten merkeziyetsiz bir operatör ağıdır. Bu kanıtlar, şunları doğrulamak için kullanılabilir:

• ZK rollup durum geçişleri
• Akıllı kontrat yürütme izleri
• Makine öğrenimi modeli çıkarımı
• Zincirler arası durum okumaları

Ağ, canlılık ve doğruluk sağlamak için kriptoekonomik teşvikler ve ceza mekanizmaları içermektedir. Kurulu zincirlerden güvenlik ödünç almak için EigenLayer gibi yeniden staking protokolleriyle entegre edilecek şekilde inşa edilmiştir.

ZK Ko-işlemci, uygulamaların zincir üzerindeki durum üzerinde SQL tarzı sorgular gerçekleştirmesine ve kriptografik olarak doğrulanmış sonuçlar elde etmesine olanak tanır. Karmaşık analitik sorguları, küme üyeliği doğrulaması ve özyinelemeli kanıt toplama destekler. Ana teknik yetenekler şunlardır:

• Merkle ağaç tabanlı durum temsilleri üzerinde hesaplamaların yürütülmesi
• Doğrulama verimliliğini korumak için kanıt sıkıştırması ve özyineleme
• Doğrulanabilir durum köprüleme aracılığıyla çok zincir uyumluluğu

Bu sistem, L2 ve L1 zincirlerinin diğer blok zincirlerinden tutarlı, birleştirilebilir ve doğrulanabilir veri içgörülerine erişim sağlamasına olanak tanır ve güven varsayımlarını tanıtmadan bunu gerçekleştirir.

LA, Lagrange ekosisteminin yerel yardımcı token'ıdır ve aşağıdaki işlevleri destekler:

• Ücret Ödemeleri: Kullanıcılar ve müşteriler, LA kullanarak kanıt üretimi ve sorgu sonuçları için ödeme yapar. Alternatif token'lar kullanıldığında, talebi sürdürmek için bir kısmı LA geri alımlarına tahsis edilir.

• Stake Etme ve Temsil: Ağ kanıtlayıcılarının operasyonları gerçekleştirmek için LA stake etmesi gerekir. Temsilciler, stake etme sürecine katılabilir, ödüllerin bir kısmını kazanabilir ve ağ güvenliğini güçlendirebilir.

• Sübvansiyon Dağıtımı: Protokol, kanıt üretim maliyetlerini sübvanse etmek için sabit LA emisyonları çıkarır. Bu emisyonlar, her kanıtlayıcının ürettiği kanıt hacmine göre orantılı olarak tahsis edilir.

• Yönetim: LA token sahiplerinin, ücret yapılarının ayarlanması, sorgu kurallarının değiştirilmesi veya sübvansiyon takviminin geliştirilmesi gibi protokol yönetimine katılması beklenir.

Lagrange, kriptografik sistemler ve doğrulanabilir hesaplama alanında araştırmacı ve geliştirici olan Ismael Hishon-Rezaizadeh tarafından kuruldu. Sıfır bilgi temelli merkeziyetsiz uygulamalar için altyapıya odaklanan Lagrange Labs ekibine liderlik etmektedir. Mayıs 2025'te, protokolün uzun vadeli gelişimini, yönetimini ve sürdürülebilirliğini denetlemek için Lagrange Vakfı kuruldu.

Uygulamalar

Lagrange, aşağıdakiler de dahil olmak üzere çoklu gerçek dünya kullanım senaryolarını destekler:

• Doğrulanabilir DeFi analitiği (örneğin, güvenli TWAP'ler, faiz oranı hesaplaması)
• DeepProve girişimi aracılığıyla merkeziyetsiz AI kanıt sistemleri
• Rolluplar ve modüler yürütme katmanları için güven azami zincirler arası iletişim

Ethereum ve diğer EVM zincirleri ile uyumlu modüler ve birlikte çalışabilir araçlar sunarak, geniş bir merkeziyetsiz uygulamalar ve altyapı sağlayıcıları yelpazesine erişilebilirlik sağlar.