Adds first attempt at translating proof to circuits.