Is er een multisig die formeel is geverifieerd voor 7702? Als dat niet het geval is, zijn we op zoek naar mensen die het samen met ons willen implementeren.

@guillaumeclaret @FormalLand @lean_knack @rj_aligned @mauro_aligned cc @mati_onorato sluit ook aan