According to Buterin, these nodes verify blocks and the entire chain without storing all the data by utilizing stateless verification or zkEVM. They will be programmed to store a selected subset of data instead of a full set, and are still able to perform requests pertaining to data in the selected portion.