According to the documentation they're actually using ChaCha20: https://fuchsia.dev/fuchsia-src/concepts/kernel/cprng