Card-based ##cryptography Meets Formal Verification

Card-based Cryptography Meets Formal Verification submitted by /u/atoponce [link] [comments] top scoring links : crypto Cryptography is the art of creating mathematical assurances for who can do what with data, including but not limited the classical example of encrypting messages so that only the key-holder can read it. Cryptography lives at an intersection of math, programming, and computer science. This subreddit covers the theory and practice of modern and *strong* cryptography, and it is a technical subreddit focused on the algorithms and implementations of cryptography.

Read More

“Forget about existing money and existing banks. And create a system of accounts which will displace money… We can’t take money out of the hands of governments by force we can introduce something that they can’t stop” – FA Hayek in 1984

“Forget about existing money and existing banks. And create a system of accounts which will displace money… We can’t take money out of the hands of governments by force we can introduce something that they can’t stop” – FA Hayek in 1984 submitted by /u/canesin [link] [comments] top scoring links : CryptoCurrency The official source for CryptoCurrency News, Discussion & Analysis.

Read More

“I would like to get rid of the Federal Reserve, too! I would like to have money controlled by a computer.” -Milton Friedman in 1991

“I would like to get rid of the Federal Reserve, too! I would like to have money controlled by a computer.” -Milton Friedman in 1991 submitted by /u/powerfunk [link] [comments] top scoring links : CryptoCurrency The official source for CryptoCurrency News, Discussion & Analysis.

Read More

France and Germany agree to block Facebook’s Libra

France and Germany agree to block Facebook’s Libra https://www.reuters.com/article/us-facebook-cryptocurrency-france-german/france-and-germany-agree-to-block-facebooks-libra-idUSKCN1VY1XU submitted by /u/krautdawg [link] [comments] top scoring links : CryptoCurrency The official source for CryptoCurrency News, Discussion & Analysis.

Read More

OKEx Korea delisting all #privacy coins, including Monero, Zcash and Dash, as these β€˜violate’ FATF’s ‘travel rule’ – The Block

OKEx Korea delisting all privacy coins, including Monero, Zcash and Dash, as these β€˜violate’ FATF’s ‘travel rule’ – The Block submitted by /u/mebinici [link] [comments] top scoring links : CryptoCurrency The official source for CryptoCurrency News, Discussion & Analysis.

Read More

Is EdDSA with Blake2b as hashing function secure?

Is EdDSA with Blake2b as hashing function secure? Hi, I’m currently designing an app which will use cryptography heavily. We want to limit the number of used cryptographic primitives. Blake2b will be used for hashing, so it could be great if we reuse this primitive for signing instead of Ed25519’s SHA2-512. so Is EdDSA with Blake2b secure/common? I cannot find much literature about this. submitted by /u/z0mbie42_ [link] [comments] top scoring links : crypto Cryptography is the art of creating mathematical assurances for who can do what with data, including…

Read More