Programmable Internet: using distributed ledger and segment routing technology