Although it incurs significant computational cost, known as proof of work, what aspect of the bitcoin verifies transactions among anonymous participants?.