I have ended up implementing a functionally equivalent app to the Google Smart Lock iOS app, not in small part thanks to the info in this post :)

https://github.com/billinghamj/u2f-ble

It implements the signing part of the U2F standard in a pretty much equivalent way to Google’s, including full support for facet IDs, etc.

Probably a useful base for anyone looking to do something equivalent for their project.