the Modality Network

Formally verified.
Built to scale.

Today’s internet lets machines exchange information. Blockchains let machines exchange value. This is the public ledger where they exchange commitments — permissions, duties, evidence, and failure paths another party can replay and check.

Run a node Language docs

Public testnet is under active development. This is not mainnet.

Default consensus

A contract only a permissioned set can order is not a stranger’s agreement. A contract that is safe only after a long confirmation window is not usable by agents that must act.

Permissionless entry

Proof of work grounds consensus. A node joins by mining, not by a permission list and not by already holding a stake.

Fast finality

Accepted commits become usable near instantly under normal network conditions. Fast finality is not claimed if those conditions fail.

Verified composition

The combined protocol is specified so those properties can be checked. Invalid contract commits are rejected, not penalized later.

Git for trust

A Modality contract is not a prompt and not a policy PDF. It is state, a model of possible moves, and accumulating rules in temporal modal logic. Every accepted commit is signed. Anyone can replay the log. No trusted third party.

The language, verifier, CLI (modal), hub, SDK, and node are completely open source. Counterparties check without asking a vendor to be honest. The network is how those contracts become global.

contract/
├── state/     # posted data
├── model/     # possible moves
└── rules/     # who / when / under what

A commit is accepted only if it is signed
as required, is a valid model transition,
and satisfies every rule on the log.

Three roles

Miner, sequencer, and validator are not synonyms. Hashpower is how a stranger joins.

miner

Permissionless PoW

Extends the canonical index. Anyone who can mine can enter consensus and, by nomination, affect who sequences later.

sequencer

Miner-nominated

Orders contract bytes on the finalized log that contract users wait on. Sequencers are not the language verifier.

validator

Later bonded role

Attests that a contract prefix is valid Modality. Not the join path.

Run a node

Install a current modal binary and create a joiner with a new key. Do not reuse Foundation bootstrap identities. Open TCP 4040 if you want other peers to dial you.

# install
curl -fsSL https://get.modality.org/testnet/latest/install.sh | sh

# new key, public testnet config
modal node create --dir ./my-node --testnet
modal node run-miner --dir ./my-node --no-tui

If ping to a published bootstrapper times out, the testnet is not currently joinable. Language how-to lives at modality.org. Binaries live at get.modality.org.