fede_intern: is there any multisig formally verified for 7702, and if not, who wants to build one with us
23:33; zooko: recommends Sophie Schmieg's rundown of unknown unknowns in post-quantum algorithms, with stateless hash based signatures safest, 10:30.
