Is anyone here actually building something with FHE? FHE contract chain doesn’t count since you’re still hoping someone builds something.

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

http://opacity.network

Maybe you can help me out...if FHE doesn't support branching, then how can you ever perform general-purpose computation?

Enabling TypeScript, JavaScript, Python and more for the Internet Computer (ICP) (built originally by DFINITY).

How can you build something like an ERC20 token without branching?

That's what I could never really get past when building with FHE in the past, I couldn't protect the balances in the accounts.

Is this possible?

Technically I think it’s possible, but may be too slow for practice.

Homomorphic usually refers to add and mult. From that you can do a whole lot of cool stuff.

Branching would be cool, but I’m happy with just fast add and mult in the beginning.

I take it is like programming a zk circuit. You still have to do all the math but you can multiply by 1 or 0 to make it valid or not

Ecosystem Lead @zama
Bringing confidentiality to blockchains with /fhe


So will we eventually be able to compile Rust and other languages to some kind of FHE bytecode? Without having to use special libraries, and have if statements just work?

You can do branching on the fhEVM using the CMUX operator.