Bugün, Lagrange, ZK rulo sürümleri için kanıt oluşturmayı desteklemek üzere ZK Prover Network'ünü genişletti ve mevcut ZK Coprocessor ve State Committee tekliflerine ekledi. Bu yeni eklemeyle birlikte, Lagrange artık her şey için - rulo sürümleri, uygulamalar, eş işlemciler ve birlikte çalışabilirlik - internet ölçeğinde herkesin her şeyi kanıtlamasına olanak tanıyan sonsuz bir kanıtlama katmanı olarak kanıtlamaları serbest bırakıyor. Daha önce Lagrange, Coinbase, Kraken, OKX ve daha fazlası gibi önde gelen operatörler tarafından işletilen endüstrinin ilk üretim aşamasına hazır ZK prover ağını başlatmıştı. Şimdi, Lagrange'ın ZK Prover Network'ü, rulo sürümlerinin karşılaştığı temel zorlukları ele almak ve ZK benimsenmesini ve faydasını artırmak amacıyla genişliyor.
ZK Coprocessor, rastgele blok aralıkları için rastgele depolama yuvalarında doğru hesaplamanın bir kanıtını oluşturabilir. Örneğin, Ethereum'da ETH/USDC fiyatlaması için ortalamanın hesaplanmasını isteyen bir uygulamayı ele alalım. Bir geliştirici ilk olarak veri kümesine dahil etmek istediği bellek yuvalarını ve blok aralığını (~50.400) belirtmelidir. Ardından geliştirici, farklı bloklardaki farklı depolama yuvalarında paralel olarak yürütülecek işlemleri yazar. Kanıtlama oluşturulduktan sonra, akıllı sözleşme bilgilerinden türetilen bir blok başlığına göre hem depolama dahililiği hem de toplam işlemi geçerli olarak kanıtlanır.