Новый Ethereum Tech приносит безопасность для масштабируемых государственных каналов

Леджер Nano S - Безопасный аппаратный кошелек

Славянский бог молнии, Перун, входит в экосистему Эфириума (in spirit at least).

Inspired by bitcoin’s молнии сеть, a group of researchers hailing from Warsaw have unveiled a new white paper озаглавленный “Foundations of State Channel Networks,” which outlines a protocol designed to help ethereum scale to support higher volumes of more complex smart contracts.

But while a number of ethereum projects are building solutions for this problem, Perun’s approach to its protocol is uniquenamely in its focus on security, as it provides formal security definitions and security proofs for its protocol.

по существу, Perun works like otherstate channelsthat aim to move transactions off of the blockchain. Однако, the difference here is that parties involved can register the current state of the contract at any time on the blockchain, enabling smart contracts to rewind channels to the last state at which parties agreed on terms.

In case when two (possibly malicious) parties send conflicting states to the channel contract, the logic of the contract will select the latest state on which both users have agreed on,” the paper reads.

An incremental innovation perhaps, but one University of Warsaw associate professor Stefan Dziembowski, a co-author of the paper, argues can’t be undersold given the nature of value transfers.

Он сказал CoinDesk:

We are convinced that in the context of cryptocurrencies, a sound security analysis is of particular importance because security flaws have a direct monetary value and hence, unlike in many other settings, are guaranteed to be exploited.

Оказывается, this is such a highly sought-after goal that the researchers are already partnering with tech giant Bosch to put together a prototype. Not only that, but the project has been lauded by ethereum creator Vitalik Buterin.

по факту, Buterin was actually the first to praise the idea, positing that the security proofs the team had implemented were a step in the right direction for the ecosystem overall, and should be studied, if not adopted, by scaling projects of all kinds.

I definitely do think that we need some kind of general-purpose machinery for formally verifying properties of layer-two systems in general,” Buterin said.

Journey to state

Отступив, хоть, the team’s path to Perun was a bit meandering.

Dziembowski told CoinDesk he and the team originally wanted to build afairfile-sharing app on top of ethereum but were tripped up by critical issues soon into the process of developing that app.

While working on this project we noticed that a fundamental bottleneck to make our application work was high costs from on-chain transactions and the relatively slow time of processing smart contracts running on the blockchain,” Dziembowski said.

This is exactly what other developers have experienced, most famously when the digital cat collectables app CryptoKitties emerged as a user favorite, causing these slow transaction times and high fees. A handful of scaling solutions have been put forth to the ethereum community since then, but the team at Perun actually found their inspiration from a different network altogether.

It was bitcoin’s lightning network, anotherlayer-two solutionfor the bitcoin blockchain, that piqued their interest, and the team moved to rework it a bit to be able to function on ethereum’s more ambitious platform.

Luckily others had already started building on that idea through a technology known asstate channels” – whereby lightning is extended to ethereum’s complex smart contracts. Как таковой, Perun’s paper merely continues this research by formulating a specification that outlines a bunch of requirements that any actual state channel implementation needs to secure itself againstpowerful adversaries.

Toward reality?

Это говорит, the Perun team and even Buterin understand that there’s still a long way to go.

Dziembowski said that his team’s prototype isn’t ready for live use yet, but ismainly for research purposesnow. And Buterin said he’s worried about the futurerisk of erroras the theory is put into practice with real smart contract code.

Speaking to those risks, Dziembowski named The DAO, an ethereum-based organization that was supposed to rely only on code but ended up defunct after users were hacked for more than $50 million of ether, as an example of what, and how much, can go wrong.

Все еще, many are excited about the effort.

Buterin even said he has plans to come up with a similar security framework for Plasma, a highly-anticipated scaling project he co-authored last year and which startups like OmiseGo are now putting into practice.

Speaking about Perun’s work, Buterin continued:

I personally am satisfied that it’s fundamentally possible to achieve all of the things that you claim in the way that you’re doing it.

The research team responded to him saying that they’re working on a simple implementation.

Motion blur Изображение с помощью Shutterstock

Лидер в blockchain новостей, CoinDesk является средством массовой информации, которое стремится к самым высоким журналистским стандартам и соблюдает строгий набор редакционной политики. CoinDesk является независимой операционной дочерней компании Digital Group валюты, который инвестирует в cryptocurrencies и blockchain стартапов.

HTTPS://www.coindesk.com/ethereums-newest-scaling-tech-calls-on-slavic-gods-for-security/

Леджер Nano S - Безопасный аппаратный кошелек

оставьте ответ