Non-Deterministic Computation

Definition ∞ Non-deterministic computation describes a process where, given the same input, the output or execution path can vary. In the context of blockchain and smart contracts, this introduces significant problems because all nodes in a decentralized network must arrive at the exact same state for consensus to be maintained. Such variability breaks the agreement required for a distributed ledger, making it impossible to verify transactions consistently. Therefore, deterministic execution is a fundamental requirement for blockchain integrity.
Context ∞ The avoidance of non-deterministic computation is a foundational principle in blockchain design, frequently discussed in developer forums and technical news concerning smart contract languages and virtual machines. Any element that could introduce non-determinism, such as relying on external data feeds without proper oracle mechanisms or using functions that return variable results, is rigorously scrutinized. Ensuring complete determinism remains a critical design goal for all on-chain operations.