They are computer programs where the participants agree on a calculation made through a consensus mechanism.

Bitcoin is an example of that.