重寫互聯網其實並不難。真正困難的是確保它運行正常。 需要對代碼進行正式驗證，以確保其正確性。