I decided to have a quick look, and this caught my eye:
—-
zx_cprng_draw() terminates the calling process if buffer is not a valid userspace pointer.
——
”Terminates the calling process”? That sounds different and interesting, do you know more about this aspect of Fuchsia?