Polygon, a layer two scaling solution for Ethereum compatible Blockchains, has launched its zk-STARK powered Miden Virtual Machine to develop decentralized applications. zk-STARK refers to zero-knowledge Scalable Transparent ARgument of Knowledge. It allows users to prove that they hold private information ( password) without revealing the information. One use case of zk-STARK is in decentralized car insurance or healthcare products, as they need identity verification