Finnes det noen multisignatur som er formelt verifisert for 7702? Hvis det ikke er det, ser vi etter folk som ønsker å implementere det sammen med oss.

@guillaumeclaret @FormalLand @lean_knack @rj_aligned @mauro_aligned cc @mati_onorato også bli med