βοΈ Documentation | π Examples | π¬ Community
Verifiable contracts are a mechanism for ensuring the compliance of evolving constraints over data.
Modality is an open source standard for verifiable contracts providing native formal verification.
Please read the FAQs to learn more.
- π Embedding identity management into workflows
- π Enhancing record keeping with rules and governance
- βοΈ Adding dynamic consent to compliance docs
- π€ Enabling agents to self-orchestrate cooperation
- π Deploying verifiable contracts onto a global network
curl --proto '=https' --tlsv1.2 -sSf https://www.modality.org/install.sh | shModality is actively developed in both JavaScript and Rust.
The goal of Modality JavaScript is to provide easy to use web-compatible libraries for verifiable contracts.
The goal of Modality Rust is to provide portable system level libraries and a CLI for use with verifiable contracts.
- π GitHub Issues: Report bugs or request features.
- π¬ Join the Modality Discourse: Connect with other users and contributors.
- π£οΈ Join the Modality Discord: Chat and join community meetings on Discord.