Перейти до основного вмісту
Інструменти для контрактів

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

Репозиторій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 для генерації та перевірки доведень zkSNARK, а також для запуску типових робочих процесів доведення в Node.js та браузері.