I work at Succinct. We build SP1, a general purpose zero-knowledge virtual machine.