already solved provable inference with encrypted chats on trustedrouter (using TEEs which most people don’t know about)