🚀 Вот краткое изложение нашей последней презентации среди 21 других zkVM, представленных на @eth_proofs Call #1.

Представляем NovaNet — передовой zkVM, построенный на основе NIVC folding!

От Nova до SuperNova и NeutronNova — мы разработали сеть доказательств на основе WASM, которая переопределяет доказательства с нулевым разглашением.

NovaNet выделяется двумя мощными вариантами использования:

1⃣ Сверху вниз: распараллеливание масштабных задач доказательства на нескольких машинах, разбивая их на управляемые части.
2⃣ Снизу вверх: эффективное агрегирование доказательств конфиденциальности и их размещение в сети с минимальными накладными расходами.

Почему folding так важен? Это основа инноваций NovaNet:

☑️ Децентрализация: регулируемые размеры шагов позволяют как крошечным устройствам, так и мощным серверам присоединяться к сети, способствуя инклюзивности.
☑️ Активность: инкрементное проверяемое вычисление означает, что вы можете приостановить доказательство на полпути, и любой может проверить — перезапуск не требуется, в отличие от монолитных систем.
☑️ Эффективность: folding обеспечивает самые низкие накладные расходы для продолжений в литературе, фиксируя только ширину доказательства.

Конфиденциальность? NovaNet позаботится об этом 🤝

В отличие от большинства zkVM, мы являемся приватными по умолчанию. Умный трюк из обновленной статьи HyperNova позволяет нам достичь чистого ZK всего за один fold. Кроме того, наш ончейн-верификатор — это экономный зверь, публикующий доказательства с ~150 000 gas 💸

NIVC-дизайн NovaNet также позволяет доказывать по принципу "плати за операцию", приглашая специализированные провайдеры, такие как Jolt, присоединиться к вечеринке. Доказательства Jolt могут интегрироваться через folding в реальном времени или продолжения (привет последней статье Justin), работая на разных машинах для максимальной гибкости.

Заглядывая вперед, мы пропускаем схемы на основе хешей. Вместо этого мы движемся к:

🔹NeutronNova: 10-кратное увеличение скорости на Nebula, с бенчмарками, которые скоро появятся. Возможно, она немного отстает от Starkish-систем, но создает основу для больших успехов.
🔹NEO: на основе решеток для долгосрочных перспектив и квантовой устойчивости.

Самое приятное? NovaNet полностью имеет открытый исходный код! Погрузитесь в zkEngine (ссылки в био) и попробуйте его в своем браузере. Поддержка WebGPU также скоро появится!

🎥 Посмотрите полную 2-минутную презентацию ниже 👇

PS: Есть вопросы? Задайте их в комментариях или присоединяйтесь к нашей TG (ссылка в био) #zkVM