Transcript
A (0:00)
Uma, welcome to RCA podcast.
B (0:02)
Thanks for having me.
A (0:03)
Awesome. You want to introduce yourself briefly?
B (0:04)
Yeah. So I'm co founder CEO of sysynct. Sysync's an applied cryptography company. We probably best known for making the fastest zero knowledge virtual machine, ZK VM for short, in the world known as SP1 for those of you who aren't aware, ZK is this really powerful cryptography technique where it lets you prove to someone else something is true without revealing all the details. Kind of the canonical real world example is that I can prove to you that I'm over 21 without revealing my birthday or my home address or anything like that. So instead of showing a driver's license at a bar, you can just show them a proof that you're of age. We built this ZK vm, which, how can I describe it? I would say it's somewhat like a foundation model for cryptography. So if you want to prove really complex statements in zk such as a roll up state transition function or like very complex predicates, the thing we built makes it super easy. You just write normal code, you stick it in JSP1 and out comes the proof. And then yeah, we made it super fast and really easy to use, which is awesome. And I would say right now succinct. Although historically our Z K VM has been used mostly for proving blockchains and proving roll up state transition functions and things like this and like Ethereum and other chains, right now we're really excited about the potential of cryptography to solve a lot of the problems that AI poses. I think Balogy has been an extensive tweeter about this topic for many years. You're very ahead of your time, honestly. Thank you. And so yeah, I think honestly that's probably one of the most important things cryptography can do right now. And there's like a finally a clear catalyst. Every model release where the image stuff or video stuff gets better and better. It's like we need cryptography as a defense. So I think it's time for cryptography to be on a societal stage right now as a solution to all the AI stuff. So I'm very excited about that.
A (2:01)
Awesome. So yeah, actually many years ago, partly actually because of AI, but also with social media, when people are talking about misinformation, disinformation and so on and so forth, you years ago, I remember I tweeted something and I was like, oh, so you want to ban lies on the Internet? Okay, give me a function that says whether the Riemann hypothesis is true. Right. And so, you know, that's a reductio ad absurdum where we don't know whether it's true and it could be true and it's plausible that it's true. But there's many things in math which have really arcane counterexamples that, you know, you get up to N equals whatever and it's actually not true. And so, but as I thought about that, I was like, well, how would you code trugal T R U G L E? You know, if you were actually, you know, going to do it, right. How would you do it? And the thing is, LLMs get you some of the way towards that. Right? Because they will take a statement and they'll do at least a probabilistic search of the literature and pull things up and so on and so forth. Right. And the thing is though, of course, then those assertions themselves need to be underpinned, the citations. And then that's how you get to on chain everything. And so my view is like with LLMs, actually you can, you can kind of show a version of this today. If you ask any LM to summarize some major crypto hack, it will show you probably some link that shows some on chain block Explorer record, among other things. And so that's currently only used to document financial things like the on chain transaction, you know, during, let's say FTX had a hack or whatever during that period. Right. But as more and more things get logged on chain, then more and more references from LLMs will point to on chain events and we get what I call the ledger of record. And I think succinct could be maybe a big part of that. So you had some slides. So maybe you want to go through your slides.
