Переписывать интернет на самом деле сейчас не сложно. Сложно убедиться, что он работает правильно. Для того чтобы убедиться, что код правильный, потребуется формальная верификация.