⚙️ 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.