verifiable
Zero Knowledge (ZK) toolkit for generating and verifying IETF VRF, Pedersen VRF and Ring Proofs
Provable consensus for AI agents of rival owners: deterministic red lines, max-min consensus over masked verdicts, and a verifiable non-betrayal transcript. Multilateral, non-crypto, self-hosted.
Verifiable serverless SQLite hosting on Ethereum Swarm: read-only VFS for lazy SELECT + a publisher for the write path over swarmfs
Local-first Rust data engine: SQL, native structures, lexical/vector search, WAL, MVCC, recovery, and verifiable proofs in one binary.
Helios Server (Helios is an end-to-end verifiable voting system) as library
