Just in case, if you haven't noticed yet:
https://www.blackmagicdesign.com/au/products/blackmagicmicrocinemacamera

It offers genlock and global shutter (for selected frame rates, though). Only Full HD, no 4K.

Damir

Here is 4K version:
https://www.blackmagicdesign.com/products/blackmagicmicrostudiocamera4k

Very impressive! Thanks for sharing it with us.

The 4K version won't have the same dynamic range but finally we have some simple small profile cameras ideal for 3D rigs.