I admit to being confused by their security statements. Is the OS and code running on the device open sourced? Given that it looks like the device is handling t

I admit to being confused by their security statements. Is the OS and code running on the device open sourced? Given that it looks like the device is handling the encryption, and I got the device from them, I don't see any publicized way for me to verify that any encryption is actually happening.