what’s the advantage of using circuit languages like noir when good zkVMs seem to be on the horizon ie SP1. seems like perf is becoming less of a reason

what’s the advantage of using circuit languages like noir when good zkVMs seem to be on the horizon ie SP1. seems like perf is becoming less of a reason 

https://blog.succinct.xyz/introducing-sp1/

https://persistence.wtf / https://nouns.build

Working on building products with zkTLS, and subverting web2 systems by encouraging client diversity. A ruthless empiricist.

http://opacity.network

are there any limitations around using private inputs with zkVMs? seems like most of them are run in a hosted instance and like you mentioned are not feasible to run on a consumer device. guessing this will change with the perf improvements @br1an mentioned

Memory and speed (as it is today)

zkVMs still require a lot of compute and memory where in a mobile app or browser it’s not going idea for an end user product.

zkDSLs were always going to become irrelevant, sort of. You still need to write circuits or as they say ‘precompiles’