Modality ⲙ

🤔 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

Milestones

Issues

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

Language & Tools

• Modality Language Semantics: Comprehensive guide to the Modality language and model checking
• Quick Reference: Fast reference for developers using Modality
• Developer Guide: Implementation details and extension guide

🌍 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