A list of default peers are statically encoded in https://github.com/o1-labs/openmina/blob/develop/core/src/network.rs. The list might have changed since we moved from Mina Foundation to o1Labs. We must check with the list provided [here](https://github.com/o1-labs/seeds/).