An offchain computing layer for DePIN verifiable data computation, supporting a variety of validity proofs including Zero Knowledge (ZK), Trusted Execution Environments (TEE), and Multi-party Computation (MPC)
Sovereign AI DePIN Grid. A `no_std` Rust kernel using Thermodynamic Proofs (Entropy) to verify edge inference. 100% Z3 Formally Verified. Settled on Solana, permanently archived on Arweave. Dismantling the AI Monopoly.
Add a description, image, and links to the validity-proofs topic page so that developers can more easily learn about it.
To associate your repository with the validity-proofs topic, visit your repo's landing page and select "manage topics."