Zk-STARK pioneer Eli Ben-Sasson unpacks the potential of zero-knowledge proofs to address Bitcoin network congestion and