Yakın zamanda, sıfır bilgi devreleri için Veridise'in resmi doğrulama aracı olan Picus'u kullanarak SP1 devrelerinin determinizmini doğrulamak için @SuccinctLabs ile işbirliği yaptık.

Bu, tüm SP1 zkVM'yi resmen doğrulama yolunda atılan ilk adım 🧵

1/6 https://t.co/tVvSR8GPNn