Geçen yıl birkaç geliştiriciyle sohbet ederken, ZK öğrenmenin artık bir kamu görevlisi sınavına hazırlanmak gibi olduğunu, önce eliptik eğrileri ve Circom’un "sınav kitabı" olan iki kitabı bitirmek gerektiğini söylediler. Ancak bu akıllı yaklaşım, bu geliştirme deneyimini tamamen altüst etti - şimdi sadece Rust kodu yazmayı bilmek yeterli, geri kalan ZK kanıtı üretim işini onların SP1 zkVM'sine bırakıyorsunuz. Bu, profesyonel bir DSLR kamerayı akıllı telefonun "portre modu" haline getirmek gibi, geliştiriciler sadece kompozisyona odaklanıyor, karmaşık pozlama ayarları tamamen otomatik olarak hallediliyor.

Teknik göstergeler gerçekten etkileyici. Resmi testler, SP1 zkVM'nin performansının geleneksel çözümlerden 4 ila 28 kat daha hızlı olduğunu gösteriyor, bazı belirli senaryolarda ise 100 kat daha az geliştirme süresi tasarrufu sağlıyor. Ancak gerçekten ilginç bulduğum şey onların ekonomik model tasarımı. O merkeziyetsiz kanıtlayıcı ağı (Prover Network) esasen bir hesap gücü versiyonu olan bir Didi taksi sistemi - küresel düğümler her an bekleyip sipariş kapmaya hazır, $P