let top_input = SigKey (Signature.in_top_key)