Proving Rings