Decentralized governance for Git communities
A list of tools and methods for building trustworthy software following TrustOps principles.
Tamarin codes for checking verifiability properties of Helios, Belenios and the Estonian e-voting protocol.
Course project on prompt engineering for automated verifiability checking of online user comments.
A research agent harness that measures what it claims. Evidence DAGs, credence propagation, replayable runs.
A library to use interval arithmetic on PyTorch's models. It can also generate a PVS theory. It can also use Statistical Model Analysis
Readme
A secure, privacy-preserving voting system built with Go, featuring zero-knowledge proofs and homomorphic tallying for absolute vote privacy and public verifiability.
Flight recorder for AI agents: every run becomes a hash-verified proof bundle stored on Walrus Mainnet and anchored on Sui Mainnet
Verifiable, tamper-evident receipts for RAG answers. Merkle inclusion proofs and Ed25519 signatures.
Redfish secures DeFi liquidity using Uniswap v4 Hooks and EZKL-powered ZKML to detect anomalies in real-time, enriched by verifiable Etherscan history via vlayer ZK-TLS.
To associate your repository with the verifiability topic, visit your repo's landing page and select "manage topics."