完全で検証可能で後戻りできない発射