Grantee Exposé Lightning Talk 3 - Academic Research on Casper by Ryuya Nakamura (Devcon5)

I'm RIA from layer X and University of Tokyo today I will talk about what we want to do in this Eastern Foundation grant so let's start with a quick introduction Obama team radio X is a broken startup based on Tokyo and we have two research projects one is a research on Casper and another one is zero change which is zero knowledge rock change based on substrate and Caspari research is supported by a certain foundation and the chain is supported by a webserie foundation so I'm working on the Casper project so I will talk about what we have down so far in this year and what we want to do from today from today yes so we started to get involved in Casper research from the formal verification project so we verified very fundamental lemmas and theorems of shimshi Casper including asynchronous safety state transition and very recently we finally finished the verification of minority detection or of shimmy see Casper which is kind of similar to the six confirmation Lu in Bitcoin but in CVC Casper it's much much more complicated so we think it's important to verify that it actually correct and then we eventually started to work on an academic paper of a shape see Casper where we try to systemize the knowledge of the current research with Casper and try to kick some mistakes in the white papers which is accepted in smaller academic conferences and these days I am more we are working on theory side including an analysis of the attack on a remedy ghosts and aliveness analysis of Casper FFG I will talk about these results tomorrow 1:00 p.m. so please join us if you are interested so what is our missions of this Israel Foundation grant the first mission is to continue to publish academic paper I think the current program in the Casper research process is the resources scattered over the internet so when you want to run by the Casper you should lead white papers in tourism is research post YouTube videos medium post and even Twitter sometimes so this results in next raishin that to catch up Casper research is very hard and there is a very very high entry barrier into the research community especially for a bit separated community like Japan and also there is very very little parental walk by academia I mean Casper is like an consensus in the wild for academic people so there's very few people working on Casper for the academic walk so in my opinion yes Casper research is ongoing but we need some systemized papers for the checkpoints of the research I think the biggest merit of publishing academic papers it's simply that we can get more people working on the research you know top conference fabrication get attention of the professor's PhD students masters postdoc so they might get interested in Casper and they might want work on that currently Casper research is mostly from inside of in certain communities so there's no academic work on that in another merit I think is the peer review system in academia encourages you to write a paper in a super super understandable way because in most cases the levels of conferences does not exactly working on the same topic so this allows you to write a paper which is understandable without interaction this is I think it's super important for people who are not continent in English conversations like Japanese communities another mission for us is to be a layer one research hub in Japan so the current status of the research community in Japan is a bit it's not that big and there's only a few core devs and researchers in Japan I think there's two reasons one reason is in Japan there's no crypto giants like forked out divinities who likely to give monies developers and researchers as a result in Japan there's little opportunity to walk as a Broxton researcher through time and you know there's no interim 2.0 team in Japan another problem is there's no top conference publication from Japanese universities about rock chain so this does not encourage students to welcome coke upon the Broxton research and when I say this to my friend we once say to me that you should organize some hackathons and a meet-up in Japan it's kind of true but I do not think hackathon and meetup is a complete solution like so laya X has organizing the proximity up in Tokyo called broken Tokyo for more than two years every month it was great to expand the community but it does not grow them to the quad researchers because you know there's no job in the pan as a production researchers so yes we continue to do some awesome meet ups but I think the fundamental solution is to simply hire researchers as pro-temp and to cooperate with universities and at each gem the what is a program to be solved in the public approaching yeah it's pretty much saying the talk thanks so much you