Ethereum Foundation Ethereum Berlin Meetup January 2019, 24 Jan 2019

Previous Meeting

⏯

youtube image

►

From YouTube: Technical deep dive into "Shasper" - Wei Tang

Description

Berlin Ethereum Meetup 2019/01/24

A

So I'm going to talk about nudity on subject, I'm still not ready to pronounce that name so, which I might still use the word Casper interchangeably in this talk, but since civility was to assume to funders Kurt Cobain perversely is called Schatzberg, so we just named our I assume two one: zero trans Jasper as well, because no one was taken. I, think and I'm going to sort of deep dive into this code base is going to be really technical, but some yeah first person.

A

She about me have a rest: developer, I, safari technologies and Shaffer is a people chance seen really cheap attention, a few thousand of subject. So first of these covers that this is only about be concern because assume too much.

A

Zero is a large project and there will be many freezes to be tired of the first race is free through and we will get because even can of foolish way enough, but just know that I miss peekins handy rule in freedom, at least it will currently no shining, not not yet with whom you have that, and another nice timer is our code base was actually quite old. It was frightened when the two point, one a specification of different time, came out and we still have some part of it during our in time.

A

So our phone is still like our 60 or 80 percent spectral fuzzy row, but this table will be based on the newest current spec and is also I'm not going to be like really deep into the the piece and chance specification, but I will touch some of it, but this one will be more about the shaft first implementation, how they do list on top of South Creek I was asked to make make this talk very technical, hopefully I did it, but most most of the time like this, you are very familiar with like to improve on deal with how we fund its operational.

A

It's not very familiar with subscript and I'm, not like the author of of the big, intense Bangor or sub tricks. So so this house, based on my current understanding and some of them, may be wrong. So if I mean 90% Christ and just not familiar with those names, so solidity is going to like try to solve the current I assume really fresh and follow its kinda shoes feeding and we're doing that in the first three 0s we can chat. We also have the shiny, Casper proof of steak consensus.

A

Our wheels and substrate is general broader frameworks that we do military technologies. So we write iranian food us and it's also really related to web assembly, which I will talk about yoga later, but first still pops in infinity security is like so really observe me. Motion right, don't have like anything else is just bare minimums who can approve of states I'm going and like we want to do further, charting or actual like.

A

You have to do two states transactions stuff like that infrequent and threes too, but right now we're just trying to lay out the foundations and make the filter work of assuming through audio media. So so what we have actually in the we can chat with you. So we have a luggage transfer function that allows you to transfer market from so assume.

A

One country which hand into the beacon check this is actually more like a port like money's, forever loss in the very students 1.0 channel and it stores the validator states and balances.

A

Basically, this is meaning for the proof of stake consensus and also handle the reports and those violetta make attachments, and this testing is to make justified and finalized block and those are all terms in Casper which I will talk about later. But this is those all part of the form of state our rhythm, and we will also have some slashing conditions. It's also for the Casper consent, orbital that for the validators and yeah, and of course we have the customer for twenty and Casper is actually like.

A

So the actual definition doesn't really taps the proposers layer, but we need a way to like make proposals, so current even has a run dog algorithm to do that, which is just catching some random, a random function that allows you to choose the proposer on the chat box. There are some security, vulnerabilities or cordless, appear also like solutions, but right now we are not going to be improvement. We are probably not the suspect, is obvious paralyzed, but from what I understand right now, we are just eating run down to select composers.

A

So so the thing is, nobody is able to make connections on the beacon, chime and the only thing about participate is become a validator and a test blog for false blogs, but we need a new new blog chest so so we need a new clock same time now now what we do so a blockchain contains a lot of functionalities.

A

The most important part is probably straight transition and conferences like for the most important. It recalls that's what, if you, if you're, currently looking to the bit content specification? This is what you will find with state transition consensus and in the future we will also need to figure out like in the very start. In future, we also new to figure out how our chance actually communicate with other peers, and so we will also have a stratification for networking, but for this week we have all the other parts that we actually need.

A

That is hungry general because we like like, if you don't, there's no no special occasion for jazz, and we use any framework to do that. So this usually is, like you say this part we have actually is Dostum at several times like meaning, sometimes like in imperative in in gassing other phenotypes fiber. The issue is reusing.

A

The code like to use of this type of other transition queen or the blocking partner in order to add emerging, is not very easy so easily that the data structure we have is actually very thin to the state reduction at a consensus part. So so we can just directly take out like a collection, quick abuses in another track and also for Pekin Chan.

A

Everything is vastly different, like all the block structures are different. The way the way the consensus work is also different, so there's coming nearly nothing in common and yet etc. How fabulously rich is to the hack hack, Street, two to five six, and if we, if we want to like to eat like an existing transact in party room, it also a lot of additional complexity that is very hard to handle.

A

So so, actually this is not the only place. This is not the only thing we're really people try to like. For us. We try to first research, whether it I'm doing in party soon and for other teams which tries computer build up people champion like the Harper Lee team. They also tried to write the peak and shine. Campers are existing code base, but it also worth telling five workout.

A

So the real app is to trust either and start from scratch write a new trend right, all the other stuff we need ourselves or or we can try to build a new subject. So so, firstly, we first find a second one, because this even for us and is what we was a get from structured. So so it gets like front and back assembly by default and I need.

A

So the saturate framework is viewed with the light, clamp consensus, the light random, and so you always have some light ranch functionality to work with, and also, though, the Bible subjects used to run the R in tax and we get over the hard parts that people just want. The T for the invitation right, which is we just pumped a patent state back and read course, which is from the selection for networks so and also the basics, Chang singsing, and also the basic teaching RPC stuff.

A

So it's a mostly genu blockchain framework and we actually have a lot more touch, probably not covered in its talk. So this comes to our current transfer context, so we have basically, we just need to implement tracings. Of course, there are some comments that we also need to add some supporting it's actually, but basically we just need the most recent, the real-time consensus and low calorie first things. Also the planet different logic.

A

That's currently we don't yet have the vanity fair' logic and other things and hopefully will be handled in subject, and so it only to write it again.

A

So, first of all the the real-time so so so if you're familiar is with problem check boxes that is probably going, but basically you have a child club, but those clocks who also have state associated with them and how we'll translate from one state to another is through a state objective function.

A

So, in some trivia with how this 600's function also exactly so, how does it work in factories so supers a previous course several functions that can be correct, like I'm so later, and we talk with the state patent like if you need to store actually start something to say. You use the state patent, and we make make this over this.

A

This real-time, always bringing me to be and give ever something oops will also make sure the weather subway back totes its right training through the state. So this is this is just so that that it is easier for such always other subject.

A

No chance I mean we want to make sure that this state rejection are always deterministic, so I've also talked about it later. So there's an example: how things are you already finding something it has like this? Are these are extra functions that can be pirate from for from a challenge rental, so, for example, is if of trends on to the single dog and further the state religion from training jiu-jitsu.

A

These compliments and how these execute love function, or if we want to do the new block ourselves, we want to propose a block when they use Chinese extrinsic, finalize block in early extremists. Those functions to the drug dealers, which we can generate a block and.

A

So we have a substance in that treat. A block is always structured, at least real spider and extrinsic.

A

They have a few more other things, but here so we want to make sure that if you have a higher wealth mixture that it can always be generated from latest rates or window collection to say five matrix parallax and we want to make sure that so called extrinsic comes all the registered output, but like nearing the outline of the block chance out of a set of a subject role if, for example, in hidden Transpac, they have only had this turn rules and suit group that can be statically generated either with your block or we penalize a block.

A

But for this slot, or for this blend or review for assuming my data and for signature, is always the trans down with external angles, so so how yeah? There are also like a lot of other stuff in the even in the beacon Transpac given the top body. So so what we do? We have hammers that comes in external output, so so solution just who wouldn't wins extrinsic, so it splits Trinity into two parts. First, because the curve means it's physics, which is really had one protect and we generated internally within the crack.

A

So this dish or things like.

A

That that will be the spot and assume another soul. This they are externally inputted into the red track and we have actual selections which this currently actually, whose attention and also scratches deposits go sandal strap in the future.

A

So so this is how the current in each is equal to track.

A

So first we we get some. It is extrinsic stutter and recovery hunting through this function, which actually generator it in physics for us to to to shine this, the sequencing will be pushed to the Hatters plot spot, and, let me do a little applying should stick with just transcribers weather has subsisted its principal suggesting that they have drag force in finish.

A

So this this is the subject attack Ferdinand. So now we have a block structure that looks different when storm is turning. Time means specification, so so in this case, which is generate attacker measured as converse is internally those internal representations, intruders specifications registrations, and this of course come with some performance penalty. But as long as we have to know the hashes that can be computed cheaply, the iris, which should be fun because we're just moving a bunch of banners around there's, also the muta find support in South Korea that aims to solve this problem.

A

This is mostly for seems like we need to store nice or store like Mac I'm doing, but that least or Mac also has a certification of the. We need to do something called 85.

A

So there's about Ratan and makes it's about consensus consensus. This is a brief overview of how the Casper FFT works, which is current density, can chat we might switched, who has proceeded easily but nobody's sure about that. Yet so so far, so how the Kasparov acting works is basically, we have a piece of validators and those values would a test block that we think is the so.

A

The next hat Angie's is Tran Phan dog, ok enough religious tests, since this is Boston to this from block handful of former supermajority and in some conditions which they use some conditions for the supermodel metro feeling, both so remarkable and as justified. If some further familiar holds, the massive block has finalized. So in this case we is.

A

If no more than two-thirds of the validators violates 2/8 conditions, then we will always make sure that we don't we don't finalize to block at the same spot. So so so in that case, we there's also other properties that we make it. That is the adhesive, so for for consensus right in the Jasper for bass.

A

With this older, slashing and evaluation attention, validation logic can be done just you've intact, and sometimes we need additional information that doesn't actually need in the respect, but we also put them into the real time because those information are needed by consensus, at least. Currently, we only had one engine instance. If the latest attention information from different regions.

A

So so how do we actually do the concepts as a profession so we're just data gate? I came into tricks like this, which you block like, like all the important how this idea called observers and this thing for function hundred decide whether I want to abstract this blog, whether about actually want to satisfy sure I know chance or it's just released seems like that, and- and this is this, which Australian human district- they always had like most of the control for it.

A

So in this is how to validate assume work for no data so which we use. So you heard extrinsic, but because the logic is kind of inverse which you need to have.

A

Get into the real head first and then either in time violated, but of course we can't do the validation in return, because in that case, the real time wouldn't be very different instances. So in this case we make the constant they're handled evaluation and use that for whatever sauce a box. So so, in that case the midterm will just accept whatever random detached from the my data. The concept of mayor will handle the validation, actually reject, love you sooo much so so the stars have any difference.

A

I greet I was party to with Apollo a with parties, you more just we consume a hearty stay put or anything else.

A

Another seems about processes is how we deploy artwork or Schatzberg. The issue is reading notes.

A

Repair assembly bad code into the states, so how you change that the solution, probably a better solution but clearly the thing I'm singing about- is to just athletes using the word extrinsic and I.

A

Yeah, the concepts explains that if we want to import is in a particular block, so the consensus their actual can just reject if in that particular block, if we don't have a section in stress, acting with considered the block to be embarrassed and bothered by sources and imagine there are reasons but a world of network.

A

So currently there's no, not education. Yet so everything becomes tough with others even chimes and yet, but we can't because sub-tree Hajis on network here, so we can speed up at the hotel and or seems like that. But once the education is often we probably would just family units with a network clear or in the worst case we will just create a new network layer and use the external function manually to get the block back from different chart types all right here. So that's basically and anybody.