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

Lambdaworks

Схеми ZK та приватність

Переглянути на GitHub (відкривається в новій вкладці)

Дивитися далі

zkTLS/ TLSNotary

Про Lambdaworks

Lambdaworks is a Rust library of SNARK and STARK prover components that can be used piecemeal or assembled into a custom proving system. Teams pull its crates when building their own prover rather than adopting a finished one.

Теги

  • Верифікація

Репозиторійlambdaclass

Пакетhttps:

Інформація

Тип
Схеми ZK та приватність
Зірки на GitHub
738
Ліцензія
Apache-2.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.

Circom

Circom

Circom — це предметно-орієнтована мова та компілятор для написання та компіляції арифметичних схем, що використовуються в системах доведення з нульовим розголошенням.