With full respect for your experience and knowledge, I think your recent post was misleading and quite dishonest.
> you can’t really use modern programming languages like Cairo for writing smart contracts
Calling Solidity, which is supported by nearly all FHE solutions, a non-modern language, and at the same time calling Cairo, which is used only within a single ecosystem, modern, feels inconsistent and sounds more like a marketing move than a genuine technical view.
> FHE gives you the same privacy guarantees as a TEE
Having worked with both, I can say that claiming FHE, an LWE-based quantum-secure scheme, provides the same guarantees as secure hardware goes against every cryptographic principle I’ve encountered.
To clarify, I agree with part of your last point. FHE is far more mature than it has ever been, but there are still crucial steps ahead before it reaches full maturity. Compared to ZK, which had about a decade’s head start, FHE is on a very promising track.
Privacy matters --
Difference between TEE, ZK, MPC and FHE - Last one!
Today we explain: FHE
FHE - Fully Homomorphic Encryption is a very powerful cryptographic privacy paradigm.
It solves confidentiality, but not integrity. In this sense it's complimentary to ZK, and in an ideal world you’d want to use the two of them combined.
FHE gives you the same privacy guarantees as a TEE:
- You send encrypted information to an FHE circuit
- It performs a computation on your data. It does it without knowing anything about your data.
- Then it sends you the result in encrypted form, for you to decrypt.
This is useful in settings like storing your data on the cloud, and asking the cloud provider to compute on your encrypted data while it remains encrypted.
The problems with FHE are several:
- First, like the case of MPC, you can’t really use modern programming languages like Cairo for writing smart contracts. You have to work with circuits, which are more limited.
- The second problem is that FHE doesn’t deliver integrity, so if you ask the blockchain to run FHE you will need *all* nodes to re-execute that computation, which is very costly.
- The third issue is that of maturity. Like MPC (and unlike ZK), so far there’s been limited experience and usage of it, but I hope this will change with time.
The END