CycleFold — это схема рекурсивных аргументов, использующая свёртку (folding) вычислений через цикл эллиптических кривых. Она была представлена Абхираамом Котапалли и Сринадом Сетти в 2023 году как способ оптимизации доказательств нулевого разглашения (ZK) и инкрементально проверяемых вычислений (IVC). CycleFold является частью библиотеки Sonobe, разработанной совместно 0xPARC и Privacy & Scaling Explorations (PSE), и ориентирована на эффективную реализацию ZK доказательств с использованием свёртки.
Основная цель CycleFold — уменьшить вычислительные затраты и размер доказательства при построении рекурсивных ZK аргументов. В отличие от предыдущих подходов, таких как Nova, CycleFold использует цикл эллиптических кривых, что позволяет значительно сократить количество скалярных умножений, необходимых для верификации. Это достигается за счёт использования второй кривой в цикле, которая представляет собой одно скалярное умножение, что значительно уменьшает размер схемы по сравнению с предыдущими методами.
- Инкрементально проверяемые вычисления (IVC): CycleFold обеспечивает эффективную реализацию IVC, позволяя доказать корректность последовательных вычислений без необходимости повторной верификации каждого шага.
- Рекурсивные ZK аргументы: Схема поддерживает рекурсивные доказательства, что позволяет создавать компактные и эффективные ZK доказательства для сложных вычислений.
- Оптимизация верификации: Использование цикла эллиптических кривых снижает вычислительные затраты и размер доказательства, улучшая производительность системы.
- Совместимость с библиотеками: CycleFold интегрируется с библиотеками, такими как Sonobe, и поддерживает различные фронтенды, включая Arkworks, Circom и Noir, что обеспечивает гибкость в разработке.
- Поддержка on-chain верификации: Схема поддерживает верификацию доказательств на платформе Ethereum, что позволяет интегрировать её в смарт-контракты и децентрализованные приложения.