Decentralized governance for Git communities
Confidential is software for private, secure AI workloads, agents, and inference. It lets you provide on-prem security and privacy guarantees on your off-prem hosted infrastructure. It protects data and models in use with Trusted Execution Environments (TEEs). It runs on your existing hardware.
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 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.
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.
Go tool for managing GPU clusters that provide verifiable compute proofs for AI training.
Add a description, image, and links to the verifiability topic page so that developers can more easily learn about it.
To associate your repository with the verifiability topic, visit your repo's landing page and select "manage topics."