mohsen158 / health-z

Health decentralized marketplace which leverages ZKSNARK with evaluation by Prism tool (Model checker)

🏥 health-z

Health decentralized marketplace which leverages ZKSNARK with evaluation by Prism tool (Model checker)

video demo

is everything you need to get started building decentralized applications powered by smart contracts

---

quickstart

git clone https://github.com/mohsen158/health-z healthZ

cd healthZ

yarn install

yarn start

in a second terminal window:

yarn chain

in a third terminal window:

yarn deploy