Visa, PayPal, bitcoin. The last, it seems,is not like the others.
You might be thinking, well, of course. It's unique compared to olderinstitutions, ones that first madedigital currency possible by storing payment data in centralized databases.
But, that might be only one way of looking at it.
Computer scientists and developers are quick to note that the reason bitcoin has succeeded at decentralizing its monetary system is because it improves onpast computer consensus protocols, a point that Cornell associate professor Elaine Shi stressedin her presentation at the recent Stanford blockchain security conference.
Even after 30 years of research, Shi explained, classical consensus protocols fail under certain conditions. But she believes bitcoin is different because it's more "robust".
However, defining and mathematically spelling out these differences isn't so easy to do.
Shitold CoinDesk:
"The protocol's success is kind of ahead of the scientific understanding."
Despite the challenge, the academicseems determined to catch up.
Sitting in the cold after a long day of security presentations, she chatted excitedly about bitcoin's unique properties.
She noted that other recent research has sought to develop a formal security proof for bitcoin, and that thinkers from IC3 and elsewhere are now looking to help flag potential vulnerabilities and to inform future researchinto the protocol.
Shi's curiosity was first piqued in 2010 or 2011 while she was working for the technology company Xerox PARC in Palo Alto.
It was then that her friend, a hobbyist and miner, showed her the bitcoin white paper. They read through it together,fascinated.
"We tried to understand why bitcoin took off," she said.
From her point of view, it was a big deal that the currency saw so much use compared to ecash, a technology put into the worldby long-time cryptographer David Chaum in the mid-1990s.
"At that time, they adopted more sophisticated crypto. But there wasnt so much traction," she said.
She added that she was impressed that bitcoin, in contrast, saw more rapid adoption and uses simple cryptography public key encryption, signatures and hash functions.
"One big thing for bitcoin was that it made the incentives right. It gave incentives to early adopters. There are various other aspects that maybe it did right in terms of incentives and possibly helped with adoption and how it gained popularity," she added.
Later on, Shi moved to University of Maryland, where she continued her bitcoin research, and then to Cornells Initiative For CryptoCurrencies & Contracts (IC3), the university's center for study on all things blockchain.
Her presentation at Stanford, "Rethinking Large-Scale Consensus," discussed her new research, aimed at rethinking how bitcoin might work differently, but retain its unique properties. The result is her proposed 'sleepy'model of consensus.
She noted that when she asked why people were exploring the use of a blockchain rather than a long-studied classical protocol, such as PBFT, people would typically respond "because its more robust".
This is the common wisdom. But, she noted that from an academic perspective, its been difficult to even define what 'robust' means exactly.
In this light, 'sleepy consensus' explores a specific piece of bitcoin's robustness: sporadic participation, where nodes can leave and enter the system as they please. It further examines whether a system can be as robust without proof-of-work, the algorithmthat leads to one agreed-upon transaction history
In Shi's model, there are 'sleepy' nodes (that are offline) and 'awake' nodes (that are online and active).
Shi displayed images of Snow White to show each state, and to demonstrate that that nodes can shift between these two states.
"For example, when the prince kisses Snow White, she wakes up and continues to participate," she said. "Snow White is a very robust princess."
One way to test the robustness of the system is to seewhether itcan come to agreement when 51% of the online nodes are 'honest' (and therefore will not accept an invalid transaction), even with this property of sporadic participation.
Classical models fail here. In fact, Shi went as far as to say that no classical protocol, whether synchronous or asynchronous, holds up. Not even when 99% of the online nodes are honest.
She concluded that bitcoin, as conventional wisdom says, is indeed robust. Its a system thats been up and running for eight years, and that continues to work as long as 51% of nodes are honest.
'Sleepy' consensus builds on that robustness, but rearranges the protocol in a way that ditchesbitcoins proof-of-work.
The research team found that the tweaked systemwas more robust in some ways, but with the new construction, new security problems also sprung up.
Work is ongoing here, and Shi said that, for now, the protocol is suitable for consortium blockchains along the lines of those released by the Linux-led Hyperledger.
Though, again, there are perhaps other elements to bitcoin's 'robustness'.
Another project from Shi and IC3,FruitChains, explores bitcoins game theoretical component, or how it incentivizes participants to act in a way that ultimately benefits everyone.
The result of the research is a proposal for a 'fair blockchain', where block rewards and transaction fees are evenly distributed and there's less variance in rewards.
Analyzingeach piece on its own could lead to something bigger.
"In general, we need a new scientific foundation for all of this," Shi said.
Yet, Shiemphasized that this research is not about defining things just for the sake of academic curiosity.
Once people understand the protocols better, there are different, perhaps unexpected, directions togo. Broadly, researchers will have a better understanding of how public blockchains can be improved.
Proof-of-work is expensive, for example, as powerful computers from around the world are currently hashing puzzles at dizzying rates to secure blockchains like bitcoin and ethereum. Many researchers, such as those working on proof-of-stakefor ethereum, are trying to develop a way around these massiveelectricity demands.
Moreresearch couldhelp determinewhether or not those efforts are in vain.
Furthermore, Shi argues that its important to work on understanding the security of the protocol, and writing up mathematical proofs that could potentially bring to light hidden protocol flaws.
People have somehow developed these very nice intuitions, but its still very, very difficult to like design a provably correct protocol. Thats very, very important when youre dealing with something like cryptocurrency, because if the protocol is broken then your money is at stake, she said.
A 'provably correct' protocol, on the other hand, is one that satisfies certain mathematical requirements.
She mentioned that such a protocolcould help ward off future situations along the lines of The DAO the ethereum project that ended in failure.
Its very easy to make a mistake unless you go through this whole process, she said. I think that both in academia and in industry theres this huge need for these protocols, including both consensus and cryptography.
She also argued that smart contracts require more advanced cryptography protocols.
IC3 would like to help make these secure by constructing protocols. And deploy them in the real world, she added.
Beyond all that, Shi has other research ideas.
One potential project is to design a programming language that would let coders with little knowledge of cryptography create more secure apps. Programmers could state vaguely what security properties they need, and the programming language itself would decide what consensus protocol would be best used under the hood.
To Shi, the ability to combine disciplines in such a way is partly what's so exciting. And, bitcoin is a rich area to experiment with cryptography in particular, she said.
She concluded:
"This is like the goldmine of problems."
Bitcoin maze image via Shutterstock
Academic ResearchBitcoin ProtocolCryptographySecurity
Link:
What Makes Bitcoin Great? One Scientist is On a Quest to Find Out - CoinDesk
- To Foil NSA Spies, Encrypt Everything [Last Updated On: January 23rd, 2014] [Originally Added On: January 23rd, 2014]
- What is cryptography? - A Word Definition From the ... [Last Updated On: January 23rd, 2014] [Originally Added On: January 23rd, 2014]
- cryptography: Definition from Answers.com [Last Updated On: January 23rd, 2014] [Originally Added On: January 23rd, 2014]
- Cryptography - Wikipedia, the free encyclopedia [Last Updated On: January 23rd, 2014] [Originally Added On: January 23rd, 2014]
- Cryptography - CISSP Domain 07 - Video [Last Updated On: January 23rd, 2014] [Originally Added On: January 23rd, 2014]
- Cryptography Advanced Encryption Standard AES Tutorial,fips 197 - Video [Last Updated On: January 23rd, 2014] [Originally Added On: January 23rd, 2014]
- Faraday Project for Network Security and Cryptography - Video [Last Updated On: January 23rd, 2014] [Originally Added On: January 23rd, 2014]
- An Overview of Cryptography - Gary C. Kessler [Last Updated On: January 23rd, 2014] [Originally Added On: January 23rd, 2014]
- An Open Letter from US Researchers in Cryptography and ... [Last Updated On: January 24th, 2014] [Originally Added On: January 24th, 2014]
- Gambling with Secrets Part 4 8 Private Key Cryptography - Video [Last Updated On: January 24th, 2014] [Originally Added On: January 24th, 2014]
- Gambling with Secrets Part 1 8 What is Cryptography - Video [Last Updated On: January 24th, 2014] [Originally Added On: January 24th, 2014]
- Public Key Cryptography RSA Encryption Algorithm - Video [Last Updated On: January 24th, 2014] [Originally Added On: January 24th, 2014]
- Public Key Cryptography Diffie Hellman Key Exchange - Video [Last Updated On: January 24th, 2014] [Originally Added On: January 24th, 2014]
- Intro to Cryptography - Video [Last Updated On: January 24th, 2014] [Originally Added On: January 24th, 2014]
- Caesar Cipher Ancient Cryptography - Video [Last Updated On: January 24th, 2014] [Originally Added On: January 24th, 2014]
- 50 top US cyber security experts write open letter calling for end to NSA 'snoop-ops' [Last Updated On: January 26th, 2014] [Originally Added On: January 26th, 2014]
- Prominent cryptography and security researchers deplore NSA's surveillance activities [Last Updated On: January 27th, 2014] [Originally Added On: January 27th, 2014]
- Obama Stays Silent on Reform of NSA's Crypto Subversion [Last Updated On: January 30th, 2014] [Originally Added On: January 30th, 2014]
- Cryptography experts sign open letter against NSA surveillance [Last Updated On: January 30th, 2014] [Originally Added On: January 30th, 2014]
- US crypto researchers to NSA: If you must track, track responsibly [Last Updated On: January 30th, 2014] [Originally Added On: January 30th, 2014]
- Java Cryptography Architecture (JCA) Overview - Video [Last Updated On: January 30th, 2014] [Originally Added On: January 30th, 2014]
- Cryptography - Part 1 - Video [Last Updated On: January 30th, 2014] [Originally Added On: January 30th, 2014]
- Cryptography - Part 2 - Video [Last Updated On: January 30th, 2014] [Originally Added On: January 30th, 2014]
- International Journal on Cryptography and Information Security ( IJCIS) - Video [Last Updated On: January 30th, 2014] [Originally Added On: January 30th, 2014]
- Bitcoin Lowdown: Block Chain Cryptography Trumps Human Trust, Deal With It - Video [Last Updated On: January 31st, 2014] [Originally Added On: January 31st, 2014]
- Bitcoin Lowdown: Block Chain Cryptography Trumps Human Trust - Video [Last Updated On: January 31st, 2014] [Originally Added On: January 31st, 2014]
- NSA and GCHQ spoofed LinkedIn to hack Belgian cryptography professor [Last Updated On: February 1st, 2014] [Originally Added On: February 1st, 2014]
- Lecture 17: Elliptic Curve Cryptography (ECC) - Video [Last Updated On: February 1st, 2014] [Originally Added On: February 1st, 2014]
- Cryptography event - Pravega 2014 - Video [Last Updated On: February 3rd, 2014] [Originally Added On: February 3rd, 2014]
- Lecture 1: Introduction to Cryptography - Video [Last Updated On: February 3rd, 2014] [Originally Added On: February 3rd, 2014]
- US and UK spy agencies accused of swoop on Belgian cryptography expert [Last Updated On: February 4th, 2014] [Originally Added On: February 4th, 2014]
- Conceal: Facebook's new Java APIs for cryptography on Android [Last Updated On: February 4th, 2014] [Originally Added On: February 4th, 2014]
- Cryptography Apps: How To Keep Your Personal Info Private [Last Updated On: February 4th, 2014] [Originally Added On: February 4th, 2014]
- Cryptography Breakthrough Could Make Software Unhackable [Last Updated On: February 4th, 2014] [Originally Added On: February 4th, 2014]
- Oi, Android devs! Facebook wants your apps to be more secure [Last Updated On: February 5th, 2014] [Originally Added On: February 5th, 2014]
- Lecture 19: Elgamal Digital Signature - Video [Last Updated On: February 5th, 2014] [Originally Added On: February 5th, 2014]
- Lecture 18: Digital Signatures and Security Services - Video [Last Updated On: February 5th, 2014] [Originally Added On: February 5th, 2014]
- Cryptography 1. List some of the attacks on the Diffie ... [Last Updated On: February 6th, 2014] [Originally Added On: February 6th, 2014]
- Cryptography Breakthrough Could Make Software Unhackable ... [Last Updated On: February 6th, 2014] [Originally Added On: February 6th, 2014]
- Cryptography: Secret Coding, Spying, and E-Commerce - Video [Last Updated On: February 6th, 2014] [Originally Added On: February 6th, 2014]
- Cryptography - Video [Last Updated On: February 9th, 2014] [Originally Added On: February 9th, 2014]
- Public Key Cryptography: RSA Encryption Algorithm - Video [Last Updated On: February 10th, 2014] [Originally Added On: February 10th, 2014]
- Is Bitcoin Anonymous? Arvind Narayanan | Princeton University | Real World Cryptography Workshop - Video [Last Updated On: February 10th, 2014] [Originally Added On: February 10th, 2014]
- A Competitive Study of Cryptography Techniques over Block Cipher - Video [Last Updated On: February 14th, 2014] [Originally Added On: February 14th, 2014]
- How Quantum Computing Will Change Cryptography [Last Updated On: February 15th, 2014] [Originally Added On: February 15th, 2014]
- REALITY LOST - EXCERPT SIX (QUANTUM CRYPTOGRAPHY) - Video [Last Updated On: February 15th, 2014] [Originally Added On: February 15th, 2014]
- Introduction to Cryptography of Bitcoin, Explained! - Video [Last Updated On: February 18th, 2014] [Originally Added On: February 18th, 2014]
- [FOSDEM 2014] USE OTR or how we learned to start worrying and love cryptography - Video [Last Updated On: February 18th, 2014] [Originally Added On: February 18th, 2014]
- Reshif's Cryptography Challenge Solution/Walkthrough - Video [Last Updated On: February 20th, 2014] [Originally Added On: February 20th, 2014]
- [DEFCON 19] Steganography and Cryptography 101 - Video [Last Updated On: February 22nd, 2014] [Originally Added On: February 22nd, 2014]
- A Brief Rundown Of The Spying Questions Intel's CEO Won't Answer [Last Updated On: February 25th, 2014] [Originally Added On: February 25th, 2014]
- DEF CON 8 - Jon Erickson - Number Theory Complexity, Theory, Cryptography, and Quantum Computing. - Video [Last Updated On: February 26th, 2014] [Originally Added On: February 26th, 2014]
- Was YOUR iPhone at risk of being hacked? Bug in Apple update left mobiles open to identity theft for up to 18 months ... [Last Updated On: February 27th, 2014] [Originally Added On: February 27th, 2014]
- Security researchers urge tech companies to explain their cryptographic choices [Last Updated On: February 27th, 2014] [Originally Added On: February 27th, 2014]
- Apple reveals algorithm behind 'encrypted' iMessages [Last Updated On: February 28th, 2014] [Originally Added On: February 28th, 2014]
- Wiliest Ways to Keep the NSA at Bay [Last Updated On: March 1st, 2014] [Originally Added On: March 1st, 2014]
- How to Pronounce Cryptography - Video [Last Updated On: March 1st, 2014] [Originally Added On: March 1st, 2014]
- cryptography in DNS - Video [Last Updated On: March 3rd, 2014] [Originally Added On: March 3rd, 2014]
- Who is the reclusive billionaire creator of Bitcoin? [Last Updated On: March 4th, 2014] [Originally Added On: March 4th, 2014]
- How to say cryptography in Italian - Video [Last Updated On: March 4th, 2014] [Originally Added On: March 4th, 2014]
- Massive Linux security flaw dwarfs Appleās cryptography problems of just last week [Last Updated On: March 5th, 2014] [Originally Added On: March 5th, 2014]
- Security lessons from RSA [Last Updated On: March 5th, 2014] [Originally Added On: March 5th, 2014]
- Visual Cryptography - Video [Last Updated On: March 5th, 2014] [Originally Added On: March 5th, 2014]
- Classical Computing Embraces Quantum Ideas [Last Updated On: March 6th, 2014] [Originally Added On: March 6th, 2014]
- Quantum Cryptography Conquers Noise Problem [Last Updated On: March 6th, 2014] [Originally Added On: March 6th, 2014]
- REALITY LOST Bonus scene 4. Quantum cryptography Founding Fathers. - Video [Last Updated On: March 7th, 2014] [Originally Added On: March 7th, 2014]
- Quantum Cryptography: From Theory to Practice - Video [Last Updated On: March 9th, 2014] [Originally Added On: March 9th, 2014]
- Forcing Trust: Nonlocal Games and Untrusted-device Cryptography - Video [Last Updated On: March 9th, 2014] [Originally Added On: March 9th, 2014]
- TrustyCon 2014 - New Frontiers in Cryptography - Video [Last Updated On: March 9th, 2014] [Originally Added On: March 9th, 2014]
- REALITY LOST Bonus scene 3. Christian Kurtsiefer on hacking quantum cryptography. - Video [Last Updated On: March 9th, 2014] [Originally Added On: March 9th, 2014]
- Nerlens Noel Tweets Date for Potential NBA Debut [Last Updated On: March 9th, 2014] [Originally Added On: March 9th, 2014]
- CISSP SG Cryptography - Video [Last Updated On: March 10th, 2014] [Originally Added On: March 10th, 2014]
- More secure communications thanks to quantum physics [Last Updated On: March 13th, 2014] [Originally Added On: March 13th, 2014]
- New Cryptography Scheme Secured By Quantum Physics [Last Updated On: March 13th, 2014] [Originally Added On: March 13th, 2014]
- History Of Cryptography - Video [Last Updated On: March 14th, 2014] [Originally Added On: March 14th, 2014]
- avc 19 Cryptography x264 - Video [Last Updated On: March 15th, 2014] [Originally Added On: March 15th, 2014]
- Edward Snowden Speaks at SXSW [Last Updated On: April 10th, 2017] [Originally Added On: March 15th, 2014]
- Tor is building an anonymous instant messenger [Last Updated On: April 10th, 2017] [Originally Added On: March 15th, 2014]
- learn cryptography learn the following pkcs refrences - Video [Last Updated On: March 16th, 2014] [Originally Added On: March 16th, 2014]
- [Lec-2][Part-2] Shift Cipher - Symmetric ciphers - Video [Last Updated On: March 16th, 2014] [Originally Added On: March 16th, 2014]