Well I don't have a Rock Pi 4; so just some idle thoughts from me on installing ArchLiux Arm on a new device.
The board will almost certainly have a UART connection, it is worth wiring this up to another computer, so you can follow whats going on. Most arm UART are 3.3V level - so you'll need an adapter that does that and not an RS323 device ...
Monitoring the UART, and you'll see uboot coming up, and so can see where it fails ...
looking at your logs, you are formatting with GPT partition table, usually I use the MSDOS partition table. Now looks like uboot has the EFI code in it - so with GPT-EFI uboot should be able to understand the partition table, if that has been compiled in ...
The boot code on most arms, is set up to just direct access a certain location in flash/sd card/etc. Now this usually means that the uboot has to be at a specific location on the sd card (or eMMC, etc). Now where that location is you'll have to research for the Rock Pi 4; and more specifically for whatever cpu chip you have. You'll need to write uboot to that location.
Once you get uboot to come up (in the uart), its usually fairly straight forward from there to boot into linux. Make sure you have the device tree for Rock Pi 4; as you'll need that. You may (or may not) need a kernel with patches for the Rock Pi 4.
Hope these ideas help.
Oh yes - here are the details on how the CPU boots, which you need to read:
http://opensource.rock-chips.com/wiki_Boot_option