Add Coppersmith Spec