Zero Knowledge Python Packages

garaga

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

8K 258 88

skytale-sdk

End-to-end encryption for AI agents. MLS (RFC 9420), zero-knowledge relay, open source. Python SDK, Rust SDK, CLI.

4K 1 0

sovereign-ai-stack

"Local RAG with Cryptographic Verification - The Verified Airlock for Sovereign AI

2K 0 0

agentsecrets

Python SDK for AgentSecrets — zero-knowledge secrets infrastructure for AI agents

863 2 1

zksnake

zkSNARKs in Python

790 6 0

nyxora

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

748 0 0

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.

502 24 8

agentsprotocol

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

401 1 0

secp256k1-zkp-mw

FFI bindings to libsecp256k1-zkp for Mimblewimble protocol

192 2 1

tno-zkp-templates

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

133 0 0

logflux-sdk

Official Python SDK for LogFlux.io -- end-to-end encrypted log ingestion

131 0 0

zkumstad

AI Agent for zkApps Developers

117 6 0

zkappumstad

AI Agent for zkApps Developers

101 6 0

helios-lib

Helios Server (Helios is an end-to-end verifiable voting system) as library

81 14 4

zkpy

A Python library that allows for easy compiling/proving/verifying of zk circuits.

76 7 1

zkappsumstadcli

AI Agent for zkApps Developers

50 6 0

logflux-io

LogFlux Python SDK — secure logging, tracing, and metrics with end-to-end encryption (AES-256-GCM)

1 0 0