Большинство zkVM выглядят отлично на бумаге. SP1 был создан для реального мира. Succinct не использовал Risc0, zkSync или zkVM от Polygon, и на то есть веские причины. SP1 не является копией. Это zkVM, построенный с нуля, чтобы обеспечить следующую генерацию бездоверительной инфраструктуры. Вот почему это важно: Почему строить новый zkVM? @SuccinctLabs могли бы выбрать существующие zkVM. Risc0, Cairo или даже zkEVM. Но они этого не сделали, и вот почему: Большинство zkVM недостаточно универсальны. Многие не поддерживают рекурсию из коробки. Некоторые тесно связаны с пользовательскими DSL (например, Cairo). Другие не имеют прозрачности или глубоко интегрированы в более крупные стеки роллапов. Succinct нужно было что-то большее: → zkVM, который мог бы запускать любую программу, где угодно, и эффективно это доказывать. Вот что такое SP1. Что такое SP1? SP1 — это производительный, модульный zkVM, построенный на Rust, который поддерживает: - Универсальные вычисления - Эффективную рекурсию - Портируемость доказательств на другие цепочки И, что важно, гибкость с открытым исходным кодом. Он разработан с нуля вокруг нескольких основных идей: • ZK должен быть доступным. • Генерация доказательств должна быть составной и проверяемой на разных цепочках. • Разработчики не должны учить криптографию, чтобы использовать ZK. SP1 построен на пользовательской ISA (архитектура набора команд), а не на копии EVM, что делает его гораздо более производительным и расширяемым. И он уже используется для обеспечения кросс-цепочных легких клиентов, EigenLayer AVS и многого другого. Что делает SP1 отличным? По сравнению с другими zkVM, SP1 выделяется несколькими важными способами: Разработан для реального доказательства. Не оптимизирован для игр с нулевым знанием или конкуренции роллапов, оптимизирован для многосетевой верификации. Крайне модульный. Вы можете модифицировать SP1, заменять компоненты и подключаться к различным кривым доказательства или стратегиям рекурсии. Опыт разработчика на Rust. Пишите ZK программы на безопасном, эффективном Rust, а не на экзотических DSL. Встроенная поддержка рекурсивных доказательств. Ключевое для масштабируемости и составности при верификации множества оффчейн событий в ончейн. Почему это важно сейчас. Будущее криптовалют — многосетевое. Это означает больше легких клиентов, больше мостов и больше общих систем доказательства. Но доказательство состояния одной цепочки на другой безопасно требует zkVM, которые оптимизированы не только для пропускной способности, но и для гибкости и портируемости. SP1 делает именно это. → Это не просто ZK примитив — это движок доказательства за бездоверительной интероперацией. В следующем посте мы разберем Сеть Доказателей Succinct: как она выполняет ZK вычисления оффчейн и что это открывает для разработчиков и цепочек. Тегаю Gigachads, которые могут быть заинтересованы в этом 👇 - @SamuelXeus - @TheDeFISaint - @hmalviya9 - @poopmandefi - @ayyeandy - @DigiTektrades - @zerokn0wledge_ - @LadyofCrypto1 - @milesdeutscher - @1CryptoMama - @Deebs_DeFi - @RubiksWeb3hub - @stacy_muur - @TheDeFinvestor - @splinter0n - @izu_crypt - @belizardd - @eli5_defi - @the_smart_ape - @ViktorDefi - @cryppinfluence - @CryptoGirlNova - @Haylesdefi - @DeRonin_ - @0xAndrewMoh - @defiinfant - @DeFiMinty - @Louround_ - @0xSalazar - @crypthoem - @CryptoShiro_