Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings
#

zk-snarks

Here are 395 public repositories matching this topic...

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

  • UpdatedSep 25, 2024

Framework to prove inference of ML models blazingly fast

  • UpdatedJul 14, 2025
  • Rust

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

  • UpdatedJul 14, 2025
  • OCaml

The Deep Sea

  • UpdatedOct 6, 2024
  • Rust

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

  • UpdatedJul 11, 2025
  • Go

Anonymous. Uncensored. Sovereign.

  • UpdatedJul 13, 2025
  • Rust
semaphore

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

  • UpdatedJul 14, 2025
  • Rust
baseline

The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology to enable confidential and complex coordination between enterprises while keeping data in systems of record. This repo serves as the main repo for the Baseline Protocol, containing core packages, examples, and r…

  • UpdatedMay 9, 2025

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

  • UpdatedDec 25, 2022
  • Haskell
PIVX

Protected Instant Verified Transactions - Core wallet.

  • UpdatedJul 2, 2025
  • C++

Multitool soft for ZkSync Era

  • UpdatedMay 18, 2024
  • Python

Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:@porcuquine)

  • UpdatedFeb 25, 2025
  • Rust

Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.

  • UpdatedJul 11, 2025
  • TypeScript

Anonymous Airdrops using ZK-SNARKs

  • UpdatedMar 11, 2024
  • Circom
zk-kit

A monorepo of reusable libraries for zero-knowledge technologies.

  • UpdatedJun 13, 2025
  • TypeScript

A curated list of zero-knowledge folding schemes

  • UpdatedAug 6, 2024

A privacy-preserving blockchain on Substrate

  • UpdatedFeb 3, 2025
  • Rust

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop

  • UpdatedOct 28, 2024
  • C++

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

  • UpdatedJun 23, 2025
  • Cairo

Improve this page

Add a description, image, and links to thezk-snarks topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thezk-snarks topic, visit your repo's landing page and select "manage topics."

Learn more


[8]ページ先頭

©2009-2025 Movatter.jp