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

Circom

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

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

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

arkworks algebra

О Circom

Circom — это предметно-ориентированный язык и компилятор для написания и компиляции арифметических схем, используемых в системах доказательств с нулевым разглашением.

Теги

  • Компилятор
  • CLI
  • Ориентированность на приватность

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

Информация

Тип
ZK-схемы и приватность
Звезды на GitHub
1,7 тыс.
Лицензия
GPL-3.0
Информация проверена
июль 2026 г.

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

ZK Email

ZK Email

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

SP1 (Succinct)

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.

snarkjs

snarkjs

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