Contracts of the Sismo Badge Minting Protocol
-
Updated
Oct 3, 2023 - TypeScript
#
zkp
Here are 314 public repositories matching this topic...
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
-
Updated
Jan 27, 2025 - Rust
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
cryptography bitcoin ethereum blockchain elliptic-curves group-theory stark number-theory abstract-algebra zk zero-knowledge snark zksnarks zero-knowledge-proofs zkp elliptic-curve-cryptography zkproof
-
Updated
Oct 19, 2024 - Jupyter Notebook
Cairo is the first Turing-complete language for creating provable programs for general computation.
-
Updated
Jan 28, 2025 - Rust
A zkVM for Decentralized Private Computations (DPC)
-
Updated
Jan 28, 2025 - Rust
The privacy-focused cryptocurrency
cryptography privacy blockchain p2p cryptocurrency merkle-tree sigma zero-knowledge zcoin zerocoin merkle-tree-proof-of-work asic-resistant zero-knowledge-proofs zkp lelantus
-
Updated
Jan 27, 2025 - C++
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
-
Updated
Jan 28, 2025 - Rust
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
go golang cryptography crypto ecc elliptic-curves biginteger eddsa pairing fri zksnark mimc snark zkp finite-field-arithmetic bls12-381 bn254 hash-to-curve bls12-377
-
Updated
Jan 28, 2025 - Go
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
cryptography bignum digital-signature constant-time finite-fields elliptic-curves bigint galois-field public-key-cryptography bls pairing elliptic-curve-arithmetic bls-signature zkp barreto-naehrig pairing-cryptography elliptic-curve-cryptography bls12-381 side-channels hash-to-curve
-
Updated
Jan 27, 2025 - Nim
Sign arbitrary messages with keys obtained from Namada's trusted setup
-
Updated
Dec 7, 2023 - Rust
Curated Collection of Ethereum Ecosystem Resources
security cryptography ethereum smart-contracts blockchain cairo solidity awesome-list evm layer2 vyper zkp defi mev
-
Updated
Dec 26, 2023
Zero Knowledge Light Client Implementation by Zpoken team.
-
Updated
Oct 21, 2024 - HTML
Common cryptographic library used in software at Mysten Labs.
-
Updated
Jan 22, 2025 - Rust
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
-
Updated
Dec 18, 2024 - Cairo
Improve this page
Add a description, image, and links to the zkp topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the zkp topic, visit your repo's landing page and select "manage topics."