Cryptography in Bitcoin.
Bitcoin uses a number of cryptographic functions that are described in external standards. Our Bitcoin model uses cryptographic functions from external libraries.
Here we define the Hash160 function, which appears to be specific to Bitcoin.