Artikel ini memberikan analisis mendalam tentang dua potensi kerentanan dalam sistem Zero-Knowledge Proof (ZKP): "Load8 Data Injection Attack" dan "Forgery Return Attack." Artikel ini merinci spesifikasi teknis kerentanan ini, bagaimana mereka dapat dieksploitasi, dan metode untuk memperbaikinya. Selain itu, ini membahas pelajaran yang dipetik dari menemukan kerentanan ini selama proses audit dan verifikasi formal sistem ZK dan menyarankan praktik terbaik untuk memastikan keamanan sistem ZK.