I'm part of a team developing an open source applet. Our goal is for multiple manufacturers to produce smart cards with the applet installed. It is essential that users are able to verify the applet code hasn’t been modified by the manufacturer. Is this possible or will we need to trust the manufacturers?