A blockchain for contracts that can be proven correct
Navora is the community team that maintains the ZP network, built on the Zen Protocol code: a proof-of-work chain with formally verifiable smart contracts, a community fund governed by votes, and tools for open markets.
Network now
Checking…
Block height
–
Chain time
–
Peers of this node
–
Difficulty
–
Hashrate, block times, miners and the CGP cycle →
What you can do here
Hold and send
An open-source web wallet. Your keys stay on your device.
Look inside
Blocks, transactions and addresses, read straight from the chain.
Govern
See how holders vote on the community fund, interval by interval.
Issue and trade assets
Every token on the chain, with its issuing contract.
Run a node
Docker install, a ready snapshot and a seed address.
Build
Contracts in F*, public APIs, the oracle and the Dex.
Markets are on the testnet. The exchange (Dex), price oracle and USDC bridge prototype run on a separate test network with coins that have no value, so they can be tried freely.
Blockchain snapshot
Load it into a new node to skip most of the initial sync. Chain data only, no wallets.
Loading…