Untuk menguraikan: Konsensus (yaitu blockchain) tidak dapat memverifikasi setiap properti yang berguna ada serangkaian masalah (yang belum terpecahkan) yang jauh lebih luas yang dapat diselesaikan menggunakan teknik verifikasi modern (ZK, FHE, TEE) khususnya saya tertarik dengan ruang masalah jaringan yang dapat diverifikasi