Centralized crypto exchange OKX has integrated a type of zero-knowledge proof mechanism called ZK-Starks into its proof-of-reserves verification.