 Hello. Hola. Hola. Okay, so para la elección de hoy capítulo cinco. Oh Wait, so this is not the Spanish language show now my bad. I'm sorry Okay, so excuse me So welcome everyone. Thank you for being here We have a lot of wonderful people in this panel and I'm gonna start by introducing the organizers In case you didn't know them already those three wonderful folks over there are the organizers of this event and we have the formal verification lead and compiler engineer The Ethereum Foundation with over two thousand Twitter followers and over 1000 GitHub contributions in the last year Leonardo aka Leo Alt Big round of applause Next one we have team epsilon lead and solidity language ex-co-lead at the Ethereum Foundation coffee addict and EVM nerd Alex aka Aksic in that side over here and last but not least It's like it's like and last but not least Hurry aka hurry. So I do need your password again, sir Alrighty and now that we have introduced the organizers. Let's introduce our wonderful participants So from pay we have mr. Grant Grant is a Developer at the EF focused on design and implementation of the line before pay he mostly contributed to consensus clients Thank you for your service Yoshi Yoshi moto is a developer at the Ethereum Foundation working on pay line and Sonatina compiler back end From half we have Joshua Joshua aka JT former superfluid solidity engineer mobile app developer and half contributor Thank you for being here, sir From Viper we have Bryant Bryant is the CEO of a pork X a Python Dev to start up and a contributor to the Viper compiler He has also contributed on several EAPs and core Python libraries in the ecosystem 80k language we have Ansgar is our researcher at the Ethereum Foundation Previously at consensus quilt. He has worked on protocol improvements including EIPs 334 44 88 and 48 44 Thank you for your service. I'm amazed I pronounced that right Now from the Solidity team we have Camille is one of the core developers at the Solidity team at the Ethereum Foundation He's also a co-founder of code poets a Polish software house specializing in camey informatics and blockchain in the past He worked on a variety of software projects in multiple languages Ranging from video editor C++ to Python web development to devils and infrastructure is blockchain experience started with a printing cooperation with Golem He's currently focused on the Solidity language and compiler. Wow. Thank you. Camille and Daniel Mr. Daniel has been with the Solidity team for the past 4.5 years He's passionate about talking solid taking Solidity to the next level with generics And he will be taking over the language technical lead role at the Solidity team. Wow Thank you everyone for being here. It is everybody special and thank you all for being here as well. So We are coming with a pop quiz. There are no drinks, but maybe there will be so Let's start with some historical questions. Mr. Leo, would you mind showing them on the you can see that all this is improvised One for you just in 10 development, you know how this works So we are gonna go through a couple of questions to make this fun in order to see which language is the best one Please do not kill each other like we really appreciate your work and a blood back here Wouldn't be actually quite fun. So and don't cheat absolutely not We will verify we have a formal verification lead here And Harry is gonna be taking over that role today He will be standing up and checking that your answers are actually correct And if they are correct, then you will score a point and there may be or may not be a praise at the end I cannot confirm nor deny so let's go with history Language. Okay. Are you ready? Listen to me? So Who was the original creator of each language? So for Viper have faith Solidity and it's okay, and you have 30 seconds 15 seconds for you for Pens up pens up pens up pens up Pens down or pens up. Thank you. Okay, so Should I say their answers? Okay. So for Okay, so that alone favorite David Sanders Mr. Harry you confirm Okay, what about you? You write it down. Ah, shall we give it like half a point? Maybe Okay, so what did you what did you write for half? Okay, so no point. What did you write for Solidity? Let's go one way one Solidity, what about you for 80k doxed, okay? Okay, so he gets a point. That's all right. Okay. What did you write for for Viper? Okay, he thought yeah metallic point, okay next one on the list User Okay, let's go down the list And the battle begins Okay, next one Okay, so for Solidity we put the gave in increase For a grant and we run out of time for others. All right So Oh Well, the answers if the politics are wonder about the answers of Viper is Vitalik for half is Zach for Faye is David Sanders for Solidity, Chris and Gaff and 80k Sam Matt dox again That's fine. Let's go to the next question in regards to the priority hack Okay, so There's So there's gonna be five Okay, so let's give you one minute for you this one Okay, so there's gonna be five questions here. So for the party hack number one What was the github issue title of the party hack by DevOps? 199 The second question is what was the text in the first comment The third one. What year was it? The fourth one was it Solidity's fault? And the fifth one is what Viper feature proposal was motivated by it You have one minute What? Processing how you're gonna how you're gonna answer that Okay, this is gonna be good The last one is what Viper feature proposal was motivated by you have 25 seconds You have 15 seconds to open your Google browser and find the answers online. No Okay, so let's go one by one And let's start from the other side this time. Okay, so What was the github issue title of the party hack by DevOps? No, yeah Okay, what was the text in the first comment? Can be said I killed it is probably what it was. Yeah, okay What year was it? 2017 was it so did it this fault? Of course not Okay, what Viper feature proposal was motivated by it. No idea Okay, so sir Let's go with you. Yeah Okay, so I couldn't remember the title either it's something like anyone can I don't know something something Anyone can yeah, but I forgot the rest. I know can give me half a point if you want to And then I put down. I think I killed it, but apparently it was I accidentally killed it. I don't know 2017 I guess as well. Of course, not so ladies fault. I mean, you know, given the judges here. What else can you say? and No idea about the Viper feature Let's go with you, sir. Well, I forgot the title of the issue. I accidentally killed it 2017 and Was it to leave this phone to think about that? No, I guess not not this time and I forgot the future proposal. I probably made Cool, uh, what was the github issue title? No idea the text in the first comment. No idea. What year was it? No idea. What is the latest fault? Yes What Viper feature proposal was motivated by no idea good That was awesome, that was Title so I guess we got hacked Text in the first comment shit What year was it 2017 was it so it is fault. No, what Viper feature proposal was re-entrancy protection Okay, so I guess the points have already been assigned. Let me go through the answers for the public and the audience at home Come here, please with us, sir Okay, so that's the first answer to a question. What was what was the text in the first comment? Does anyone know? Yes, sir What year was it? Who knows that? That was easy What is the latest fault? I cannot confirm nor deny at this point What Viper feature proposal was motivated by it. Yes, Alex said it was a cloning factory Alrighty, are we ready to go to the next section regarding ethereum evm knowledge? Yes Alrighty, so here's the first question for which you will have 30 seconds, which is what is the cheapest evm opcode? Just name one You can name more Name as many as you can Evm opcode Five seconds. Oh, this one is awful. Okay, so let's start with you minus one point Okay, zero points This is a dictatorship sorry, sir down code size at two guys, but after the fact we think it was like jumped at one No Okay, who here knows the right answer sir There's two points for you sir. Good job. Give this man a beer and there is one more There is one more It's revert Apparently, okay, shall we go to the next evm? question 30 seconds Which? Upcode was motivated by the Dow hack 30 seconds Which opcode was motivated by the Dow hack? Seven seconds Three two one Okay, so let's start from here which opcode was motivated by the Dow hack. That's correct. He had no idea but that's correct Okay, next it's okay people get lost usually No Okay, okay, next question. Are you ready? Can you emit logs in a static call? I'm giving you 30. If the public wants to answer them, please go ahead. You will gain nothing, but you will get knowledge You can't run it down. Actually. Yeah, you can just if you have a phone or something just like play along Well, this is what just too easy. I'm not even gonna bother. Okay, so shall we start asking? Okay, so what about the public can you emit logs in a static call? No, that's right. That's right Okay, next one All right, so which Upcode returns to stack items Which opcode returns to stack items? So you have 10 seconds The audience also if you if you know it then like write it down. Yes. That's the spirit Okay, all right, so shall we start with that side? Okay, so which opcode returns to stack items? Yeah, we should really know but I don't right now No point None is like the answer or not like you don't know So it's actually non Genius next one. Okay, so Which opcode? Reverts on out of bounds access It's just 30 seconds And I'm asking you to this time Which opcode reverts on out of bounds access? Okay, so hey, let's have it here. Call it a copy Oh, no No We had returned it a copy. We actually got something in the optimizer wrong about that once Well, I cannot ask you anymore because I really know the answer so it wouldn't make sense Okay, next category language specific Questions Wow, someone has a follower here Okay, so the first question is What is the latest release of Viper Solidity Fey have an ETK? Let's do 35 seconds five seconds One, okay, which way shall we start Alex you tell this time? Okay, so for Viper No idea Okay for Solidity Oh point eight point seventeen For fey or something But he's not wrong for half. Oh something For ETK Okay Yeah, sir, I have zero points Viper nothing Solidity zero point eight point ten is what I guess apparently we have probably on that fey no idea How no idea ETK No idea Slum I put down one point zero just in case you know That was close though sir Viper Solidity fey Huh, oh Not applicable is that a valid answer now an ETK Okay, now you can hear me befit on the recording awesome, so yeah Viper 0.3.4 Solidity 0.8 point 18 half 0.1.0 ETK no idea and fey no idea which one you got drug. All right. Well fee might be a 018.0 Solidity 0.8. That's something and I didn't know any of the other ones I like his honesty Okay, so let's give you all the answers so Viper 0.3.7. So you see 0.8 point 17 Fey 0.19 point one half only night lies ETK 0.2 point one good job Okay, so next question what language was serpent ridden in and Viper and Viper How do you pronounce those? Yes, so those are three questions 35 seconds folks what language was serpent ridden in and Viper and Viper Thank you Okay, are you ready? Let's start with you folks. So serpent what language was it written with? Oh? Yeah, the mic. This is working. Yeah, let's say Python Okay, and Viper Python and Viper we said the rest but I So what's your final answer? Okay producer so for the three is like I put on Python Python C So which one is which well serpent Python Viper Python Viper within Y C Sir Serpent was written C plus plus Viper with a Y is written in Python Viper with an I from the ECF F Whatever it's a formal verification tool is written C++. Did you forget about that? That's the reason we have to change the name from Viper with an I to Viper with a Y because But they're not though Technically correct is the best kind of correct Can someone verify this can you give you like five or ten points for this? Yes, okay, sir Serpent I said Python three times Well, that's two out of three. So and you folks Serpent Python Viper with a Y Python and Viper with an I C++ Even two points your one points Wow That was pretty curious actually hello Okay, so are you ready for the next question so What language is half written in? 35 seconds, yeah, there's like multiple answers and you'll get many points Write down all the programming languages. They are Okay, you have five seconds You know half was written in half, okay, so let's start with you folks rust, okay, so that's the only answer you have Yeah, there was a another language. I think it was Was it originally implemented in C++? I don't know but now it's implemented in rust. So Rust is correct Currently maintained Would you would you put the mic? All right, so original huff no idea Slightly modern huff type script modern modern huff rust that's two points for you, sir Type script I wrote Haskell That's it Okay, yeah, my vengas was rust and then I was just throwing in C++, but apparently that's wrong. So rust That's one point, but I don't know so we wrote rust All right, so well the correct answer was also does anyone know actually there is three answers So rust is one type script is another there's a third one Hands up. Oh No, I didn't hear an answer Jabba script. Can we give him a point? Okay, I tried I'm sorry Okay, so shall we go to the next question mr. Leo Okay, are we ready? What was Faye originally called? 35 seconds five more seconds. All right, so Yeah, we had it earlier, but I don't remember exactly what rust something he put down rust wiper, but That's correct. Wow I respect No, I did not put down rust by I just you know I put down fee with two ease because is that always confuses me The correct answer is rust viper because it was originally supposed to be a rust implementation Viper compiler even though it didn't follow semantics at all. Wow, that's like two points Not rust viper rust viper Well, Harry's not very fine the answers anyway, so All right, are you ready for the next one which Solidity version introduced named function arguments You have one hour to answer this question If someone knows just stand up and scream it out loud Which Solidity version introduced named function arguments? It's obvious 15 seconds Yeah, let's do that One one. Okay. We got two one and time's up Okay, let's start from that side one four zero Okay, the audience any answer, okay, I said oh for oh Do you want to change your answer? Okay, just write it down. Don't forget I Give a little bit of a benefit of it down. I said zero one two Surprise the answer isn't immediately No answer changes, right? Okay. I Put down zero four zero You're good. Okay. It was long before my time, but it was there for ages. So I said like oh point one point off Okay, so I guess we said Sure, no you say this Alex So I get a half a point right I Guess something before that Yeah, you know this Oprah Winfrey meme you get a point you get a point Okay, so ready for the next question Which pre-compiles do not have a built-in in Solidity? 30 seconds There's multiple alpha leak which pre-compiles do not have a built-in in Solidity multiple answers are allowed So Let's start here Yeah, we had identity. That's the only one that I was sure Then some hash thingy with B But Blake something yeah, that's that's does it ever feel company this is I don't know, but it's the only ones you have Okay, that's one point, right? Well, I bring it hard Yes Right. I pretty similar answers. I'd like the identity one and then this hash thingy But I didn't even know that like it began with the B. So I put it ah So do with that. What do you want? Maybe we should just rename it to the hash thingy pre-compile I said identity in Blake to identity and shall 256 no idea Okay, that's the audience no there's more so again No, well for the sake of time it's gonna be identity e-cat eqmul eq pairing on Blake to All right, let's go to the next one Okay, so two questions here. When was it you'll introduced and what was it originally called? And you can get bonus points because Alex is so okay you have Five seconds. When was he'll introduced? And what was it originally called? Okay, uh, shall we start with you, sir? 2018 And something that started with the J It's a year Okay, what's the mic? No, no, no points. I'm sorry No idea when but it was originally called Julia. I wrote zero four two six, which was released in 2018 So that's kind of right Yeah, I had no idea about the name I put down 2017 That's a point for him. It says 2017 here, but you're the master So, yeah, you have you also had I think we also named only named it you in 2018 but introduced it Maybe as Yulia earlier, but That's you 0.5 It's everyone happy. Yes, let's continue then Next question what version introduced metadata support or metadata for Solidity and also Viper so what version introduced metadata support in Solidity and invite To a question in Solidity any viper you should know two seconds. No So We are discovering a lot of new things here. We are learning together. Isn't that fun? So yeah, why would we guess zero three four? For Solidity it was before our time and we guess there was three six That's a fun pop quiz with their only questions and answers But I put down Solidity 0.3 0 viper. I don't know 0.2 0 plausible, you know, sure Solidity me actually got the Viper one right 0 3 4 and then I wrote 0 4 12 for Solidity Probably have to look down up No idea No idea. I Also have no idea Alex Just one point for everyone Okay, we're almost done next question What version allows Disabling the metadata in Solidity and in Viper So for Solidity and for Viper which version allows disabling the metadata for Solidity and for Viper Everyone seems so confident Okay, so yeah, I don't know any of these version questions Okay, no idea For Solidity, I put 0 8 11 because why not and Viper I put 0 3 7. That's one point Wow. Yeah, Viper I put 0.34 and then Solidity I put 0 7 0 Okay for for Viper we said all three six and for Solidity Okay, 0 3 4 and for Solidity actually we measured the PR like last week, so it will be 0 8 18 That's one point Okay The last question of the pop quiz If you win this you win this you win everything or not Okay, so If you name them correctly all of them so even the audience if you name it then you win as well So name one forgotten EVM language There's multiple apparently name one or a couple or name all of them five seconds Okay, so shall we start with you? I just wrote surfer Only that There was like three others. I remember but vaguely can you just like remember What one one of them is That guy that used to work on formal verification for the yeah before he left in protest, right? What was it called? Okay, so the mic Serpent We put serpent and soul lane Okay Sir, yeah, I didn't didn't think so been counted as I forgot and I put down move, you know because why not I Think they go piles to EVM, right? Okay, so we have Okay, the audience what's you Hi well the answers apparently are like Mutant LLL and Bamboo, have you heard of those? Okay, well congratulations everyone for this amazing This play of knowledge that we got here now we have a should I introduce a Yeah, the question audience right but okay, so let's introduce a question for the audience Okay, this is for you and you will have to scream and shout and jump or not. I don't know, okay, so What is the best solidity version? Why argument your argument your what your thesis the correct answer is it's a trick question. So Okay, okay And what what feature would you remove? We do Okay and will We are out of time Okay, we have ten minutes for you want to do this. Are you sure? Sorry, okay, so you are going to be you have not only seen a massive display of Brain power, but you will also see a display of strength Okay, so Harry would you mind would you deal would you do the honors? Do you know what a talk war is and because there is like too many solidity people so I don't know you're one of Okay, so Yes, would you like that yes, he likes that and he took my sock. I want that sock back Okay, so How do you want to put this we need some people on one side and we need people on the other side so Okay, so you want to do you also count Do you do you think the organizer should also do like participate in this right? Take positions Does anyone have like a rock music or like something solid to play in the background well until one loses Of course, so one two three four five Is is anyone recording? Oh, yeah. Yeah, we need this. Okay a bit more in the middle Okay, so you see you see you see this if you put it a bit here in the in the in the middle That's it Okay at the count of zero three two one go The solidity is becoming strong Thank you all for coming. Thank you all for tuning in in this language showdown. Thank you all for your time