Building Private, Verifiable Applications with ZK, FHE, MPC, and TEEs

You want to sort of be able to build your application

in a way that it both protects the privacy on

the one hand and enables the verifiability on

the other hand, right?

And, you know, like all the performance things

aside, right?

I mean, if you have a full-blown application,

you want to do all in zero knowledge, maybe

that's not quite possible today, but then there's

of course other privacy technologies, right?

Like, uh, I mean fully homomorphic encryption,

multi-party computation, or even like people

use TEEs to do some stuff in there. So there's

a whole toolbox to use. But I guess my point

is really like, and that's what we're trying

to build at Subzero and like in Realo, that

you're able to have this full spectrum, right?

Like that the network provides you the primitives,

and then developer then he can develop your

application on top of that, and and then just

pick the tools and also really achieve all the

verifiability verifiability that's needed also

for compliance and so on and so forth.