Deep tide Новини TechFlow, рівень генерації доказів ZK Cysic видав документ про Efficient. Тепер zkVM може виконувати програми будь-якого розміру та генерувати ZK-докази, що підтверджують виконання. Ключ до досягнення цього полягає в тому, щоб розділити програму на підпрограми, створити докази для кожної підпрограми, а потім використовувати рекурсивні докази для підтвердження правильності всіх доказів підпрограм.
Jolt-b покращує зручність рекурсії та робить IOP (інтерактивні докази) більш ефективними завдяки використанню альтернативної схеми зобов’язань під назвою Basefold. Цей підхід подібний до вдосконалення схеми Plonk у Plonky2. Крім того, команда Cysic зазначила, що Binius, технологія перевірки, розроблена Irreducible, хоч і не підходить для створення zkVM, але добре працює під час попередньої компіляції. Binius оптимізує складність доказів, використовуючи найменше квадратичне поле, але додає складність рекурсивних доказів при роботі зі структурами u16 або u32.