Skip to content

Maya2C

A post-quantum layer-1 blockchain node, in Rust.

Two signatures per transaction

ML-DSA-65 (FIPS 204) and SLH-DSA-SHA2-128s (FIPS 205), and both must verify. 11,165 bytes per transaction: the price of not betting the chain on one lattice assumption.

Post-quantum transport

libp2p with an ML-KEM-768 layer over Noise, and an optional HQC-192 second KEM behind a flag.

Rust, end to end

Node, wallet, explorer, miners and contract VM in one Rust workspace. Ledger arithmetic is kept dependency-free so Kani can check it.

Honest status

Every subsystem is labelled working, verified, simulated or research in a machine-checked ledger. A claim without a test fails CI.

Status
Public testnetNot live yet. Being prepared.
MainnetDeliberately blocked until the shielded-pool circuit has an independent audit. See mainnet readiness.
SourcePublic, on GitHub.

Nothing on this site is an offer of a token, and no token is for sale.