Smart contracts can have arbitrary state, but in general, yes. An archival node stores the state for each block which is only useful for block explorers and sim

Smart contracts can have arbitrary state, but in general, yes. An archival node stores the state for each block which is only useful for block explorers and similar. That's indeed likely to take 1TB in 2018 - hardly a problem.