Blockchain-based cryptocurrencies have become an extremely important,
hi...
Proof-of-Work (PoW) is a fundamental underlying technology behind most m...
Quantum computation represents a threat to many cryptographic protocols ...
We set down the principles behind a modeling language for quantum softwa...