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.
🇨🇦🏔️

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

An example of a token application is available here:

Product Manager of Noir; casts about ZK, privacy, decentralization and protocol design.

Socials: https://icebreaker.xyz/savio

An example of a token application is available here: https://www.quilibrium.com/labs/token

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

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.