en caso de que lo hayas pasado por alto, publicamos un documento que muestra la solidez formal de nuestro NockVM https://t.co/PPVJ1zY8OA