What is
A property of a computational system that can simulate a Turing machine, indicating that it can perform any computation that a Turing machine can, given enough resources.
A property of a computational system that can simulate a Turing machine, indicating that it can perform any computation that a Turing machine can, given enough resources.
Common questions about this topic
Building DeFi on Ergo starts with understanding the eUTXO model and ErgoScript. Unlike account-based chains, Ergo's box model provides deterministic execution, no MEV by design, and predictable gas costs. Use Oracle Pools for price feeds, and leverage existing patterns from Spectrum Finance and SigmaUSD.
Different privacy models for different needs. Monero provides always-on, protocol-level privacy with ring signatures. Ergo offers optional privacy via Sigma Protocols with selective disclosure - you can prove things about data without revealing the data. Ergo excels at programmable privacy (private smart contracts), while Monero excels at simple private transfers.
Sigma Protocols are zero-knowledge proof systems that let you prove statements about data without revealing the data itself. On Ergo, they're built into ErgoScript, enabling privacy-preserving smart contracts. You can prove you own funds, meet conditions, or belong to a group - all without exposing your identity or exact values.
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.