4 releases
0.1.5 | Dec 16, 2024 |
---|---|
0.1.4 | Dec 13, 2024 |
0.1.2 | Dec 13, 2024 |
0.1.0 | Dec 3, 2024 |
#5 in #temporal-logic
Used in 2 crates
33KB
717 lines
Modality ⲙ

⚙️ Documentation | 🌟 Examples | 💬 Community
🤔 What is this?
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.
🎯 Use Cases
- 🔐 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
🚀 Quick Start
curl --proto '=https' --tlsv1.2 -sSf https://www.modality.org/install.sh | sh
🏁 Roadmap
🛠️ Development
Modality is actively developed in both JavaScript and Rust.
JavaScript
The goal of Modality JavaScript is to provide easy to use web-compatible libraries for verifiable contracts.
Rust
The goal of Modality Rust is to provide portable system level libraries and a CLI for use with verifiable contracts.
🌍 Community & Support
- 📂 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.
🧑💻 Contributors
Star History
Dependencies
~20–37MB
~588K SLoC