In The Network by Formal Verification is an on-chain exploration into the current state of the Bitcoin network and its surrounding ecosystem using a multitude of both established and exotic metrics.