The Genetic Ledger and DNA Computing