Согласен. Вот почему мы уделяем так много внимания схемам, которые: 1. Используют симметричную криптографию для запутывания; 2. Доказывают корректность схемы с помощью ZKP (ZKP стал гораздо более зрелым, так как множество проектов запустили сети доказательства на основе zkRollup и zkVM). Конечно, C&C прост, но стоимость коммуникации очень велика. Аутентифицированное запутывание может не суметь напрямую интегрироваться с большинством продвинутых схем запутывания полусовестных схем (и также не подходит для случая BitVM). Говоря о арифметическом запутывании, это не новая история, изначально она возникла из булевой схемы, но более эффективна для сложных арифметических вычислений. Что касается других направлений запутывания, таких как многоразовая запутанная схема на основе решеточной криптографии с предположением о сложности RLWE или модульной LWE, это немного академично, насколько я знаю.