They are computer programs where the participants agree on a calculation made through a consensus mechanism. Bitcoin is an example of that.