Find all $\{a_n\}_{n\ge 0}$ that satisfies the following conditions.

(1) $a_n\in \mathbb{Z}$
(2) $a_0=0, a_1=1$
(3) For infinitly many $m$, $a_m=m$
(4) For every $n\ge2$, $\{2a_i-a_{i-1} | i=1, 2, 3, \cdots , n\}\equiv \{0, 1, 2, \cdots , n-1\}$ $\mod n$
To find all sequences $\{a_n\}_{n \ge 0}$ that satisfy the given conditions, we will proceed step-by-step.

1. **Define the sequence $b_n$:**
   Let $b_n = 2a_n - a_{n-1}$ for $n \ge 1$. This transformation will help us analyze the properties of the sequence $\{a_n\}$.

2. **Analyze the distinctness modulo $n$:**
   According to condition (4), for every $n \ge 2$, the set $\{2a_i - a_{i-1} \mid i = 1, 2, 3, \ldots, n\}$ is congruent to $\{0, 1, 2, \ldots, n-1\} \pmod{n}$. This implies that $b_i \not\equiv b_j \pmod{n}$ for all $1 \le i < j \le n$.

3. **Initial values:**
   Given $a_0 = 0$ and $a_1 = 1$, we can compute $b_1$:
   \[
   b_1 = 2a_1 - a_0 = 2 \cdot 1 - 0 = 2
   \]

4. **Bound on $b_n$:**
   Since $b_i \not\equiv b_j \pmod{n}$ for all $1 \le i < j \le n$, the values $b_i$ must be distinct modulo $n$. This implies that $b_i$ can take values from $0$ to $n-1$ modulo $n$. Therefore, $b_n \leq n + 1$.

5. **Contradiction if $b_k < k + 1$:**
   Suppose there exists some $k$ such that $b_k < k + 1$. This would imply that $a_n < n$ for all $n > k$, which contradicts condition (3) that states $a_m = m$ for infinitely many $m$.

6. **Conclusion for $b_n$:**
   Since $b_n$ cannot be less than $n + 1$ without contradicting condition (3), we must have $b_n = n + 1$ for all $n$.

7. **Solve for $a_n$:**
   Using the definition $b_n = 2a_n - a_{n-1}$, we have:
   \[
   n + 1 = 2a_n - a_{n-1}
   \]
   Rearranging, we get:
   \[
   2a_n = n + 1 + a_{n-1}
   \]
   \[
   a_n = \frac{n + 1 + a_{n-1}}{2}
   \]

8. **Verify the solution:**
   We need to check if $a_n = n$ satisfies all conditions:
   - For $a_0 = 0$ and $a_1 = 1$, it holds.
   - For $a_n = n$, we have $b_n = 2n - (n-1) = n + 1$, which matches our derived $b_n$.
   - Condition (3) is satisfied as $a_m = m$ for infinitely many $m$.
   - Condition (4) is satisfied as $\{2a_i - a_{i-1} \mid i = 1, 2, 3, \ldots, n\} = \{2i - (i-1) \mid i = 1, 2, 3, \ldots, n\} = \{i + 1 \mid i = 1, 2, 3, \ldots, n\} \equiv \{0, 1, 2, \ldots, n-1\} \pmod{n}$.

Thus, the unique solution is $a_n = n$.

The final answer is $\boxed{a_n = n}$.