Yes Ligero is great for client-side proving, but the small memory footprint is useful for more than just that. Hear more of what @mvenkita tells @AnnaRRose: