Tootfinder

during the #formosa talk at day1 of #realworldcrypto i see they reference signalapp/noise-c using some jade implementation for the pqkem. i wonder why don't the use the formally verified noise-star project instead?

GitHub - Inria-Prosecco/noise-star: Verified implementations for the Noise family of protocols
Verified implementations for the Noise family of protocols - Inria-Prosecco/noise-star