openssl - ocaml 等效于 php 的 openssl_verify 函数

Question

我正在尝试制作https://github.com/Yubico/php-u2flib-server/blob/master/src/u2flib_server/U2F.php的 ocaml 版本，但似乎我不明白所有这些，我正在尝试完成 doRegister 功能。

我可以成功解码所有信息，最终得到一个有效的 pem 证书，看起来像一个正确的签名和要检查的数据。我正在寻找 php 的 openssl_verify 的 ocaml 等价物（php 文件的第 231 行），但是查看文档我不确定它到底做了什么。

我的目标是 MirageOS，所以我不能只使用 C 库。

标签： opensslocaml