Більшість zkVM чудово виглядають на папері. SP1 був створений для реального світу. Succt не використовував Risc0, zkSync або zkVM від Polygon, і на те є вагомі причини. Пакет оновлень 1 (SP1) не є його копіюванням. Це новий zkVM, створений для живлення наступного покоління безнадійної інфраструктури. Ось чому це важливо: Навіщо створювати нову zkVM? @SuccinctLabs могли б вибрати існуючі zkVM. Risc0, Cairo або навіть zkEVM. Але вони цього не зробили, і ось чому: Більшість zkVM недостатньо універсальні Багато з них не підтримують рекурсію з коробки Деякі з них тісно пов'язані з користувальницькими DSL (наприклад, Cairo) Іншим бракує прозорості або вони глибоко вбудовані у більші зведені стеки Лаконічно потрібно було щось більше: → zkVM, який міг запустити будь-яку програму і де завгодно, і довести це ефективно. Це SP1. Що таке SP1? SP1 — це продуктивна модульна zkVM, побудована на Rust, яка підтримує: - Обчислення загального призначення - Ефективна рекурсія - Доказова переносимість на інші ланцюги І, що дуже важливо, гнучкість з відкритим вихідним кодом Він розроблений на основі перших принципів навколо кількох основних ідей: • ЗК має бути доступним. • Генерація доказів має бути компонованою та перевіреною в різних ланцюгах. • Розробникам не потрібно вивчати криптографію, щоб використовувати ZK. SP1 побудований на користувальницькій архітектурі ISA (набір інструкцій), а не на копії EVM, що робить його набагато продуктивнішим і розширюваним. І він уже використовується для живлення крос-чейн легких клієнтів, EigenLayer AVS тощо. Що відрізняє SP1 від інших? У порівнянні з іншими zkVM, SP1 виділяється кількома великими параметрами: Створено для доведення в реальних умовах Не оптимізовано для ігор з нульовим розголошенням або ролап-змагань, оптимізовано для багатоланцюгової перевірки. Надзвичайно модульний Ви можете модифікувати SP1, міняти компоненти місцями та підключатися до різних кривих доведення або стратегій рекурсії. Досвід розробника Rust Пишіть ZK-програми на безпечних, ефективних Rust, а не екзотичних DSL. Вбудована підтримка рекурсивних доказів Має вирішальне значення для масштабованості та компонування під час перевірки багатьох подій поза мережею в мережі. Чому це важливо зараз Майбутнє криптовалюти – за мультичейнами. Це означає більше легких клієнтів, більше мостів і більше спільних систем перевірки. Але для надійної перевірки стану одного ланцюга на іншому потрібні zkVM, оптимізовані не лише за пропускною здатністю, а й за гнучкістю та портативністю. SP1 саме так і робить. → Це не просто примітив ZK — це двигун доказів, що стоять за взаємодією, яка не потребує довіри. У наступній публікації ми розберемо Succt Prover Network: як вона виконує обчислення 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_