Existe algum multisig que seja formalmente verificado para o 7702? Se não houver, estamos procurando pessoas que queiram implementar isso conosco.
@guillaumeclaret @FormalLand @lean_knack @rj_aligned @mauro_aligned @mati_onorato de cc também
85