Zero Knowledge Proof, Digitap, BlockDAG, and Bitcoin Hyper. Dive into their real progress and long-term potential.