Analysis & Research Special Guest Report: In The Network (Bitcoin Q2 2020) 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.