POV: Descubres lo que la computación verificable puede hacer con ZK.