Verifiable Computation Python Packages

wickra-zk

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

vfhe

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

openworkproof

Open protocol for AI agent work contracts and verifiable execution — authorization, evidence, and acceptance for multi-agent systems

semafide-seal

Tamper-evident custody records for automated valuation runs: schema, append-only log, witness cosigning, a capture scaffold, and a standalone verifier. Completeness enforcement is unsolved

acfa-flower

Train one machine-learning model across many parties who don't trust each other. A dishonest minority can't skew the result, and every party computes byte-for-byte identical output on any CPU or architecture (big-endian included) — so each round ships a receipt anyone can re-check offline and reproduce exactly. Rust; drop-in for Flower.