Extending Atomic Swaps for Interoperability

ETHCC 3 · March 2020 · 22:51

Jean Yves Zie explores extending atomic swaps to support interoperability.

Speakers

Topics

From ETHCC 3, hosted by Ethereum France.

Transcript

[Music] now you want on it Thank You Jacob okay

geesh mecha so hi everyone I'm going to present you my my Soviet potato extending of the mix of YouTube so this is a collaborative walk Krishnaiah and I saw from the inside sample value

our and hi I'm John J so I am trying here and stop the change to them so I could beat my last yeah my subject is about making of science collections for mobile payment solution and I work at the company art which joint PhD is a company and in the university so I'm currently not in Paris it was making doesn't let us travel to various and sticking comm matrix which you contact me at my email address or my

so at mix up the context cryptocurrency let us do something we were only able to wish cash was like belt shift here exchange of value which in I'll send Bob I will now take the currency and election we can do it online so we can exchange like this I agree without having someone in the middle so what is the main use case for cryptocurrency today is like trading so he got so is house on East and want to exchange it for some Bitcoin humble but how did it happen in the real life the relish which

happens that you have have a next Genesis in the middle that just we did the rollers or salt or cause action so yeah my lease from the Bitcoin on the platform and eyes and verbs and a coin on the platform and action happens but as we all know not Chucky not your fun so the section can run or shall follow they can get hot among other things so what you want to do is try to keep the same a way of doing everything like an objective but then very piece dower blood shall flow we want to have explained trade so one way to do that is to use atomic scrubs so what are atomic

swaps there are some swaps it's all extend that happen in the world of nursing manner meaning so hazel eyes and Elizabeth why not Bob and Bob has mostly played cards so you don't have anyone else like both kinds at some point during sex jack so what else you what is the use case of atomic swaps so what we what have been used for many was to do a costume shop we and Bitcoin and you got spots but accessing code so you could use you can use them to be an exchange costly exchange it was kind and I also

mean actually the menus which are like in the coop to cos payment channel so once you open the channel once you have a channel like your to channel and you are able to make some changes to using your exchange so thanks to that we have a lightening that network not just a lot of payment channels and so how do they work in practice so they use a Chelsea just ash time-locked contract so how do they work so shows we have a hash flock so you you have a second secret pre-image s and when you

lose it and thanks that that secret you can do you can compute the lock hash of s and you saw every time looks Terminix means that some time has passed I can get 200 so how do do proper the normal that mix-ups portable walks so it drives that on one side on one direction you you have to you have a smartphone tractable in a smart contract even though it's not a smart contract as a material so with two conditions so either book show as a secret image s and can get the funds is at least

weights sometimes but rather that we could choose to get her phone back so at least since she's the one who created the contraction of s and she knows each so what she does is she sent as each not s and each can see address to bug Bob King is Dan thi that took smartphone techies were done in the proper way and then can make a contract on his one burchett so he put the same same condition just invest them so is control s on this map contract on the newsman contract or bob has to wait time T which

is not the same as all-time low and now Bob can send addressed you to a nice high risk and I'll try everything in order and then she can start a contract with you here Vichy and Bob can is the same and put some Bitcoin on his on his contract now how does how does a protocol works so Alice they just map contracts or on the black sheets what we have like a nice the production a production weekend but so at least and sentence occurred three major natural action to smart contract the blockchain so it's like okay I have the pre image and then past but I also

hate it so you can have the bitrate but what Bobby's doing that his many times he's many times to just not come back home to production so he learns as the key news as a stock so touchy you to get the fun on the friction eight so exact yeah I also know as so I'm entitled trance on some kind so that's when everything is everyone where is exchange happen but what you know and does anything how does it get refunded so from Bob he only has to wait after thanks doc time T he can just send production to the smart

contract and say he found me and then this shopping and I needed as this team just wait a longer time because she has longer a longer time look so what else advantage and disadvantage of what's nice like its objective here so as soon as you are you agree on the term on the dead arms time luck stand on the amount is only between Alice and Bob and Bob collection because so it's count so it's trust that you don't have exchanging the liturgy you have I'm sure but you are you you need some something in the introduction to be able to in

both directions be able to to do this potable what you need is the same hash function of course because you need the same hash on both contract as a lot and you require to you you need to establish as we knew not also production have smart contractor problem has ten bucks many timers so what do we do what we are we we G be found protocol was to try to have atomic swap which you know cryptocurrency that don't have pistols no so our assumption is that on one chain you have which see for you you are go to the logistic

account like in stupid shells and on the other one you have like smoke of attacked Syria also and which ignites the transistor a solution as HDL smoke we don't add any more security assumption to the protocol and it's truly peer-to-peer because you will have on Alice and Bob in the production and will be Intel but not like those internet abduction protocols like cosmos polka dot or Academical walk like exclaim which will I realize on some set of a set of intermediaries that have no soldiers on the top to have it touchless

audition flat so our assumptions as I see the same house or as Chelsea if you suppose that on reflection you have honest minuite for each in your selection is not secure you cannot you cannot guarantee me across and what we need from the smart contact change that you are able to understand some signatures from tables objection from the one shown emergency done election if you want so usually sits yesterday on the curve netted menus by most collections and you also need a listen Bob to be able to exchange information to to the world

Negro section of of the mountain things like that and also they need to agree on the time works so in practice time lock are function of confirmation time of production so so it will depend on the production invalid in textile so what we want which our x3 is extending our art we questioned swap particularly status so you have objection a wish on your richest league contract and all the direction V you have the smart contract and gross I said Bob we will in type is most both production like so HTC Sony

majestic what is interesting that we can think of it as a shell accounts like Bob and I use have ownership filling to cope to be able to do in transaction accounts so there's pretty notation so what you want is swaps those like let's mimic on Direction a we want verb to to control the shrubs and then that's mean that Alice has a way to also has a fault so if if one gets found out of the production Josie needs to be able travel to and download feces like those are profiteering from the workshop which is a refund if I just get with hundred Bob

needs to be funded and vice versa so how do we make that happen so the principle is copious what you have in the normal protocol the difference that we also need to see which Alice and Bob control to like these two keys and I was like one and drop by the other one so to be able to do a transaction they need to copy it so web fonts and send the transaction thing okay let's swap on the production a and from from Bob and send the transaction to eggs so I nice can sign and give her Sigma to Sigma the signature so Sigma prime is anything the

channel Sigma Omega just pop signature I'm saying Bob needs at least you send her signature to be able to do anything and what we can do is expose and to fetch my signature on this map contract on reflection B to be able to to make the protocol advance and look when you're trying to just math contract SC the signature comment then once he has go signature and what has it was actual signal time 2 and Sigma 2 and the election and sending on complexion a and get X amount of going on objection a and

Inez can do the same and use a smartphone 5 X key and gets getaway car so yeah so now that we kind of have an idea for how the protocol works that's if we recount we are guaranteeing is a property of the attend expect so first let's look at the lease one because it's actually easier to think of the running from verbs just not contracting so partial fractions so you can just let the time look and say okay asked all time chief nothing happened but cancelled or the chain gets his money back so the easiest use case so I need

to be complicated because if you recall we have a logistical allison bob has to have to cook like you to be able to do any connection so that's mean when we stop during the setup we Alice at least withstand the transaction let's say I'm going to get a hundred and one has to send his signatures or just notations in the trunk of his key on deduction a and send that that's nature up to to Alice this mean that Alice can get responded at any time which needs to do a side of house

action but her signature well she made sure that she got the transaction and what classical direction and then she get her for money so that so we have so the easy case look Bob use a smart phone I can see it in case of an extreme solution C then looking at this work then so how does it work the problem is that since Alice it gets responded at any time we have a rich conditions that means at any time we asked to transaction that are conflicting so if what can happen is like Alice considered polish want to be in Charlotte but at the same time can try

to get the money on Direction a and the same can happen on the directions and of course is not a protocol it is trusted it's not going to be like okay please wait while I take something out and don't so let's fix it or at least not achieve from at least not with you is actually easy because it's on the smart contract that you can tax on some condition 23 to adjust we put available unlock and we put that source full that just mean that what we didn't start if I start the protocol as we say like presided as action and I'm suspended collection and

she interacts with the block she's smart contact sv then Dan Bob knows just Sigma Pi which is in each of my list where Thomas not contact we see that anak becomes true that means the protocol already started and as soon as the protocol start we will but cannot use the condition is so earlier to get responded so at least be sure that she doesn't need to trust Bob to get the front and just say ok I'm sure that as soon as I started protocol here Bob wouldn't never be able to get whitsunday

to defy items going on the reduction so from a side is pretty easy because those math contracts will just better new conditions but then we have the problems from Bob because on from website huge East and is signature to Alice and I just can get responded anytime she wants so she can then start the protocol and but I like to true meaning Bob cannot get with sandals and it get the money back and then and then you use scientism money on the reduction Beavis a smart contract if Bob tries to get the many a certain when they saw the collection sales so how do we she start so what we

do is that we had like more we had more timeless we give Bob more time to get the car so we can think of it as the furnace and it's at least a thousand thirty twenty Ong then God can get the coins on the production egg and then after some another internal Taichi Alice can then get into manual direction testing so it's mean that having touching another we add a new condition on the right on the smart contract so we only have the condition in short Russia

to coincide but what we do is that if a nice we had the new condition in the east Ibis podcast which was like a signature for the electron production we can work and learn that all that signature then he will he can just show it between time T and time T key to the smart contract and mantra will be like okay I see that you have a signature from Alice fine gives you the man what is important is that the only way Bob will know these thick materials if an is generated it and what cast it so till we know for sure so here for sure like I just get funded bob has the time

to get his money back and what I will try to get more money it doesn't work so yeah that the the more detail each of the protocol I got accepted on academic paper so you can can look right or just ask me and can send you a suit paper also smart contract unfortunately I don't I didn't have the time to make the implementation so we don't have this massive sweetie code for the protocol on the empty design and people I got accepted and the twenty nitrogen or protocol that we we improve the in talk

I will achieve that having to add more more assumptions and our protocol letters do atomic swaps using really sig on one side and spot other sites also protocol like that trying to achieve anonymity to interesting to sentry Phoenix's protocol and be able to have atomic solution inflection growl so yeah I love you times that time for questions we can ask question is not just pounds you have my contact concern here anything else wants to thank you we can't take a question because we are

we are late but thank you very much yeah thank you for listening [Applause] [Music]