科普(一):什么是挖矿？BTC、FIL、ETH、Defi挖矿的区别