In case you missed it, we published a paper showing the formal soundness of our NockVM https://t.co/PPVJ1zY8OA