Smart contracts

Programmable blockchain, world computer.

Languages

• Solidity
• Vyper
• Rust
• Move

Bytecodes

• EVM
• SBF (based on eBPF)

Formal verification

• Certora