我正在尝试制作https://github.com/Yubico/php-u2flib-server/blob/master/src/u2flib_server/U2F.php的ocaml版本，但似乎我不太了解，我正在尝试完成doRegister函数。
我可以成功解码所有信息，最终得到有效的pem证书，看起来像是正确的签名和要检查的数据。我正在寻找与php的openssl_verify（php文件的231行）相当的ocaml，但是在寻找文档时，我不确定它的确切作用。
我的目标是MirageOS，所以我不能只使用C库。