We believe that because proof sharing is a widely applicable concept which is also orthogonal to existing verification techniques, it can trigger future research instantiating the idea to different networks, datasets and certification methods, as well as drive interesting theoretical investigations for why proof sharing is indeed possible (e.g., similar to the idea of transferrability of adversarial examples [1]}).

Мы считаем, что поскольку совместное использование доказательств является широко применимой концепцией, которая также ортогональна существующим методам верификации, она может стимулировать будущие исследования, оправдывающие идею для различных сетей, наборов данных и методов сертификации, а также способствовать интересным теоретическим исследованиям о том, почему совместное использование доказательств действительно возможно (например, аналогично идее трансферабельности атакующих примеров [1]).