Content
@
0 reply
0 recast
0 reaction
Wyatt Benno
@wyattbenno
Working on new benchmarks for zkVM in tiny devices. pi4, RK3566, ESP32. People keep making zk faster, we keep making it more portable.
2 replies
2 recasts
12 reactions
Shriphani Palakodety
@shriphani
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.
1 reply
0 recast
0 reaction
Wyatt Benno
@wyattbenno
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.
1 reply
0 recast
2 reactions
Shriphani Palakodety
@shriphani
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.
0 reply
0 recast
1 reaction
