iEx.ec | Golem | Oraclize

I know [Music] so I just using the blockchain organized a global market so imaginative image the kind of envy for the resources so computing resources within stairwells access applications the those computing resources would be able to advertise themselves using spark on track deployed and [Music] so first questions for what kind of application is it going to be the same kind of application that's written out on the cloud I think no so you distinguish three categories of application or which we think that we are good solution that's what we call does it change is not contract you know that you have very limited capacity to execute your code you have a very small amount of storage and community capacity computing power so what is it those these days is to provide those tasks and access to your chain computing resources so that they can have more data more computing power mr. Constantine second one is the legacy application these are all the application that exists now we go to this new form of grow because we can purchase all resources typically it's all the application that belong to a CDC a government entity protect our bases in Iraq simulations free-rider minutes and then more interesting I think to read the target at the end is Alder what I could ever [Music] so so so so so under - you have the GPU mining farm so the situating people disperse it are quite seen up to some hold a supercomputer the person super computing capabilities so there are various option and for instance discovery where - completely as he said and it is the first time we had this discussion with people to get to see kind of many fans to be useful already we are working also with people doing distributed a Poisson process so this does not deserve and cannot charm and energy technology yeah I need to move the server out of the woods the datacenter so for instance channel computing steam machine [Music] it's all distributed better and finally the last the last element this is something we are developing now in collaboration with colleagues but yeah this is what we call the energy positive welcome so this is a very small device it has a battery a solar panel and DeGraw processor so it does not consume any energy and interesting thing is that all these resources we do this kind of little silly we did the same pocket and this is what I think is different because back in the cloud [Music] so it's the idea of using with the ambition which was for that is it vanity generations that so that we may for - tuition for doing [Music] so the network would have used for testing this so you can see so you can see that [Music] so in few words I would like you to use myself so for 15 years I was the researcher and scientist was University of Technology logic synthesis so today I would like to say few words about them and first let me say about computation [Music] we also do other computations using our partners and recently we also develop cloud for more specific issues we use abuse and FPGAs general right number we use at TGS so different ways and there are few disadvantages technologies for example this technologists are expensive usually there is a central unit and a lot of computational power is bracelet and to somehow challenge this problems so computers are right like cars the lifetime with more than 90% of they they are stopped in the car parks the same is with computers how many of you now use the computer we do not use the computer green light during computing to the work meetups so we try to utilize this computation of our ego so we try to connect them and make a guide network however would I'd like to note this computational power is very different from digital circuits scientists try to minimize the distance between transistors because of the communication between nodes cloud network is from different approaches so when the asked we can speed us to separate independent parts it is the best new space for substations so how does so we have providers everybody here can be a provider everybody who can provide the computational power by using his computer the requestor benefit from using the application and software developer connected from the fermentation of network how does it work and how it was built so we use three to our machinists to implement loans so Colin is exactly the network of beauty machines to decentralize his network we use the jr. for payments be developed GMT cars typically space our rendering and with a few milestones so in the first one we mainly focus on rendered however they said the typical new space is pharmacist and so we like to implement up spar and later julia language affects its frame Neverland whoops [Music] I like so we would like to develop a complete colony before my son's the first one you like to buy basic stuff including personal space and rendering the our programs reputation system verification we implement in subsequent steps here's our group we still refugees so anybody like to join please check on our website [Music] good evening to everyone and thank you for having me here I'm a tiny camera flies so during this presentation I will try to show you what we call the computation data source so this is something very different compared to the other two presentations where seen so far so first of all just a couple of slides to introduce applies to those of you that are not aware of what we are doing so essentially recognize is a system which is trying to provide the blockchain separating the sources so the units of data from the bar in charge of tuition transaction to the network so essentially as you can see here we are agnostic to the blockchain our clients at the moment are using the idea of integration that we have different integrations even with Bitcoin little token is there are others coming as well so we're trying to stay agnostic because we see the value of our engine so far slice even outside of the blockchain context so of course we love the blockchain and we're in our team as at the moment 25 years cumulative of blockchain experience so all of us working in this space in 2012-13 and we have designed a way to provide secure data from data sources so from any web api with no need for them called up the blockchain and for those of you 89% at least who will give any account there will be a presentation specifically on that Sande truth so at the moment we are providing pretty much the most widely used water system on Experian and we are sensing September 2015 1.5% of able to fit data to convex so I don't want to spend too much time to talk about the replies but what he wants you to see here is that the way our Christ works is by as a synchronous transaction so essentially there are two transactions the first one is a smart contract calling F paralyzed for ask for some data and the second transaction is realized sending back the date of the contract so when you query replies for some content for some data you have to specify essentially two things the first one is the data source and the second one is are you waiting so the data stores can be pretty much anything and its context so it can be a tie it could be some specific form on file could maybe be done if this stuff provide this as a service fire applies and it can be many different things so for example we have recent integrations with ipfs and with swarm so you can actually fetch some contacts from those two distributed networks straight straight today I want to specifically focus on the co-creation businesses so the computation data source is something which is available in our eyes right now and which is being used already by some banks and insurance companies so this has been audited for a while for over six months now and those companies are using it but we didn't release it to the community earlier because essentially it's very complicated and today I will try so let's hope you can appreciate it and understand what is the use case so I'm excited to try to understand what the community will use this thing for so anything that could be greatly appreciated essentially what we want to solve in general is limitations of the blockchain so the 2% see so far trying to put something super exciting which is AI performance computing super computing and so on so reverse listening to things like you know trying to find big kind of IP addresses or trying to do some complex rendering but the AI is the Tony tiem we are very limited from DTMB per machine so there is a huge gap between the capabilities of deep and super computing so we don't really need a supercomputer for most of the tasks that we don't we can do on these iam so these are the limitations of the mm so we have essentially some constraints even by the architecture like the fact that we cannot have floating-point arithmetic so in fact is this means that you cannot run an ad that's going to block simple sample because there's no way to execute complex math on the block tree then other limitations for example the fact that many functions are not available because we don't that pre-compiled villain that opcodes think about very simple as a signature verification so shower or many other functions they are simply not even as it is mark and many others will be at work if we can make to put the pre compile it but of course it's not that trivial then we have the gas demon so we know that by even if the block was full because of some complex computation well by spending one u.s.

dollar we can probably today we can probably fit one transaction which we probably execute some parts of our computation so not effective for the functionality that are not embedded natively to the India so we might costs which are not always a good fit for what we want to do so let's say you want to verify a - a signature your missionary mica because you want to identify yourself ah smart content well today you can merely do it if somebody is willing to write some thousands of lines of code and then willing to pay me ten US dollars and feel 10 consecutive blocks then maybe you can do it but it's not that attractive and of course if you want to use major libraries like financial libraries and so on you simply cannot use them because they are not reading facility written for solidity and so on also it is not that confidentiality privacy is can be is an issue not because the network is badly designed but because is the view that system is and difficult to scale for doing work so what we want is to becomes limits possibly without feeling the blocks even useless stuff we want it to become effective in some ways to some expansion please and we want to keep the system to expand right so we don't want to break the old security model of the broadsheets and we don't really want to execute code on every machine because this will just be a different blockchain probably or a defender misdemeanor that system with the same limitations so it's pointless and in most cases you know even around the same code of different machine doesn't lead to a consensus so think about if we want to compute a random number is all of us now I'm trying to we'll try to think of a number between one and 100 I think that never find a consensus right because everybody will have a different album so this is what solution is the competition dinosaurs so this is the step one please try to bear with me it's quite technical but it's not too complicated so you cannot remember I think that it should be pretty easy from this kind of works so first of all sorry about docket is so get ready for my installation is written and there are open slot of attack practice and the attack surface is huge so you don't really want to use it up your installation and the reason why we are using it here is just because it's much lot of people know how to use it and it's pretty good to the sparsity for what you want to execute so if you define like it don't expect the execution so here you define the context of the execution in this case you see that it's just five lines pretty easy we just say that we want to start from a base image based on YouTube we want to start by phone and to execute our line of good say to bring the random number between 0 and 100 right so this is the first step so you create this in your local machine study for division resolution essentially you put the doctor file and any other five dependencies it might have into a sip archive and you put the circle over ipfs on your local then you have to be here by yourself to upload this file and to keep it there on a EFS so you can avoid all this running note or you can order some other notes we preserve your file for some reason so in our cheese you see that our multi action ETFs is queue and blah blah so this is the way you use it you can actually test it out now because it's light as I said so we also have a browser suite integration so if you copy the you can test it straight away from your laptop even away without having to initialize any Testament so the code is pretty simple and you see that we just cool replies with our applies very specifying that the data sources computation and equally is the extra power code right so this is essentially unique representation of our receiver card so my studies issue and access to AP FS by looking at the smart contact you can see what qualities are occurring right and then we get the cool back with the result and along with the authenticity proof so we come to this bit and you can do whatever you want whatever so this is a typical use case there are many reasons why you want to use something like this so you could delegate a signature verification you could tell me whatever cuz it could you want the financial library it doesn't even need to be understood if you don't want to it can be a binary it can be anything right and you get back a result as wasted so with that code I found this virtual presentation so you see that the result was 46 and we're stating inspiration blah blah well for those of you who knows our applies for service is pretty much the same so we provide this authenticity proof in a way which can be persistent and you can verify the authenticity proofs to know that Oracle eyes didn't tamper with the different so in that case with the computation data source we are initializing on a custom environment which is probably safe so essentially is a fully lockdown instance on Amazon Web service such a movement and you can verify that Oracle is no way to tamper with it the machine so if the Sun is wrong pretty much over 100 percent guarantee that some employees at Amazon get bambor with fiscal machine right so this is not perfect but the amount of trust can be lowered a lot as soon as we support other cloud providers so of course I mean if you say me trusted non-anonymous artists caters like Amazon and Google is much sicker than having five random people in this room because essentially they're in addition that Amazon and Google are at stake is much bigger than both of us and we killed it this is proof we have a cryptographic proof showing that those actors in the a dishonestly so you're not sure this is working today so you can use it it's probably safe of chimpanzees so I just come in a sense I think that the fabric spent more so if you have Questacon that please ask during the panel of whatever you want I will be around even during the week so doctor is just used to describe the content but the instance where this thing is from is a throwaway so it's fully insulated even if you bury it it doesn't matter you don't really and so there are many uses where you want to use this because the application you would like to run it's not capable to fully run on the blockchain so that you need to move it outside of course the feminine native ovary because it doesn't make any sense to lower the task import but in some cases you don't have any choice so if a negative solution is fully visible scalable on and so on [Music] similar search from vehicles hi everyone so I would also be talking what would solve the problem of having a such a small gasket when will it succeed combination contracts I made some simple program just containing one two three and sixty thousand is double to guessing I've done more asking program until I am to save the result and he stopped at two and well which is what you could do as unum writing on a sheet of paper in about four - so we have a bunch the same capability that you wouldn't have as a human the simple both magnitude and this is not interesting because if I have a computer I want a computer that does myself so to solve this issue the first I need is that you don't include everything in spell check function to verify the combination so for example we want to know is there is a past event stands in this graph if we do that reduction we have something quadratic will use a shortest path algorithm but this part of the algorithm we can read off share and just use the chain as a verifier we presumed in the box and pass and again it's a scam in your time we have some surgical camera to study cases which are Australian games so we are melon which user user with a laptop nice laptop or investor first time this a lot of emulation power and master which is a limited population of power but which is interesting that we can scrutinize even thinking's broadcast she's not perfect that he was protocol you don't read minds around the business perfect you see what so we don't design for the course just merely can focus it to austere and on please keep you before we're ready simple example where we have Medellin finding you get a pass and after verifying to pass so let's go back to you you see you this in NP and some combination of theory and NLP every uncertainty verify every guest answer and we verify you one human time even it may take way more time to capture miss me practice who's a horse and combinational imitation he gives you a simple example but I am going over base example which will include reverse image function stuff like that and actually you from the only music even on interest and even for human time to utilize who suggesting it so we are we have to find Muslim model to get the result of compression engine starts explosion and this new mode of production as a computational port where different user provide evidence of Krishna results so they take for example the well-known problem which is knapsack problem giving massage my hand is value in suede and you want to put the in attack wai-wait capacity was backside so he was actually compute of shame which is proportional choose number of item and the capacitor whose entire side which is incomplete because the capacitance is expected to its foundation and put resin on chain and he someone put the wrong result it won't be a problem because unsane unsane logistic so I invite you phone and so you just have someone to put the wrong result 12:12 someone it rises it to us a life is expansion in some cases we also need to disprove wrong presented by other people for example here is a matrix multiplication the first one gives a reversible the second one never wrong resident and you mean to dispose this present by simply exactly beating the same 99 which is false and just admitting this and findings but we understand is just linear time so the technical term is reduction and also occupation it's a question so you may ask okay I'll give you example but what if I our problem which is absolutely completely different from watch action so we have a simple generalization of seduction residence abduction so everyone will be able to choose to make the result with the deposits to avoid people making the proposed computational things and this program wizard with attractive verification so let's assume we are still using simple simple program just comes in - I'm gonna spot you I've considered 217 and I put 17 solution but someone listen expert certified or by sure that this invitation resident is for society is at video at some of the medium additional step which is nice and we asked West is the result as a nice them guys why should I say 27 but this way we know that she has made mistake before it's 9 step so we just have divided for search space by chill so no association between 0 and 9 and so we ask what surfers are receiving for and say 4 so 4 is right so now we know that the mistakes between 4 and 9 we asked 6 6 is 20 plus 20 which is not a false so because a mistake is 4 & 6 gasps this same is fine provides working here we show a transition by this one is 6 and not 24 and so we've discord in the result and we've done that in the very quick time which main event leaves the computation enormous amount of time as your initial to verify instruction this mother we just need to verify when someone is trying to cheat so in most cases you will just have one honest guy is right when she comes back shams complain the nice properties extras a wife isn't I mean as well at least always part what you have to be careful of these two diva styles I think I asked some value and so guys listen to me well by you we have to put two sentences this president is wrong so we must deal with function tendency to Korea have to have some computer be ready to answer to some additional challenge now let's use the most part the first ones of Education part and support with the recession but we've seen that we can have everything verified in polynomial time in case of yes instance in NP and the second part we've seen that we can try to verification in the correct time and the Polka reason the polynomial is still a garrison which means that you can verify every research nd in Liberec me time on seduction so what works best for I run into this matter of gas unit why try it with compressed ignition system my projects the Supra my sport I also run to this project is the problem when trying to put entrance body measurement abduction the truth beta which is wrong proposition set of his body from one proposition which give you more more middle proposition and less particular thing but you can be prepared for so we can imagine we even have an a Highland introduction that in people to be computation and if at least one part is doing to competition right so AI you have the right answer a new believer to take decision without being dependent on any computer on anyone and like introduction as an economical entity so thanks for listening I must be walking into this my school project nuclear material which is not well represented that is correct it was some step I needed to design a nice assistant oops my school system we can funny here pronouncing must be security interests me thank you so I guess that we have questions who are stars a feature speakers yes a thank you that's a question for too long I guess is also [Music] thank you other questions for Thomas you spoke about safety and privacy of reputation and I would like to understand your example how to make them to go file private like maybe not like EFS but I don't know if it's possible so essentially there are two parts for the confidentiality that's really the first one is the money attention which is how do we outweigh the dock your file or the zip archive in general if I wants to well the point is that in the presentation I I showed you I give s but actually this is an optional power so what you can do instead of putting these ideal customer care is just putting these shocks on to the sake of the package and then we can send straight to the initialize instance the package for the execution so this means that defect which doesn't need to be encrypted because it just States by the coded lockdown instance but you don't mean to disclose it with your network unless you want to and you can even disclose it adjust to some interested parties for example because they can verify that the and the glove chain does match with your cutting and instascan they fight as well but or a crime and the rest of the network are not see the actual code this is one part the other part is that for example you might want the instance to be able to delete some text for example or some private informations that you are sending and one way you could do that of course it's not putting the private key attack because everybody will be able to sit but you could for example have a very simple code which listens on a socket which maybes are indicated for me different ways romantic uses study session you want instance to be able to receive from some trusted source a private key so that then it can be paid some very specific message [Music] so it's as I said the representation we might go on each model machines just to separate the provider the requestor system is somehow samos that's why you're saying there's no chance for it but I didn't say that there's no chance we try to do the most well as for the computation well I mentioned it is not that safe and in the markets in different aspects of specification dr. which could actually we have to pass this to the machine so this is probably not probably compromise dividend so this is the reason why we're using less throw away so they could you can execute in the doctor and machine you can pretty much do everything so it can even fetch web resources for all this kind of stuff but as long as the artistic infrastructures in that case our web service provides an installation from their instances - they're at their infrastructure which hopefully you know then the authenticity group is safe because it's just collectively from Amazon ideas not from the instance itself she just fetching information to describe what you again example also saw this issue and we also can ask your application we have a client [Music] something very interesting I think this in high school is actually have a continuation we want of equal to the by family of started over one year ago which was good the computation markets and it was similar in some ways and different in others so you see firstly because it needs to be the diminutive right so not all populations can work there but so many permutations and a lot of them can be executed in this way and I guess this is a present so I wanted to know if your case the quote has to be like in the hypervenom case instability and then just chain and charge or give each other education step and the extra code is we want to execute is sent in some other I this meeting oh my [Music] [Applause] [Music] our cases so for example we can store historical transactions for example the average [Music] sometimes wonderful but then why we're keeping this of chain is exactly because in the way a centralized exporter will put them in notes then we convert program so we want to keep things separated and myself by a cable stopped running my notes for these sources and all to demand will go up that much to execute any random piece of code of the execution on our computers is very limited and it's limited within the boundaries of India which is very limited by the size I think that is correct to keep things stable so you will you are not also plan to integrate small small blue eyes from its fans believed to create small I think it should be optional well I think it should be disabled by the Poconos could look cool optionally enable it if they want because this is something else you know this is the same thing as a whisper so it's correct to leave destroy supplements it's a different layer it's not easy once answered a whisper is a messaging system swarm is you know distributed storage and so on it's not the same thing it's an additional layer which can coexist in some ways but for example think even box work webcam speak to Lydia so it's something completely different it can leverage the blockchain but it's layers of solution is not the same thing so I think should what are the difference if any with a project like tender mean which tried to modularize the blockchain and the separate [Music] so you can forecast the cost of execution of the calculation keep like even oh you must ask the payment after the calculation also famousy fix small yeah so so if so you can you can see the time of calculation of the task ask what we do we think the value is to have some sort and your crystal [Music] is essentially your intention is distributed architecture that we manage as a company essentially you pay a cool and since there are some bar that is for example in the type of instance that we initiate and there is there are some time restrictions like the fact that your execution for competition is terminated within ten minutes on that machine it which will be configurable at the moment there's this fixer station you will essentially Baker coal and the price it is fixed in US dollars so the price depends on using disapproves you you you ask because we use dedicated computing techniques so we need different part of the architecture depending on what hoping to prove you want so for example if you want to interject fun you like cost if you want see one based on Qualcomm and on the other is technique you will get another very different and block that but the energy is let's say that you want the stairs notary and the competition which turbine is within ten minutes will be descends blacks plus four and of course this is to be compared with the alternative on chain and if you go change probably because of changes on physical and at the moment even if it was doable in one block one who block worth of gas is around one US dollar so it's at least twice the protein system you won't have to pay anyone because the one user proposal [Music] so in the [Music] well as for our price essentially we manage about the structure as a service as a company so the engine is not who pesters but all the conflicts and all the specification is open source very many tools for the verification our open source and can be used by any other company who wants to follow the same Oh so actually moving to the same service as provide provided by a different NTP it's technically possible and the promise of paralyzed is the equivalent of my section back then does that will be correct and you will be able to verify it but of course we are not anonymous if for law enforcement reasons they are forced not to send back a translation for content because for example is illegal then you will not receive a transaction back so of course there are there is some space to write even if you want or to other companies providing the senior service but as for the computation itself is being executed on a single instance on our web service or other states or other architecture so we just initialize the context at least what Astarte you [Music] either verify which is not always on the other side you need somebody for the execution every day you're trusting Intel or AMD anyway on your CPU and we know there are many vectors that as well so when possible is that the good option just to keep it as you know a permission st you can execute it and send back a result and is not considered a fight but if not always possible so think about the three decades of the undercover or are you a five year it's a signature verification but the variegation why he meant of change because you couldn't do so it's always you know about finding a good balance and I think that here on stage we have four different projects which to address the computational problem in different ways because essentially is a different definition of the computational problem so we are all trying different