Client side encryption

"Stored privately and encrypted at rest."

This lets me conclude: encrypted => bashhub down

I have to assume, you want to make bashhub a reliable service, so it has to be always up.

This lets me also conclude: bashhub up is a tautology =>bashhub down won't ever be fulfilled. So encrypted cannot ever be fulfilled, because encrypted => bashhub down has to be valid.

This is simple logic: The data won't ever be in an encrypted state.

For a real formal approach. Sry, I'm too lazy spending effort in this.