"Ada banyak masalah hari ini dengan ZK." Kami mengundang @donnoh_eth (Peneliti di @l2beat) untuk mempresentasikan di Berlin Ethproofs Summit kami untuk memberikan perspektif yang berlawanan tentang ZK - dan itulah yang kami dapatkan. Beberapa poin penting: • Verifikator buram. Kontrak pintar dapat diperiksa, tetapi begitu Anda mencapai verifikator ZK, Anda melihat angka acak - dan tanpa mereproduksi verifikator dari sumbernya, Anda tidak dapat mengetahui apa yang sebenarnya dibuktikan. • Reproduktifitas sulit. Banyak proyek tidak menerbitkan hash commit atau versi tooling yang tepat yang diperlukan untuk membuat ulang verifikatnya. Dalam beberapa kasus, praktis tidak mungkin untuk mengonfirmasi apa yang berjalan secara on-chain. • Perkakas khusus menambah risiko. Setiap proyek membangun tumpukannya sendiri, membuat verifikasi menjadi kompleks dan tidak konsisten di seluruh ekosistem. • Audit tidak cukup. Audit dapat berupa sebagian, ketinggalan zaman, atau melewatkan perbaikan. Hanya mengklaim "diaudit sepenuhnya" menyesatkan tanpa tautan dan ruang lingkup yang transparan. Poin inti Luca: ZK tidak serta merta menghilangkan kepercayaan. Sebaliknya, itu menggesernya - dan tantangannya adalah meminimalkan dan mengklarifikasi di mana kepercayaan itu berada. Tonton pembicaraan lengkapnya: