Thaddeus Batt, a former software executive, will lead the state's research into applying distributed-ledger technology to government functions.