Setuju. Inilah sebabnya mengapa kami sangat memperhatikan skema yang: 1. Gunakan kriptografi simetri untuk kekacauan; 2. Buktikan kebenaran sirkuit dengan ZKP (ZKP jauh matang karena banyak proyek telah meluncurkan jaringan bukti berbasis zkRollup dan zkVM). Yang pasti, C&C sederhana, tetapi biaya komunikasinya sangat besar. Kekacauan yang diautentikasi mungkin tidak dapat langsung diintegrasikan dengan sebagian besar skema kekacauan sirkuit semi-jujur tingkat lanjut (dan juga tidak cocok untuk kasus BitVM) Mengambil tentang kekacauan aritmatika, ini bukan cerita baru, yang berasal dari sirkuit Boolean, tetapi lebih efisien untuk perhitungan aritmatika yang kompleks. Untuk beberapa arah kekacauan lainnya, seperti sirkuit kacau yang dapat digunakan kembali berdasarkan kriptografi kisi dengan asumsi kekerasan RLWE atau modul-LWE, ini sedikit akademis.