>完全かつ検証可能で不可逆的な

え?w