¿Existe algún multisig que esté formalmente verificado para el 7702? Si no es así, buscamos personas que quieran implementarlo con nosotros.
@guillaumeclaret @FormalLand @lean_knack @rj_aligned @mauro_aligned @mati_onorato de CC también
87