PyRank

Zero Knowledge Proofs Python Packages

Python packages with the GitHub topic zero-knowledge-proofs. Sorted by monthly downloads, with stars and forks.
keep-starknet-strange
garaga

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

7K 260 89
wickra-lib
wickra-zk

Prove your backtest — zero-knowledge, on-chain-verifiable performance without revealing your data or strategy.

6K 1 0
EgorKhaklin
polaris-oid4vp

Polaris ID: identity infrastructure built to be checked, not trusted. polaris-oid4vp 1.0.0rc7 is OpenID Certified (OpenID4VP 1.0 + HAIP 1.0 Verifier), tested against 14 outside implementations. ML-DSA-65 under an audited algorithm-migration path; issuer-unlinkable, duress-aware. Pre-pilot.

5K 5 0
EgorKhaklin
polaris-verify

Polaris ID: identity infrastructure built to be checked, not trusted. polaris-oid4vp 1.0.0rc7 is OpenID Certified (OpenID4VP 1.0 + HAIP 1.0 Verifier), tested against 14 outside implementations. ML-DSA-65 under an audited algorithm-migration path; issuer-unlinkable, duress-aware. Pre-pilot.

4K 5 0
ProvablyAI
sourcerykit

Python SDK for accurate and verifiable agent tool use. Agents verify that answers came from the right source and were not changed. Downstream agents detect 100% of errors and retry to achieve a 50% jump in answer accuracy.

3K 21 1
EgorKhaklin
polaris-sdk-python

Polaris ID: identity infrastructure built to be checked, not trusted. polaris-oid4vp 1.0.0rc7 is OpenID Certified (OpenID4VP 1.0 + HAIP 1.0 Verifier), tested against 14 outside implementations. ML-DSA-65 under an audited algorithm-migration path; issuer-unlinkable, duress-aware. Pre-pilot.

3K 5 0
pipe23-org
pylongfellow

Python interface to implementations of Longfellow zero-knowledge proofs over ISO 18013-5 mdoc credentials

2K 0 0
bolyra
bolyra

Mutual ZKP authentication for humans and AI agents

409 0 0
EgorKhaklin
polaris-id-cli

Polaris ID: identity infrastructure built to be checked, not trusted. polaris-oid4vp 1.0.0rc7 is OpenID Certified (OpenID4VP 1.0 + HAIP 1.0 Verifier); tested against 15 outside implementations, and one wallet project runs its verifier in CI daily. ML-DSA-65 under an audited algorithm-migration path; issuer-unlinkable, duress-aware. Pre-pilot.

369 5 0
bolyra
bolyra-crewai

Mutual ZKP authentication for humans and AI agents

250 0 0
cansubetin
sdzkp

SDZKP: A zero-knowledge proof using subgroup distance problem

247 0 0
bolyra
bolyra-langchain

Mutual ZKP authentication for humans and AI agents

238 0 0
pipe23-org
zk-age-verifier

Verifier service for EU age-verification proofs (Longfellow ZK over mdoc, W3C Digital Credentials API)

228 0 0
weavechain
weave-py-api

Weavechain Python API

214 5 1
agentzeny
snap-crewai-tools

Private agent-to-agent payments on Solana using zero-knowledge proofs

178 0 0
pipe23-org
longfellow-vectors

Collection of test vectors for Longfellow zero-knowledge proof implementations (draft-google-cfrg-libzk)

167 0 0
bolyra
bolyra-agents

Mutual ZKP authentication for humans and AI agents

110 0 0
grinventions
secp256k1-zkp-mw

Python cffi wrapper of the secp256k1-zkp fork for the GRIN's Mimblewimble protocol

104 2 1
TNO-ZKP
tno-zkp-templates

TNO PET Lab - Zero-Knowledge Proofs (ZKP) - Templates

83 0 0
sirraya-labs
sirraya-did-kr

DID Key Recovery Extension specification enabling secure, interoperable recovery through social ZKP, deterministic inheritance, and MPC-based mechanisms with formal JSON-LD context.

74 5 0
LatticeX-Foundation
latticex

A Privacy-Preserving Framework Based on TensorFlow

62 551 107
ouroboros-network
ouro-sdk

High-performance decentralized blockchain with tiered node architecture (Heavy/Medium/Light), post-quantum security, zero-knowledge proofs, and on-chain governance. Earn OURO coins.

56 1 3
LatticeX-Foundation
latticex-rosetta

A Privacy-Preserving Framework Based on TensorFlow

49 551 107