重写互联网现在其实并不难。难的是确保它正常工作。 需要对代码进行形式验证，以确保其正确性。