Большинство zkVM отлично выглядят на бумаге. SP1 был создан для реального мира. Succinct не использовал Risc0, zkSync или zkVM от Polygon, и на то была веская причина. SP1 не является подражателем. Это инновационная zkVM, созданная для поддержки нового поколения инфра, не требующей доверия. Вот почему это важно: Зачем создавать новую zkVM? @SuccinctLabs могли бы выбрать существующие zkVM. Risc0, Cairo или даже zkEVM. Но они этого не сделали, и вот почему: Большинство zkVM не являются достаточно универсальными Многие из них не поддерживают рекурсию из коробки Некоторые из них тесно связаны с пользовательскими DSL (например, Cairo) Другим не хватает прозрачности или они глубоко встроены в большие стеки свертки Лаконичному нужно было нечто большее: → 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 Prover: как она запускает вычисления ZK вне сети и что это открывает для разработчиков и цепочек. Отмечаем Гигачады, которые могут быть заинтересованы в этом 👇 - @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_