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

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

OT Circuits == the intermediate representation?

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