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, strong MEV-resistance, and predictable fee construction. Use Oracle Pools for price feeds, and study 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.