Separation Proof

The frontend proves it is not the backend and does not carry backend secrets.