ZK HACK - Event Overview and Workshop Introductions

Transcript

So, welcome to the ZK hack. Uh, this is the event that we have been planning for the last few months. I'm very, very excited that you're all here. The event is put on by the Xerald validator and the ZK podcast, both kind of entities that I work with or for or host. Um, and this is a chance for actually both entities to come together and build something focused on the ZK community. So, quickly, what is the ZK hack? It's a seven-week event series and puzzle competition, as mentioned, brought to you by the validator and the podcast. And I want to give you a quick sense of what it's like. So, we're going to have workshops and puzzles. The workshops aim to introduce you to new ZK tools like Arcworks, Circom 2.0, know, Cairo, Leo,

Aztec Connect, SnarkyJS, and we're going to be doing puzzles at the same time, which are basically broken advanced cryptography protocols that you need to find the bug in and exploit. There's puzzles or sorry, there's prizes, there's a leaderboard. It's very exciting. Here's a little sense for how the flow is going to go. We have seven of these workshops. So, each one is one week apart. It'll always happen on Tuesdays around like nowish. Um, and yeah, each one is a two-hour session focused on some of these tools that you could use to build ZK stuff. At the same time, and I know this looks a little complicated, but at the end of every session, we announce a puzzle. There's then one week

to basically work on that puzzle. And in the subsequent week, at the beginning, we announce the winners. So, yeah, a little bit about ZK hack. Why do this? Well, with ZK hack, you can learn about applied zero knowledge cryptography. We're hoping that through this we can onboard more people into the ZK space and form um more connections, collaborations, and we really hope that there could also be new ideas that are that come out of this entire process. Now, we originally wanted to do this as like a hackathon, but the truth is the tools aren't quite ready yet. But so, instead, we've decided to do the ZK hack. The place where we're going to be hanging out and talking a lot is on Discord. If you're not already there, please do join. Let's add the link to

that if you guys can find it. And also follow us on Twitter. I want to just share a little bit about the the team that is doing the ZK hack. It's myself, Kobe, Susanna, and Tanya. And we've been working Yeah. for I guess like a couple weeks on this. The idea for the puzzles definitely came from Kobe. He had this idea like if we can't do a hackathon, maybe we could do broken puzzles. All right. But at the same time, we couldn't have done it without these partners that we brought on, Anoma and Alio. So, both of these teams actually use dev time and talent to build the puzzles that you're going to be hacking on. So, there's six of them. Anomma did three, Alo did three. And I want to say a big thank you to these partners.

We also have our gold sponsors, Aztec, Iden 3, Starquare, and Mina. So the like basically these six the gold sponsors and the partners those are the folks who are going to be doing workshops over the next six weeks and um I'm actually going to be bringing them all on stage very shortly to get to know them. I also want to say a big thank thank you to the silver sponsors Figment Ketit Horizon Osmosis Geometry Cello and Polychain. Some of these teams have also sponsored prizes so you'll hear more about that as we announce the puzzles.

And there are also the bronze sponsors, Lambda Alfzero Penumbra Manta Panther, and Status, as well as our media partners ZK Proof and Zero Knowledge Soul. So, what can you do at the ZK hack? You can visit a workshop, which you're doing now, hack a puzzle, win a prize, and hopefully meet your future collaborators in the ZK space. This is the basically the schedule for the following weeks. This is actually all available on the zkhack.dev site. Uh this week we're doing an introduction to zk snarks and zk dsls.

Actually next next session is with Iden 3 looking at circom starware anoma aztec alo and mina. This is basically the flow you can expect. As each one of these folks are presenting um we're going to be sharing an individual hopin link for their event. So, and if if any of these are sessions that you want to visit, be sure to um yeah, sign up then. But don't worry, we're going to show those as everyone is speaking. And for today, this is the intro to the ZK hack. After this, we're doing workshop host presentations. So, this is the sponsoring teams. Then we're going to be hearing from Aleandro Kza on how to make snarks, snarks from hash functions with Nick Spooner, snarks from polomial

commitments with Pratush Mishra and then an intro to ZK DSLs with Alex Odeir. And I think in the discord somebody did share a previous talk from Alex at another ZK sessions event. Um, this will be I think an updated form of that. So I'm very excited to see what he has to say. And at the end of this, we're going to be doing uh the puzzle one kickoff with Kobe, and Kobe will tell you more about the puzzles that he and the teams designed. Cool. So, yeah, as mentioned, it's going to be at the end of the session that we share more about it. We're using Arc Works for these puzzles and we do have some documentation available on the site. Uh, watch out for announcement about the puzzles here and on Discord.

And I quickly mentioned prizes. I just want to kind of tell you a little bit about them. Every week there's going to only be top like the top three uh who submit in time, the fastest with the best. Those are the ones that are going to be awarded. But I very much recommend that you consider submitting a pri like submitting a puzzle solution because at the very end of all seven weeks, we have a lot of really interesting gifts and prizes that will go to leaderboard participants or folks that end up on the leaderboard. Cool. So that basically is the intro to ZK hack. I am so excited to have you all here. Um, I think actually our first speaker might be ready to come up. Let's just check it out.

Hey, hello Anna. How you doing? How's it going? Very good. I just realized I forgot to mention something to anyone listening who might know me from the podcast. Normally my voice sounds a lot better than this, but like last week we had this uh ZK hack kickoff party in Lisbon and I still haven't recovered. So anyway, uh Jordy, welcome to the stage. Now we're going to hear from Jordy Bina all about CIRCOM 2.0 and the workshop that he has planned. Take it away. Yes. Well, next week and next uh Tuesday, we are going to do the the first uh workshop on the circum 2.0 zero as you know uh um most of you circum has been fully rewrited in in in rust has

been a work for the last year and a half. So right now we have a we have let's say a professional compiler a compiler that can be audited quite well that's we have used all the experience of the silicon one for testing and so on and we have this this thing it's still new because we just launched it uh last week but it's uh we make a lot of test and and uh it's quite compatible in what I would say very much production ready we're finishing some documentation and still well it's a it's a work in progress that will never finish uh But for the for the workshop mainly what we are going to do is we're going to talk we'll divide let me see if I'm I'm just can move the the the slide just one

single slide but the idea is um well um we'll divide more or less in like in three sections in one we will do a little bit more uh theory about uh creating circuits and so on. It will be a complimentary of the talk uh uh that we will the talks that we will have today. This we will try to keep it short because today all the theorical part should be um understood from the today um from the today talks and then we will go uh hands on where we will do a real circum we will do a kind of a voting system actually is uh checking a consensus and just a real circuit. We'll go from the beginning to the end creating the circuit uh creating the

test for that circuit verifying that circuit in the smart contract. So we will do the full the full Hansson from the beginning to the end that's the workshop and then we at the end we also will talk about the circum 2.0 zero the difference between 0.5 and the circum so the lo circum and the new circum and we will also talk about all the constraint optimization which I think is a good but it's uh interesting to see how we are doing how we test that and how we uh how we improve so we'll talk about this it's just introduction hands on circum 2.0 zero be we're ready to be prepared to learn the circum zero and create your first circuits on there and then uh just for the people that already write that

already running circum and so on they they can see how to port to the new circum 2.0 Zero what are the main difference and so on and this is that uh so I hope you all the developers that are interested in that I think it's going to be fun and yeah very excited for all the uh for all the hack very cool thanks Jordy um I'm going to invite Tom up to the stage next and I think your slides are also ready hi Tom so this is Tom from Stark be sharing a bit about the Star Wars session.

Yeah. So, hi. Thank you for having me here. I mean, unlike Jordi, I'm an Anon. So, my name is Tom. I've been working at Starware for the past three years. And I had the pleasure of like three years ago hearing about zero knowledge proofs from Elemen. And I mean I've decided to join starware from the realization that I see no future for blockchains which in which zero knowledge proofs are not part both of the scaling solutions and the privacy solutions. So for me I'm very excited to be here today with all the other projects that are trying to make this um reality.

And this brings me to what we're building at Starkware which is Starknet. So, stagnet is a decentralized permissionless zola app which operates as as an L2 network over Ethereum and basically it features an Ethereum like state in the sense that you can write general computation smart contracts that are composable with each other. Uh you can deploy them on startnet and and operate the same way you do with Ethereum. Start alpha is live since last June.

and we're constantly updating it and we're aiming to uh release the alpha version on mainet in a months from now and actually the technology that starket is built up on both the ziki rollup and and the carro is already on on mainet since June last year and processing like billion dollars of trading volume each day And and this brings me to the to the workshop which will be uh on Tuesday in in in two weeks from now. Um and basically the workshop will be uh a very hands-on tutorial in which you will uh

write your first starket contract in in Cairo and the nice thing about starket is that basically it abstract away from the developer everything which is related to to proof systems. So you as a developer can write your smart contracts and and and the protocol does all the work which is related to the proof system for you the same way that you don't think about proof of work when you're writing Ethereum smart contracts and um and basically the programming paradigm is very very similar to to Ethereum. Uh so the workshop will will guide you through writing a a voting application over startnet which is a very very good example on on scalability

potential of proofs because it's a a highly computational application which at the end has one one result. So we can very easily see um the scaling properties of the system and so yeah this is startnet this is the workshop uh it will be on the 9th of November as I've said and I think it's a very good gateway both to Cairo and for startet and it will be very interesting so I hope to see you there and again thanks awesome thanks Tom.

Next up, I want to invite Chris to the stage. And I think we have your slides here as well. Hey, Chris. Hello. Chris is going to be presenting Ana. All right. I set up in a reminder of course of how far technology has not yet come a second monitor solely for the purpose of slide sharing. And so far, it appears to be working. So, if my if my eyes keep darting in a weird direction, it is not because I am waiting for a mysterious delivery. is because I'm looking at the other screen just so you know.

Uh and I am going to talk about ANOMA. So what is ANOMA besides a sponsor of ZK hack? Go figure. Anom is a protocol stack for economic co coordination with and amongst self-s sovereign communities which sounds very general uh and kind of vague and I'll talk a little bit about what that actually means but that is the highle goal. We want to facilitate communities which control their own systems of coordination so there isn't a sort of misalignment. If you look at say a fiat currency, that's an example of a misalignment between the mechanism which a community is using for coordination and the entity who actually controls or enforces the rule set of the mechanism.

So we want to facilitate economic coordination amongst self-s sovereign communities, communities that control their own mechanisms. How do we do that? There are three basic components of the Noma protocol stack. Um first component is the intent gossip system. So the intent gossip system is a is a custom gossip network. You can think of it as a kind of generalized decentralized order book. So using the intent gossip system, you as a user of Anoma can broadcast your intent. And an intent is like just saying that you you'd be happy to make a certain state change in exchange for some other state change. You'd be happy to trade something for something else. You'd be happy to barter a blue-eyed cryptokitty for a redeyed cryptokitty. Whatever it is that you might want to do, if you can write that as an intent, you can send it

to the intent gossip system. Then the matchmaker algorithm which can be run by anyone uh at that stage two is responsible for finding uh perhaps two or perhaps many more than two intents which can be combined together into some kind of transaction. So the matchmaker is responsible for finding reassignments of assets that satisfy everyone's preferences or make everyone better off or so to speak. The third component and the one that you're probably most familiar with is the settlement ledger or blockchain which is a custom proof ofstake blockchain protocol designed for private settlement of these kinds of endparty bartering transactions. So first you create intents expressing what you want to do. Then matchmakers, perhaps you, perhaps someone else, find groups of those intents which are compatible with each other, which

together can be used to reassign assets in a way or or make state changes in a way that everyone is happy with. And then those transactions can be submitted to the ledger uh and everyone can be happier. Sounds great, right? All right. Where does cryptography come in? Oh, wait, just kidding. Why private partnering? Uh very important question. So the reason we're going for this angle uh is sort of our answer to the question of what is a blockchain for uh when you think about like what in in the very broad sense of like what is it that this technology does which is useful what is it that we're going to remember in a hundred years um personally I don't think it's DeFi uh we want to go for allowing people who want to exchange uh goods uh for which we need a kind of

economic mediation system uh like say physical goods which are actually scarce. Um we want to allow the exchange of uh goods in a way uh a way to think about this is if you if you spend let's say that you are a cryptographer so you're producing what are you producing you're producing cryptography research like you're writing papers and submitting to conferences or ISCR or you're working for a blockchain company perhaps or you want to um and then you know you produce your cryptography research in the morning and then at lunch you go buy some food. So, if you think about it, you're using money, but you're using money to intermediate this very complex, large economic network because boy, the guy who's giving you donor kebab for lunch probably doesn't

want your cryptography research. No offense. Um, and you're relying on this complex network of interacting economic agents to do a bunch of like bipartite exchanges among small numbers of parties uh that ultimately allow via many many swaps you to get donor kebab in exchange for cryptography research. But the problem with using money as a mechanism to mediate all of this exchange is that money is undidnimensional. So when you use money, you're not capturing all of the uh interactions and all of the uh causal ramifications along the supply chain which you might care about. Say carbon externalities of companies which are competing with each other and can figure out ways to produce cheaper soda bottles by dumping more carbon into the atmosphere. You actually don't want

that. But because the only difference you see is a price, uh it's very difficult to incorporate these kinds of multi-dimensional impacts into your preferences. So we think that what blockchain should be doing is using the fact that they can do a bunch of computation to disintermediate not necessarily the the not only at least the sort of human entities like banks or something involved in median mediating economic transactions, but also the currency itself so that the representations of what you're doing could be higher dimensional. So that's why we're going for private binary. But to make it private we need some cryptography. Uh so there are three uh main cryptographic components of anoma and there are many more cryptographic components but these ones I want to highlight. The first are and perhaps a

flagship are the circuits uh for private partnering uh which allow you to do programmatic swaps uh in private partially in private in the intent gossip system because you need to reveal a little bit about what you want in order to find counterparties and fully in private on the ledger so that observers can see absolutely nothing. So using the private bartering circuit you can conduct multi-party swaps you can write limit orders you can swap any blue-eyed cryptokitty for a redeyed cryptokitty all in private so that observers of the ledger cannot uh distinguish any transactions to the circuit at all. The second component I want to talk about briefly is the fairio system for distributed key generation and threshold encryption decryption.

Many of you may have heard of me or the front running problem fair transaction ordering. We think this problem can mostly be solved with cryptography. And when you could solve a problem with cryptography then you don't need to think about game theory and I'd rather not think about game theory. So we're trying to solve frontr running with cryptography using fairio. And the third component is pluckup which is a uh protocol fusion of plunk and p lookup uh that uh creates a flexible polinomial equipment based proof system and we're working on a standardized IR so that all the different flavors of plunkup and Halo 2 and things that are plishish but not entirely standardized can be uh targeted with front-end languages through uh standard IR.

We are giving a workshop uh which may soon be retitled to plunk up in you. I think there is currently a longer title which is entirely my fault. The workshop will cover a few tasty details on cryptography in anoma what I talked about earlier in more detail plus a few other uh bites that you might find interesting and then uh we'll give a walkthrough of plunkup and teach you how to use lookup gates which might be uh something useful to your zone knowledge projects. Catch us on the 16th of November. And finally uh we have built some puzzles uh for everyone. Uh I am told in no uncertain terms that I cannot reveal any details of said puzzles. Uh but they are titled group dynamics hidden in

plain sight and soundness of music which I can only assume is an illusion to the musical but I actually don't know. Uh thanks to Samoa, Joshua, and Joe uh for creating these puzzles. And you will find them uh in uh uh released on the CK hack website and through uh appropriate channels, whatever those might be, on the 2nd, 16th, and 30th of November, I think. Uh double check that one. But good luck. And if anyone finds out whether this is an illusion to the musical or not, or how, please let me know.

Thank you very much and good luck uh with CK Hack. Amazing. Thank you for Chris for not sharing more. I was going, "Oh man, he's gonna talk about the puzzles." Um, yeah, we've we've worked pretty hard to try to keep these as underwrapped as possible. Um, but yeah, thank you so much for the talk. Thank you. Next up, we are we have Zach from Aztec. Hey, Zach. Hey, everyone. How's it going? Good.

Take it away. Um, awesome. So, yeah. Um I'm Zach. I'm the um CEO of Aztec and I'm here to talk about uh Aztec Connect um and to um uh um yeah um talk on a workshop if anybody is interested in learning how it works. So what Aztec connect is is it's a mechanism to interact privately uh with layer 1 smart contracts through um uh a layer 2 um ZK smartbased network. uh at the moment it's uh it's just our network but the idea is that we're we're the the interface that we're developing is supposed to be generic enough that it could be supported by in um multiple different protocols. Uh so our workshop is going to be a little bit more lower

level uh no higher level than uh than than the others mostly geared around solidity developers that want to kind of get into zon crypto um aren't really cryptographers um but uh still want to play around with the tech uh and do something useful with it. Um so what asset connect is is my computer is not working. Okay, here we go. So um it's effectively private DeFi aggregation where we use ZK smart snark proofs inside the asset layer 2 to um aggregate private transactions together. Uh and then when a roller block is broadcast into mainet, the the the kind of the aggregated um transaction gets sent as a single kind of meta transaction to a given layer 1 smart

contract and you can use this to both ensure you have privacy. Um you can you can you can engage privately with existing layer 1 smart contracts, existing protocols on chain without them doing a thing. Um and also to allow for cheaper transactions because these things get aggregated together. Um and so the idea is that this um this bridge interface that we've developed is suitably generic and it can um interact with the large majority of um interesting layer one protocols. Um so like the example here is unis swap uh which um I'll be going we'll be going into in lot more detail in the workshop as well as uh um in the workshop we'll be explaining how the cryptography works and also implementing some example um smart contracts and talking a little bit

more about the um uh uh our Gitcoin grants program to develop these bridge contracts for um uh protocols that you're you're interested in. if that's uh something that you'd be you'd be interested that that you'd appeal. Um so yeah, that's basically um just some about transaction costs, but what I wanted to get to is yeah, basically it's it's all done in solidity. um we have a like a a relatively um standard interface to talk to them smart contracts but the benefit is obviously your transactions are private and this enables some interesting novel use cases on Ethereum that can't be really exploited at the moment things like um fully blind auctions private voting private Dows

that kind of um thing and so yeah um uh looking forward to seeing everybody at the workshop looking forward to seeing everybody's solutions to these puzzles and thanks for thanks for Thanks for the presentation, Zach. Coolio. All right, next up, I hope that Alex is ready to come on the screen. I There we are. Okay, perfect. Hey, I hope so, too. Can you hear?

I hope so, too. Do you want Yeah, I can hear you. Do you want me to just wait till you click through a slide? Uh, yeah, sure. Let's uh let's kind of check here and make sure everything works hard for sound. Um okay, cool. I hope you can see these slides everyone. Let's just check. Okay, cool. Okay, take it away. Great. Thanks. Hey, everyone. Uh I'm Alex Prudin. I'm the COO of Alo and um yeah, very excited to be here today. Um you know, this is a real pleasure for me. Um, you know, I'm really very passionate about the space and and I'm excited to, you know, to partner with Anna and her team in in something that I think is really great. I think the best way to learn is by doing and the opportunity um, you know, to kind of do

these puzzles I think is going to teach a lot of people a lot of things and I think it's a fantastic opportunity to learn about all the really exciting different directions that people are taking to make this accessible to the normal uh, to the average developer. So uh, with that, so let me talk a little bit about Alo. So Ali looks kind of our tagline is you know where applications become private. Um you know so okay so what what are we talking about? What does that mean? Um so Ali is a new layer 1 blockchain. So a lot of folks are building on Ethereum and doing doing interesting stuff there and I'm very excited about that as a you know as a as a major Ethereum holder uh and uh and fan myself. But we're taking a slightly different approach. We've got a new layer 1 blockchain um and we're

building uh in this model called Zexi. Um so those of you in this you know some of you in this uh you know in this workshop or or at this event might be familiar with Zexi. It stands for zero um zero knowledge execution and uh it was it was a paper written a few years ago. The date is the updated paper but I think it was originally released in 2018 and the highle idea is um basically off-chain compute and onchain verify. This is very this is actually not that different than you know what a lot of what folks are doing with the rollup model. Um, but this is this is kind of arguably a little bit more generalized and we do have um you know our own layer 1 blockchain where we're storing the records or or kind of the proofs themselves. So we're kind of taking a

full stack approach uh up to private applications which is uh kind of why we have our tagline there. So uh highly recommend you read the paper if you haven't. Um there's also some great I'll just plug there's if if the paper's too dense for you there's some great um blog posts on the zeronowledge.fm FM website that where people have summarized these ideas to and and and they're really exciting. So definitely recommend you check that out. Um, okay, back to Alio. So yeah, so like I said, we have our own layer one blockchain. That's that's what we call Snark OS at the very bottom layer there. And the execution environment is really where we kind of implement this idea of Zexi, which is, you know, running state transitions or running proofs of state transitions offchain on a client side or through, you know, through a prover, a a

trustless prover. And then those those state transitions get kind of bundled up as proofs or generated as proofs bundled into transactions and submitted to the layer 1 blockchain which we call snark OS. And then the focus of our workshop is going to be what we call LEO which is a new language and compiler for um for writing you know private applications using zero knowledge proofs. And last but not least we've built you know a bunch of dev tools um you know to help developers you know kind of to make this a little bit more accessible. So Alo studio is where you can write a LEO program. We also have a a web IDE at leang.org and I can share some links in the chat after this for folks who want to learn more. Uh we have a package manager which is actually something I'm really excited about. Um you know in in

in Ethereum world I think there's about a million copies of you know hard copies of safe math floating around and it kind of introduces some some security holes sometimes uh as as we've seen in some hacks. Um so the package manager is is effectively a namespace and package manager just just kind of like node or or you know others from different ecosystems and uh and basically lets you write a package or library once and other people can import that into your you know into your application. So hopefully reducing um you know the potential errors that occur when you control C control P across smart contracts. Uh and then a explorer is a block explorer. Um and you know you see so you can d you know directly deploy u you know application and and you know

see it see the transactions kind of flowing through that. Okay. Um cool. So I talked about you know like I said really this our workshop is about LEO and one of the things that I'm excited about for LEO is um we're working to have this language and compiler formally verified. And I think that's exciting because as we've seen um you know when when the logic of your program um you know is potentially is potentially private or potentially not not being revealed. You know you always have to worry about um a bug that gets introduced um at some layer of the compiler wherein you know it's there's there's something that that's not not not according to plan. Um, you know, Zcash, I I think there was a bug in

particular where, you know, there's a question of like, well, you know, is this there's this potential bug would let people mint an arbitrary amount of Zcash and and people had to wonder, well, had does anyone had anyone taken advantage of this? Um, you don't really know or not know. So this this obviously you know having formal verification for your compiler doesn't mean that there aren't developers who can't find a way to write bugs but it does mean that you know those bugs hopefully you know are are impossible mathematically impossible at least from the level of the compiler. So so you know we really value the idea for security as well as privacy and so this is something that that we're we're very kind of passionate about and I mentioned some of these other things. Um you know like I said leolang.org org is the best place to uh to kind of get a

feel for this language in advance of the workshop. And during the workshop, we'll kind of go through an example application. But um for those of you who've written Rust and and JavaScript before, it's kind of a it's kind of a mashup of those two languages. Um so check it out. Um cool. Yeah. And then I think really this this kind of applies beyond Leo but just to all the talks you know I think one of the really exciting things about all these languages that you all are going to be learning about is you know we don't no longer will you need a PhD to write um circuits for zero knowledge proofs right you'll have compilers and Alex Ozimir who if you haven't heard his earlier talk it's fantastic but you know you you know he he kind of goes through um kind of the taxonomy of languages and at a high

level like it's it's very exciting to you know make this technology accessible to the average developer not just the cryptographer the expert. Um, cool. There's the link right there, actually. So, play.olang.org. So, I encourage you to go and check it out. We've got some packages uh on there um that you can, you know, kind of start from. We have a linear regression example, for example. Um, you know, some other stuff. And uh yeah, and so like what can you what kind of stuff can you build? Um, I came up with this idea for a workshop I did recently of a medianizer for oracles. So, you know, a lot of DeFi systems um rely on oracles to report price feeds and some, you know, kind of as a as an additional layer of security, instead of just

trusting one oracle, they they aggregate a bunch of oracle reports into a single value. And one way to do that is to just take the median value of a report, you know, of a of an array of reported values. Um this is what makerd at least at least up to a year ago. I haven't really been following them recently, but I know they they were doing this something like this for a while. And you know, one example application we have in the playground that you can play with is kind of this idea of a of a private medianizer where you know um the reported array of values isn't publicized um and the identities of the reporters are not publicized but you know out you can get a a cryptographically a cryptographic proof along with a value associated with it um that that's that's the median value of of some array of of

reported numbers. So anyway, it's just one of many, many, many examples that I'm sure you guys will hear about for uh for zero knowledge powered applications. And like I said, thank you very much again to Anna and the ZK hack team for having me here. It's our pleasure to sponsor this event and very very excited for the rest of uh the next several weeks. So thanks again. Thanks so much, Alex. Thanks for the presentation. I'm glad it worked. Cool. All right, I want to invite Isaac from 01 Labs to talk about your workshop and Mina. Go for it.

Cool. Can Can you see me and my screen? Okay. Yep. You're all good. Great. Um, hey everyone. So, um, I'm Isaac. I'm CTO at Owen Labs. Um, and uh, you may or may not know, but Owen Labs works on Mina, which is a layer 1 blockchain that launched uh, earlier this year. And yeah, the slide's kind of busy, but um, basically Mina uses recursive zk snarks to like compress the whole blockchain into a single zk snark, which lets any anyone on the network um, sync pretty much instantly with the security of a of a fall node. Um so that's Mina and where Mina is going um is uh Snaps. So Snaps is going to be our

first major hard fork um for Mina and uh it's basically our system for private scalable smart contracts. Um so uh DAPs you know just to kind of like give you a quick quick gist of this DAPs are applications with public data um and censorship resistant execution. Um snaps which are smart contracts amina are applications with both optionally you know private and public data. Um censorship censorship resistant execution as before um but now also verifiability and scale of execution. Um so these are kind of the three new things you get using by using CK Snarks.

You get privacy, verifiability and scalability. Um now as for our workshop um uh that's going to be on December 7th um and we're going to be uh exploring snarkyjs which is our typescript uh SDK for working with zero proofs um and also web snaps which is Mina's system for uh importing real world data into zero launch proofs. So let me just say a bit more about these two things. Um smokyjs it's our typescript SDK. Um here you can see an example of it. This is just like a little bit of TypeScript code for verifying a Schnore signature. Um, and the really nice thing about it is there's no need to learn a new language or tools. You can just use TypeScript VS

Code which has really nice like autocomplete and like you know error uh indicating and stuff and mpm um and uh yeah you don't need to to learn anything new. Um uh and then web snaps. So that uh one kind of way of communicating it that uh Emry, our our CEO uh came up with that I really like was a private plaid for anything. So Plaid is sort of you know this weird hacky system for like getting data out of US banks um that don't have APIs um uh this is sort of a system for for doing that but but importing it into zero knowledge proofs and and any kind of data from from the web. So let me just kind of set the background a little

bit. um zero knowledge applications have been pretty limited I would say so far like uh they're they're limited beyond you know the actual applications that we've seen are kind of surprisingly few and and just been limited to games and financial speculation in theory. I mean I I'm not sure there's even been that much of like private DeFi stuff yet. Um but it's doable in theory. Um and and the reason is is because there's no way to import real world data. So you're just limited to kind of the internal reality of a blockchain. Um so you can just do games or just do financial speculation. Um webs is a really neat feature um that's part of snarky.js which will basically let you import any

data from the web uh into your zero knowledge proof. So if the data is accessible via HTTPS, it can be imported into your zero knowledge proof. Um, so like just to give you like an idea of this, there's a few examples. Um, you could really easily make a proof of identity uh contract by just, you know, uh, saying, oh, I can access, um, you know, uh, a Facebook account that I control and has at least this many friends or, you know, I can go on to a government website and I have a valid login there. And so that can be like a proof of identity. Um, you can also use use this uh use this technology to like use medical information in in an application or you could use data uh

from social media while still protecting the user's privacy. So, for example, maybe you want to like bootstrap a new uh social media platform um and you want to automatically let people become friends if they're already friends on some other platform. Um, so you could just like kind of import that data uh from an existing social media website onto your like new private social media. Um, the examples go on and on. Uh, unsecured lending with credit scores. Uh, for example, uh, this is kind of something where um, working with uh, Teller Finance on um, and you know other other examples are you could have kind of like employment verification or some kind of incred accreditation verification while still protecting the user's privacy. So normally, you know, most of these applications don't really

make sense on a blockchain because in a DAP, like all data has to be public, but in a snap, you can keep data private. Um, and with web snaps, you can like use existing data sources, um, like out of the box. So, um, oh, private test, sure. So, uh, that's pretty much it for like the, you know, a teaser of what you can expect to learn about at the workshop. Um, but just, uh, uh, a few plugs. Um we're hiring at Owen Labs. So a bunch of engineering positions, head of marketing, head of bisdev, senior technical product manager. Um link is there. And just a few uh things to know that are unique about Owen Labs. Uh well perhaps not unique, but some of them are. Um very good comp and work life balance. Um friendly, kind, and smart co-workers. Very cutting edge technology

of course and products. Um and then the most unique thing I would say is we're majority worker owned and 100% worker governed. So um you know everyone really controls the the workplace. Um so the the hack oh the hackathon not ton is going to be uh we're also having a snaps hackathon. Sorry this is unrelated to to this event but it will be a few days after December 7th. So uh after our workshop um and if you want to you know make any future requests for for snarkyjs here's a link. I'll drop a link to the slides in the chat so you can get all these links. Um and also again the jobs. Oh and you can follow us on Twitter. Okay that's that's it for me.

Sorry, I kind of I kind of rushed through it, but No, not at all. Actually, we're a little early, but um thank you so much for your talk and sharing with us the workshop. I've been I've been adding all the links to every single workshop. Those are all unique hopin links and you can already sign up for those now. Even though they're I mean, in your case, it's on December 7th, so it's quite a ways in the future. You're going to be hearing about all these workshops week to week as well. But if there's some that you're like, I must not forget it. Now is a good time to sign up. All right. Thanks so much.