Building a trustless bitcoin mining protocol built on IC