A paper on the provable security of NIPoPoWs in the velvet fork model - View it on GitHub