We develop a system for grid computing where the price of computing tasks is determined by an audited market-exchange. We show a method to provide a variable certificate, called \witness," of program execution with the following property: If two different agents running the same program on the...