Глубокие новости TechFlow, уровень генерации доказательств ZK. Cysic выпустила документ об эффективности. Теперь zkVM может выполнять программы любого размера и генерировать ZK-доказательства, подтверждающие выполнение. Ключом к достижению этого является разделение программы на подпрограммы, создание доказательств для каждой подпрограммы, а затем использование рекурсивных доказательств для подтверждения правильности всех доказательств подпрограмм.
Jolt-b повышает удобство рекурсии и делает IOP (интерактивные доказательства) более эффективными за счет использования альтернативной схемы фиксации, называемой Basefold. Этот подход аналогичен усовершенствованию схемы Plonk в Plonky2. Кроме того, команда Cysic отметила, что Binius, серверная часть доказательства, разработанная Irreducible, хотя и не подходит для сборки zkVM, но хорошо работает при предварительной компиляции. Биниус оптимизирует сложность доказательства, используя наименьшую степень квадратичного поля, но добавляет сложность рекурсивных доказательств при работе со структурами u16 или u32.