Перейти к основному контенту
Инструменты для контрактов

SP1 (Succinct)

ZK-схемы и приватность

Посмотреть на GitHub (открывается в новой вкладке)

Смотреть далее

Circom

О SP1 (Succinct)

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.

Теги

  • Верификация
  • Масштабируемость
  • уровень 2 (l2)

Репозиторийsuccinctlabs

Пакетhttps:

Информация

Тип
ZK-схемы и приватность
Звезды на GitHub
1,8 тыс.
Лицензия
Apache-2.0
Информация проверена
сентябрь 2026 г.

Похожие инструменты

ZK Email

ZK Email

ZK Email предоставляет схемы и SDK для ончейн-доказательства фактов об отредактированных расшифровках электронной почты. Полезно, когда вам нужна проверка личности или квитанций с сохранением приватности без деанонимизации почтовых ящиков.

arkworks algebra

arkworks algebra

arkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.

snarkjs

snarkjs

snarkjs — это набор инструментов JavaScript и CLI для генерации и проверки доказательств zk-SNARK, а также для запуска общих рабочих процессов доказательства в Node.js и браузере.