Property of a system where users need not trust a specific party; correct behavior is enforced by cryptography, consensus, and open verification.