sCrypt-Inc/zk-battleship not found