Finns det någon multisignatur som är formellt verifierad för 7702? Om det inte finns så letar vi efter personer som vill implementera det hos oss.

@guillaumeclaret @FormalLand @lean_knack @rj_aligned @mauro_aligned cc @mati_onorato också gå med