ランダム化スムージングを用いた深層ニューラルネットワークのロバスト性認証を効率的に行うための増分的なアプローチを提案する。元の深層ネットワークの認証結果を再利用することで、近似ネットワークの認証を高速に行うことができる。