Kebisingan turun. Sinyal naik. 🔥 AuditAgent telah memangkas positif palsu sebesar 2x sejak Juni - sambil menjaga semua positif sejati tetap utuh (dan bahkan sedikit meningkat).

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.