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

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