StarkWare Bitcoin ZK verification is a 1MB zero-knowledge proof that lets users verify Bitcoin payments on mobile without downloading the full 680GB ledger, enabling transaction checks in under 100 milliseconds
