Ghosts of Departed Proofs (Functional Pearls)September 2018 — Matt NoonanHaskell 2018#haskell#implementation
Formal specification for a Cardano walletJuly 2018 — Duncan Coutts, Edsko de VriesIOHK#implementation#proof-of-stake
Improving Authenticated Dynamic Dictionaries, with Applications to CryptocurrenciesApril 2017 — Leonid Reyzin, Dmitry Meshkov, Alexander Chepurnoy, Sasha IvanovFinancial Cryptography 2017#cryptocurrency#distributed#implementation
