PyPI Stats

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
keep-starknet-strange
garaga

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

18K 258 87
nicholasraimbault
skytale-sdk

Encrypted channels for AI agents

6K 1 0
SynapseLayer
synapse-layer

Persistent memory infrastructure for AI agents — State Continuity Layer.

6K 9 4
merricx
zksnake

zk-SNARKs in Python

1K 6 0
The-17
agentsecrets

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

870 2 1
ZeroProphet
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.

709 24 8
grinventions
secp256k1-zkp-mw

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

195 2 1
logflux-io
logflux-sdk

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

167 0 0
UmstadAI
zkumstad

CLI AI Agent for zkApps Developers

143 6 0
UmstadAI
zkappumstad

CLI AI Agent for zkApps Developers

130 6 0
TNO-ZKP
tno-zkp-templates

ZKP templates module

121 0 0
sahilmahendrakar
zkpy

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

96 7 1
anarvote
helios-lib

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

90 13 4
UmstadAI
zkappsumstadcli

AI Agent for zkApps Developers

62 6 0
logflux-io
logflux-io

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

2 0 0