No exact results. Similar results found.
@stf@chaos.social2026-03-10 01:27:42
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?
