Generic Authenticated Data Types
This package is inspired by Miller et al.'s paper Authenticated Data Structures, Generically and tries to implement the relevant ideas as a library in Haskell.
Generic Authenticated Data Types
This package is inspired by Miller et al.'s paper Authenticated Data Structures, Generically and tries to implement the relevant ideas as a library in Haskell.
Generic Authenticated Data Types
BSD 3-Clause "New" or "Revised" License