 Hi, so I'm Mark of Goldweiss. I'm a senior lecturer at the University of Edinburgh, which does a lot of collaboration with IHK in the blockchain technology lab. And so my background is on doing privacy enhancing protocols, and an important building block of privacy enhancing protocols is CO-Knowledge. And I think in the cryptocurrency work, people know CO-Knowledge under one instantiation of it, which is called the CO-Knowledge Snarks, which is very important as a tool for building privacy on the blockchain. I think the most well-known currency is probably C-Cache, but there are many other efforts on making cryptographic currencies more private, and that's what I'm doing here at the University. So CO-Knowledge proofs and C-Cache snarks may seem to the lay person like a magical object. So in one line, what it allows you to do is to prove the truth of a statement without revealing anything, or more specifically without revealing anything but the truth of the statement. And so what you could prove in an cryptocurrency is you could prove that someone who owns a piece of money, who owns some amount of money, spend that money with someone else and keep both of those kind of the connections between where the money came from and where it is going kind of unlinkable. So that's what it is used for in C-Cache. So Arboros has a different way of doing consensus on the blockchain. So it's not based on proof of work, but proof of stake. So one thing we're doing is trying to figure out how CO-Knowledge can work with proof of stake blockchains. So our general approach is to build things from the ground up, bottom up. So where we kind of lay the foundations first, we kind of think about what are the assumptions, what are definitions, and then we build kind of cryptographic protocols and only then we go towards implementation and applications to build a product. So we are at the very beginning of this. So we are trying to understand what is it actually that we want to achieve. So there's C-Cache and it has some security definitions, but it is not kind of the composable nature that we would want it to be so that we can put it together with the other sound foundations that we already have in the blockchain technology lab. So at the moment we are taking the definitions of Arboros and extending them with privacy. And then we have kind of some example protocols that we think will achieve that, but we are still at the very beginning. What I find very exciting about kind of cryptocurrencies is that they kind of, now everyone talks about stuff that I've been doing for at least 10 years. And I thought that I knew that it was important then, but now kind of we found like the nice mixture of things that make it work in the real world. So that's, I think that's also what cryptographers, what surprised cryptographers about Bitcoin, because it uses kind of things that they already knew. It's just it was some magic mixture that made it kind of contagion than it's spread over the whole world. So that I find that extremely exciting. So in Microsoft itself, I've worked on something quite different, but in my opinion it's very closely related. So I've worked on the formal verification of TLS, Transfertile Security, which is the core protocol of the Internet. So the security protocol of the Internet. So it's what security on the Internet is built on. So when you do online banking, you rely on TLS to make sure that no one steals your money. So it's very foundational and very important to get that protocol right. And it's going through a new iteration where it receives much more academic input, where there's a rigorous design process and actually some formal verification. So it's a new way of doing things. And I find this new way of doing things is very closely related to the way we want to do things in the blockchain lab. Building on sound foundations and security definitions and kind of building it from the bottom up, rather than just mixing something up and hoping it doesn't break apart. And if it breaks apart, let's just patch it up in some way. So that was the old way and we want to move towards the new way. And despite TLS and kind of cryptocurrencies being very different beasts, there's a close connection in them being kind of important infrastructure, one of the present and the other one of the future.