Also, are there any requirements for speed (i.e. class)
Those are UHS-3 V30. Class 10 is one square down in the infographic on the SD card developer's spec page: Speed Class - SD Associationi only ever use class 10 or higher for video / photo recording applications
4k IPC VBR rarely exceeded even 6-7 Mbps, i've had no lost data in my IPC-HFW2831T-ZS-S2 VBR writing to class 10 SDXC....and i did say, class 10 or higher....Those are UHS-3 V30. Class 10 is one square down in the infographic on the SD card developer's spec page: Speed Class - SD Association
Should be fine.
i've had no lost data in my IPC-HFW2831T-ZS-S2 VBR writing to class 10 SDXC