1 unstable release

0.1.5 Dec 16, 2024

#6 in #temporal-logic


Used in modality

MIT license

52KB
1K SLoC

Modality ⲙ

Modality Banner

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

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.

🌍 Community & Support


🧑‍💻 Contributors

Star History

Star History Chart

Dependencies

~30–67MB
~1M SLoC