Okay, thank you.

Oh, yeah. So, we would generate some synthetic data, and we would use this as the testing set. And then for the actual paper or whatever, they would run the same computation on the real data. And they would send the request to the ministry of the NHI, and they ...

What we would try and do is make it so that the NHI doesn’t share the data with the researchers, but instead the researchers send requests and get back zero-knowledge proofs.

Yeah, yeah, yeah.

So, the target audience is the people in the new organization that need to like have as part of their…

And the thought of this is for health data. Given this genetic mutation, what is the probability that I have this disease? Is that enough or is there something more specific that we should do?

What is a good proof of concept for this? Because it seems like this year is the year, let’s prepare some proof of concept that we can share and show people. Is it like the idea that we have so far is to do statistics and just like given this, ...

Oh, so one last question…

I kind of believe that. Exactly.

I’ve heard a similar concept called synthetic data where you have a bunch of data and you use that to make more data that’s like not any person’s data, it’s just like kind of fake data, but it’s very similar thematically to the original.

That’s really interesting.

That’s true. That’s true. I have to make an AI ZK wallet.

That’s true. That’s true.

Yeah. And this is a nightmare for UX. But it’s possible to do. Basically, the UX is you have to go search your emails, find that email, click the extra details, copy the RSA signage, or copy the whole email digest from one window to another, and then be like, ...

Well, I guess that we could use ZK email to be like, oh, if you’re a student at the following universities, you can prove to me that you got an email that’s like, welcome to Freshers Week.

I’m concerned about the civil resistance. If we do a quadratic funding round and you’re able to sign in with a Gmail or something, that could be… You can buy a Gmail account.

MACI.

I think we did it for the last presidential hackathon.

Like, you have to have updatable public key pairs, but it has to be like, you can’t prove to someone that you updated or didn’t update your public key. Actually, you can’t prove that you didn’t update your public key. Like, this is the thing we have to hide.

Oh yeah, that’s a different tool.

So yes, we do some quadratic voting for hackathons. We’ve only done very small scale until now.

Yeah, yeah, it was the thought that I had.

Yeah.

Yeah, but they don’t know if that update is going to be valid because you could have updated your public key before that.

Yeah.

So, you can update your public key, which means that that vote will be invalid.

Right, but they don’t know if you’ve updated your public key before that.

So, if I take the briber’s program and I run it, the briber will never know if I actually updated my public key before that. And if I sell my key to someone, it’s like, oh, here’s my public key, here’s my private key, give me some money, they don’t ...

And the state, whether you did any of these actions, is a given. Right?

Yes. So basically, what you do… the way that it works is that you’re able to do two things. You’re able to vote, or you’re able to do two things. You’re able to vote, you’re able to update your vote, and you’re able to update your public key. Right?

Yeah.

Because with regular voting, bribery isn’t really super, it’s not really a huge problem, right? Because the trade-off between how many people you need to bribe and the actual effect in the result is quite difficult to coordinate. But with quadratic voting, it’s different, right? It makes a lot of ...

Yeah. They can never trust that you’re actually talking, because you’re always able to simulate, oh yeah, I voted the way you wanted, but you can never really believe that. So, we think that this is something that can, if you want to scale quadratic voting, that this tool is ...

Yeah, yeah. It’s a receipt-free ballot. So not only is it secret, it’s also that you can, if you want to, show someone how you voted.

Right, so I think that when you try and do on a larger scale, the issue of bribery becomes a much bigger problem. And the tool that we’re working on is specifically designed to make it impossible to bribe someone, and the way that it does it is roughly, it ...

Cool. I would like to talk more with the telecom people about this.

So, the algorithm you want to run is basically like how many people are inside, like one kilometer or whatever.

Cool.

Yeah.

But we could do something with your ZKPs. We could have ZK stats or whatever. And you send, like, I’m a researcher and you’re a hospital. You have a lot of data and I have an algorithm I want. I send you the algorithm, you run it with a zero-knowledge ...

I think I was thinking about doing a lot of ZK bio problems. Basically, the problem is that researchers don’t have access to data. Because it’s all private and it should be private. It’s like health data. But it turns out that standardizing databases is really hard.

Like standardization of databases.

So, we can use multiparty computation to train a model on both of our private data. So, I can contribute some of my data, and you can contribute some of yours. I don’t get to see your data, but we end up with a model that’s trained on both of ...

There’s some other programmable cryptography that’s going to be really interesting for AIs. The next one is multiparty computation. At the moment, I can train a model. You can only make proofs about things that you know. You can’t make proofs about shared secrets.

OK, so let’s talk about… Sorry, I’m talking to so much.

With a lot of things, a centaur is a human working with an AI. They become super effective. I think that prediction markets and things are a natural way to develop these new centaurs.

I think that there’s a lot of space here for training and improving AIs, and also for just competition between different people to be like, my AI is the best. You know this concept of a centaur?

The other thing or ways that I think AIs can communicate very effectively is that AIs think as probabilities. They’re very good at saying, oh, this is probably going to happen. And I would really like to see some experiments with AIs and prediction markets.

Right. For that, but also for community relationships and things. I expect ZKPs to become this way of interacting, that they become this language that AIs speak.

So, they’re going to have all these ZK proofs. That’s like, oh, Barry went to university for a couple of years, here’s a proof. And he did this, and he’s going to be a good contributor, I swear. And there’s going to be all of these really interesting interactions to ...