 This certificate should be enclosed with the compiled code in order to provide a form of proof to the consumer that the source code was compiled according to a certain set of rules.The certificate can be produced in different ways, e.g.through Proof-carrying code (PCC) or Typed assembly language (TAL).