StarkWare, a zero-knowledge (ZK) cryptography firm, has launched a 1MB proof of the Bitcoin ledger designed to verify blockchain transactions…