RajaMBG

Menurut saya, risiko paling besar adalah skema tanda tangan PCQ akan dibobol oleh AI. Kita bahkan belum tahu semua jebakan dari sisi implementasi, apalagi matematika,” ujar Yakovenko .
Pendiri Curve Finance, Michael Egorov, sempat menanyakan apakah verifikasi formal bisa menutupi celah tersebut. Akan tetapi, menurut Yakovenko, verifikasi hanya membantu jika pengembang sudah tahu secara pasti apa yang harus diverifikasi.
Ia tetap lebih memilih adanya redundansi dari dua dari tiga skema yang saling independen.
Bitcoiner Capai Konsensus Awal soal Koin Satoshi
Alex Thorn, kepala penelitian di Gala