3 ms·Or they could've used a formally verified crypto library such as HACL*.by kachnuv_ocasek 6y agoOr they could've used a formally verified crypto library such as HACL*.