I found them randomly in the opencode providers list. Can't find any info on them, but they claim to have solved confidential computing:

https://docs.privatemode.ai/security/#verifiability

They've been around since the beginning of 2025 as far as I can say, but it's hard to find any information about them. Did anyone actually use them? Are they truly verifiable EE2E AI provider? Can't find any writeups on this service and they seem to be quite what I was waiting for since the beginning of the AI boom.