FHE libraries seem really primitive still, like ZK a few years ago. Is anyone working on a VM or compiler for general code?

Frameworks that I’ve seen only allow arithmetic and don’t abstract away bootstrapping.

Permissionless public infrastructure.
🇨🇦🏔️

BDFL of Quilibrium, Eng @ Farcaster, ex-Coinbase, always opinionated, never hydrated

/quilibrium

Cool! Yeah FHE is slow but it seems like the bigger barrier is ease of use for non-cryptographers. A year ago ZK was pretty inaccessible because you had to write Circom at best. But now with the zkVMs it’s trivial to run arbitrary rust code.

I’m working on a general intermediary language for ZK, MPC, and (theoretically) FHE, but FHE is far too slow still for general practical use.