A tool for auditing Sharemind computations.