ocaml等价于php'；s openssl_验证函数

我正在尝试制作的ocaml版本，但似乎我不完全理解，我正在尝试完成doRegister函数

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

---

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

IIRC，MirageOS内部可能有一些TLS实现（主要是在Ocaml中）。但我可能错了（我可能在一年前的一次演讲中听到过）。你可以在MirageOS的邮件列表上询问谢谢，把它发送给ML！这个问题不支持这样做，所以我将投票结束。此类问题应在OCaml讨论板或Discord频道上提出。OCaml中有很多加密库，举几个例子：sha（）、digestif（）、cryptokit（），我不明白这怎么不是一个问题，我正在寻找一种方法来检查纯OCaml中的签名。不幸的是，这些lib不能做到这一点，从我在幻影邮件列表上得到的答案来看，问题并不像使用一些lib那么简单。不幸的是，似乎没有什么能实现这一点