Tim Verifikasi Formal kami telah memformalkan polinomial multivariat komputasi di Lean. cc @leanprover Ini adalah dasar untuk penalaran yang lebih kuat dan diperiksa mesin dalam bukti zk dan desain protokol. 🔗 1/

Bukti pengetahuan nol akan datang ke akuntansi validator. Zk-Oracle baru @LidoFinance memverifikasi perubahan saldo validator di Ethereum menggunakan SP1, memberi pengguna jaminan yang lebih kuat bahwa hadiah dan saldo sudah benar.