Proof-carrying code architecture for MRG

This machine can act either as the code producer or the code consumer.