Sıfır-knowledge kanıtları için neredeyse Uber gibi: uygulamalar yolcular, kanıtlayıcılar sürücüler ve ağ herkesin adil oynamasını sağlıyor.
SP1 — The zkVM
Şimdi SP1'den bahsedelim. Bu, Succinct'in kendi zkVM'sidir (sıfır bilgili sanal makine). Daha önce biriyle ilgilenmediyseniz, bunu normal kodları çalıştırabilen bir kanıtlayıcı bilgisayar olarak düşünün (Rust programları) gibi, ancak ardından o kodun doğru bir şekilde çalıştığını kanıtlayan bir kanıt da üretebilir. Burada sevdiğim şey, SP1'in bazı özel kodlama dilleriyle kilitlenmemiş olması; standart kütüphaneyle Rust kullanabilirsiniz. Eğer bir geliştiriciyseniz, bu büyük bir avantaj çünkü yabancı bir sistemi öğrenmek zorunda kalmazsınız. Hızlı kanıtlar oluşturmak için GPU desteği bile var, bu yüzden sadece teori değil, aynı zamanda pratik.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Sıfır-knowledge kanıtları için neredeyse Uber gibi: uygulamalar yolcular, kanıtlayıcılar sürücüler ve ağ herkesin adil oynamasını sağlıyor.
SP1 — The zkVM
Şimdi SP1'den bahsedelim. Bu, Succinct'in kendi zkVM'sidir (sıfır bilgili sanal makine). Daha önce biriyle ilgilenmediyseniz, bunu normal kodları çalıştırabilen bir kanıtlayıcı bilgisayar olarak düşünün (Rust programları) gibi, ancak ardından o kodun doğru bir şekilde çalıştığını kanıtlayan bir kanıt da üretebilir.
Burada sevdiğim şey, SP1'in bazı özel kodlama dilleriyle kilitlenmemiş olması; standart kütüphaneyle Rust kullanabilirsiniz. Eğer bir geliştiriciyseniz, bu büyük bir avantaj çünkü yabancı bir sistemi öğrenmek zorunda kalmazsınız. Hızlı kanıtlar oluşturmak için GPU desteği bile var, bu yüzden sadece teori değil, aynı zamanda pratik.
$PRO
{gelecek}(PROVEUSDT)