Working on new benchmarks for zkVM in tiny devices. pi4, RK3566, ESP32.

People keep making zk faster, we keep making it more portable.

Memory efficient ZKP at https://NovaNet.xyz

Off-chain compute triggers on-chain actions, on any device.
https://blog.icme.io/

Private Basename
zkbasename.com

are you able to prove anything non-trivial on a pi? a simple recursive proof causes sp1 memory usage to blow up in my experience.

crypto + scientific compute at https://onai.com

Site: https://shriphani.com 

Art: https://instagram.com/life_of_ess

Interesting - I was under the impression that if you used nova, you paid a huge price in speed - this has a lot of nice properties - I'm going to try it out.

The whole zkVM space has been very obsessed with speed and scaling ETH. Folding scheme (Nova) which the NovaNet zkVM is based on is focused on memory efficiency. Local proving is the only way to do private proving.