ZK for is a protocol which involves zero knowledge proof that made the described scenario above possible. The issuer of the document will commit a hash of the document to the blockchain, utilizing blockchain as a settlement layer. The issuer could be the hospital, the university or auditors. The document is then sent to the owner in plain text. The owner now is reponsibile of storing his/her own data. When sharing the public data to the recepient, the owner selected only the information that is shareable, creates a zero knowledge proof that the file hashes to the committed value on the blockchain and that the information indeed is part of the document. The verifier upon receiving it, compares the commitment hash (public input) to that store on the blockchain and is able to accept (if proof true) or deny (if proof is false). Our goal is to allow any party to have access to this technology and we created this project as an infrastructure, which allows the underlying zkp to be generic and would be flexible enough.

• Rust for Halo2 libray (ZCash)

• Solidity that is able to deployed on EVM chain (eg. Polygon, Scroll, Ethereum)

• Wasm for proof generation and verification on browser

• Rainbow kit for easy smart contract interaction

• Create react app for frontend