Trust your algorithms. Prove their integrity.