Decentralized governance for Git communities
Lunal is the AI confidential compute platform. We run your AI workloads (inference, training, agents) inside hardware-encrypted environments called Trusted Execution Environments (TEEs). Your data and code stay private while being processed. Your code can't be tampered with. You can cryptographically verify both claims without trusting us.
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
A secure, privacy-preserving voting system built with Go, featuring zero-knowledge proofs and homomorphic tallying for absolute vote privacy and public verifiability.
Readme
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.
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."