Computer software for smart contract technologies to verify and transfer electronic funds; computer software for blockchain technologies to record financial transactions and verify contracts; computer software for logistics and freight management; computer software platforms for smart contract technology to execute smart contracts; computer software platforms for blockchain technology to manage transfer of virtual currencies