Zero Knowledge Python Packages

garaga

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

open-banking-io

Zero-knowledge open banking — server-to-server SDKs (.NET, Node, Python, Rust, Go, Java, Ruby, PHP) and the openbanking CLI for open-banking.io

o1js-scan

Dependency-free static analyzer for zk circuit soundness bugs in o1js/Mina zkApps and Noir circuits

seekrit

Read-path Python SDK for seekrit — resolve and decrypt secrets with a service token. Ships httpx transport plus LangChain and Pydantic AI adapters.

vfhe

A library for Zero-Knowledge Proofs, (verifiable) Fully Homomorphic Encryption, and related techniques

blockchainkit

A Python toolkit for learning how blockchains work: 104 breakthroughs in cryptography, consensus, networking and smart contracts, from the one-time pad to Ethereum gas, each reproduced as a small, typed implementation with a figure and a runnable experiment.

agentsecrets

Python SDK for AgentSecrets: Build tools and agents on zero-knowledge secrets infrastructure

memoraeu-mcp

Zero-knowledge persistent memory layer for Claude — AES-256-GCM encrypted, semantic search, EU hosted. MCP server for Claude Desktop.

zksnake

zk-SNARKs in Python

klefki

Klefki is a playground for researching elliptic curve group based algorithm, such as MPC, ZKP and HE. All data types & structures are based on mathematical defination of abstract algebra.

cargoflow

Evidence-gated working capital for physical trade finance: USDG escrow whose tranches release only on verified shipment evidence, with ZK recovery and an advisory AI monitor. Robinhood Chain Testnet.

ghostbit-cli

Ghostbit — Secure, ephemeral, and encrypted code sharing for developers. Share snippets that vanish after use. 👻 💻

validpay

Official Python SDK for ValidPay CVCP — client-side AES-256-GCM encryption, split-key, selective disclosure, blind revocation.

nyxora

Offline terminal password manager. No cloud. No accounts. Military-grade encryption

pyzorch

JAX-native building blocks for Modern SNARKs (∑ IOP). Proving-scheme- and Implementation-agnostic; fusion-first.

zerostyl-sdk

Python SDK for the ZeroStyl zk toolkit on Arbitrum Stylus: ABI schema types and typed-bindings codegen

sovereign-ai-stack

Experimental local-first AI prototype with NLI grounding and audit logging

agentsprotocol

AgentsProtocol makes AI-generated knowledge verifiable. PoISV + GHOSTDAG + ZK proof abstraction. DOI: 10.5281/zenodo.19642292

beancount-openbanking-io

Zero-knowledge open banking — server-to-server SDKs (.NET, Node, Python, Rust, Go, Java, Ruby, PHP) and the openbanking CLI for open-banking.io

secp256k1-zkp-mw

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

casperprover

Verifiable proof layer for AI agent computations on Casper Network

helix-tel

Zero-exchange cryptographic key derivation from constitutional AI behavior. Two nodes independently derive an identical encryption key through deterministic convergence — no key transmitted, negotiated, or pre-shared.

tno-zkp-templates

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

zkumstad

AI Agent for zkApps Developers