Há algum multisig que seja formalmente verificado para 7702? Se não houver, estamos à procura de pessoas que queiram implementá-lo connosco.
@guillaumeclaret @FormalLand @lean_knack @rj_aligned @mauro_aligned cc @mati_onorato juntem-se também
79