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. Contributing to Optimism at OP Labs. 
🇨🇦🏔️ https://www.pauldowman.com

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.

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.

Also for something that’s parallelizable slow just means expensive.

Writing circuits in Noir is actually quite nice, but that ecosystem is still new.