Tezos: a self-amending cryptographic ledger

Our smart contract language makes it easier to apply formal verification to any smart contract running on the Tezos blockchain. This allows developers to rule out weaknesses in code before uploading that code on the blockchain.

Actions
Connections