Đồng ý. Đó là lý do tại sao chúng tôi chú ý rất nhiều đến các sơ đồ mà: 1. Sử dụng mã hóa đối xứng cho việc làm rối; 2. Chứng minh tính chính xác của mạch với ZKP (ZKP đã phát triển rất nhiều kể từ khi nhiều dự án đã ra mắt mạng chứng minh dựa trên zkRollup và zkVM). Chắc chắn rằng, C&C thì đơn giản, nhưng chi phí giao tiếp thì rất lớn. Việc làm rối được xác thực có thể không thể tích hợp trực tiếp với hầu hết các sơ đồ làm rối mạch bán trung thực tiên tiến (và cũng không phù hợp cho trường hợp BitVM) Nói về việc làm rối số học, đây không phải là một câu chuyện mới, ban đầu từ mạch Boolean, nhưng hiệu quả hơn cho tính toán số học phức tạp. Đối với một số hướng làm rối khác, như mạch làm rối có thể tái sử dụng dựa trên mã hóa lưới với giả định độ khó RLWE hoặc module-LWE, thì theo tôi biết, nó hơi mang tính học thuật.