Towards sustainable blockchains

May 4, 2018, Institute of Science and Technology Austria
Award ceremony at Eurocrypt 2018: Krzysztof Pietrzak (left) und Bram Cohen (second from left) receive the Best Paper Award from Eurocrypt-chair Jesper Buus Nielsen (right). Credit: IST Austria

As blockchains become ever more popular and widespread, a growing concern is their sustainability. Current designs, most notably the blockchain underlying the Bitcoin cryptocurrency, are secured using so-called "proofs of work," which requires huge amounts of computational power. This is an ecological problem challenging the long-term viability of cryptocurrencies. In an ongoing collaboration, Institute of Science and Technology Austria (IST Austria) Professor Krzysztof Pietrzak and BitTorrent inventor/Chia Network CEO Bram Cohen seek to address this problem by making use of disk space rather than computational work. Research into one of the two key components of this approach—"proofs of sequential work," also known as "verifiable delay algorithms," received this year's Best Paper Award at EUROCRYPT, one of the world's top two cryptography conferences.

Bitcoin is by far the most successful digital currency. Its decentralized nature distinguishes it from all previously proposed digital currencies. Instead of having a central entity, all Bitcoin transactions are recorded in a public sequence of blocks known as a . To add a block to the blockchain, a user (or "miner") needs to provide a "proof of ," that is, they must solve a kind of cryptographic puzzle or challenge. As long as more than half of the computational power dedicated toward solving these puzzles is contributed by honest parties, the blockchain acts as robust, non-tamperable ledger that keeps track of all the Bitcoin transactions. Miners are incentivized by the promise of receiving Bitcoins as a reward for adding blocks, currently worth about U.S. $100,000 (about EUR 80,000) for every block found. This leads to massive energy use—by some estimates, the equivalent consumption of Denmark. But the problem is not only ecological, it is also economical. The high rewards required to incentivize miners will, in the long run, lead either to inflation or high transaction costs.
,
Researchers have been looking into alternatives to proofs of work for securing blockchains. "We believe the most promising approach is to use disk ," says Krzysztof Pietrzak. "There exist massive amounts of unused disk space—in data centers, but also personal laptops and the like—which could be used for mining at almost no marginal cost."

Designing blockchains that use disk space instead of proofs of work is a challenging problem. A recent proposal, the Chia network (chia.net), will replace proofs of work with two key components.

The first of these is "proofs of space," which are used by miners to prove they dedicate disk space. As those proofs are extremely cheap to generate once the dedicated space has been initialized, another component is required to enforce a dynamic in which new blocks only appear every few minutes, similar to what occurs in Bitcoin. This second component uses what is called a "proof of sequential work" or "verifiable delay algorithm." Essentially, this is a protocol where the user can show that they have done a long sequential computation upon receiving some sort of challenge. Being sequential means that—unlike "normal" proofs of work—having enormous amounts of available does not make the computation any faster. Therefore, it serves as proof that a given amount of time has elapsed since the challenge has been received.

In their award-winning paper, Cohen and Pietrzak construct the first practical and publicly verifiable proof of sequential work. Previous constructions either require the verifier to hold a secret trapdoor to verify a proof, or the prover to dedicate a massive amount of disk space to generate a proof.

Existing algorithms were extremely complicated, or the proofs could only be verified by a party that had some kind of secret trapdoor, or the prover required a massive amount of space to generate a proof. Unfortunately, the new construction cannot be readily used for the main application the authors were interested in—blockchain designs—as it lacks one crucial property: uniqueness. In particular, a valid proof can be adapted into a different valid proof without having to repeat the sequential computation. This is a problem since the process to add a new block is like a lottery, and without the uniqueness property, an adversary could generate many different proofs of sequential work, and only announce the one that gives him the best chance of also winning this lottery in the next round. "Coming up with a design where proofs have a canonical representation without using heavy cryptographic machinery is an exciting open question," says Pietrzak.

Explore further: Using a quantum blockchain to protect blockchains of the future

Related Stories

Energy-efficient security mechanisms for digital currency

June 28, 2016

IT experts at Ruhr-Universität Bochum have developed a new cryptographic puzzle that might one day be used as a security mechanism for digital currency such as bitcoin. It consumes significantly less energy than the method ...

Using Bitcoin to prevent identity theft

May 24, 2017

A reaction to the 2008 financial crisis, Bitcoin is a digital-currency scheme designed to wrest control of the monetary system from central banks. With Bitcoin, anyone can mint money, provided he or she can complete a complex ...

Recommended for you

Under-fire Apple removes 25,000 apps in China

August 20, 2018

Apple said Monday it had removed many gambling-related apps from its Chinese app store as the US giant comes under scrutiny amid trade tensions between Beijing and Washington.

Robots as tools and partners in rehabilitation

August 17, 2018

In future decades, the need for effective strategies for medical rehabilitation will increase significantly, because patients' rate of survival after diseases with severe functional deficits, such as a stroke, will increase. ...

Security gaps identified in internet protocol IPsec

August 15, 2018

In collaboration with colleagues from Opole University in Poland, researchers at Horst Görtz Institute for IT Security (HGI) at Ruhr-Universität Bochum (RUB) have demonstrated that the internet protocol IPsec is vulnerable ...

0 comments

Please sign in to add a comment. Registration is free, and takes less than a minute. Read more

Click here to reset your password.
Sign in to get notified via email when new comments are made.