Juan A. Garay

Blockchains from Non-Idealized Hash Functions

2019 · IACR Cryptology ePrint Archive

The formalization of concrete, non-idealized hash function properties sufficient to prove the security of Bitcoin and related protocols has been elusive, as all previous security analyses of blockchain protocols have been performed in the random …