What is ErgoScript and how does it work?

ErgoScript is Ergo's smart contract language - a Scala-based, functional language that compiles to ErgoTree for on-chain execution. Unlike Solidity, ErgoScript is not Turing-complete by design, ensuring predictable execution costs and easier formal verification. It's powerful enough for complex DeFi yet safe enough to audit.

• Scala-based functional language
• Compiles to ErgoTree (on-chain format)
• Not Turing-complete: predictable costs
• Supports Sigma Protocols natively
• Easier to audit than Solidity
• Powers all Ergo smart contracts