Yes, like Cairo. In fact I almost applied to a job working with Cairo recently, but I was told someone else had just started it.

It's possible to build more standard CPUs as well which use ordinary arithmetic, logic and memory, at some cost to efficiency. But the cost is almost entirely borne by the prover.