ads:经过身份验证的数据结构

【文件属性】：
文件名称：ads:经过身份验证的数据结构
文件大小：9KB
文件格式：ZIP
更新时间：2021-07-19 12:54:54
Haskell 经过身份验证的数据结构 这是什么 这是将描述的语言嵌入到 Haskell 中。 一个示例用例是实现 Merkle 树。 它（当前）没有实现论文中描述的任何优化，并且与论文中描述的实现一样，不支持经过身份验证的功能。 有三种方法可以使用此库制作经过身份验证的数据。 您可以手动将Auth数据类型添加到您的结构中并手动实施MapAuth 。 您可以使用FixAuth将您的数据结构表示为一个固定点，它会自动成为MapAuth一个实例，如。 您可以使用Auth1数据类型并使用派生Generics1 ，然后简单地声明instance MapAuth YourDataType （请参阅和）。 所有方法都需要实现Digestible ，它应该计算数据结构的加密摘要。 对数据结构的操作将在AuthM monad 中， Auth数据结构分别通过auth和unauth引入和消除。 （ Auth1只是Aut

【文件预览】：
ads-master
----.gitignore(52B)
----README.md(3KB)
----Data()
--------Authenticated.hs(3KB)
--------Authenticated()
----Setup.hs(46B)
----notes.md(1KB)
----LICENSE(1KB)
----ads.cabal(1KB)