Technology of smart contracts