Bugün size Brevis'i mümkün kılan olağanüstü yetenekleri keşfettiğimiz Behind the Proof bölümü sunuyoruz. İlk olarak: Baş Bilim Sorumlumuz Alan Li @succinct_li. 🧵

Brevis'ten önce Alan, MIT'den Elektrik Mühendisliği ve Bilgisayar Bilimleri alanında doktora yaptı, ardından Nature ve Cell'de yayımlanan araştırmalarla üç ilaç boru hattını geliştirme adayı aşamasına taşıyan bir AI for Science girişimi kurdu. Bu, Alan'ın yabancı bölgelere girme, hızlıca hakim olma, gemi sonuçlarını kanıtladı.

Brevis'e katıldıktan birkaç ay sonra Alan, zkML'nin en zor sorunlarından birini ele aldı. Sinir ağları doğal olarak seyrektir, ancak mevcut sistemler her işlemi eşit şekilde kanıtlamıştır. Geliştirdiği SpaZK protokolü, sadece önemli olanlar için kanıtlar üretiyor ve hesaplama maliyetlerini büyük ölçüde azaltıyor.

Sonra Pico Prism geldi. Alan katıldığında, en son teknoloji Ethereum bloklarının %40,9'u 10,3 saniyede 256 bin dolarlık donanımla kanıtlandı. Liderliğinde: %99,6 kapsama, 6,9 saniye ortalama, 128 bin dolarlık donanım. Hepsi bir yıldan kısa sürede.

Sırada ne var? Alan'ın ekibi, %99 gerçek zamanlı kanıtlama ve daha fazlasını sağlamak için 16'dan az GPU'yu hedefliyor. Ve ProverNet ana net beta sürümü artık yayına girdiğinden, Alan'ın çalışmalarının ZK kanıtlamalarının tüm ekosistem genelinde nasıl koordine edileceğini şekillendirmesini bekliyoruz.

Alan'ın Baş Bilim Sorumlusu olması bunun anlamıdır. Brevis zor sorunlarla karşılaştığında, yolu bulacak birinin olduğunu biliyoruz. Burada sadece yüzeyi çiziyoruz. Tam profili okuyun: