sketch in logic for checking signature of SCT