a42io / ethbogota Goto Github PK

zmorpheus delivers a pseudonymous, seamless zk-based token-gating solution for real-world use cases of proving ownership of NFTs with privacy. Anyone can easily host token-gated events where only those with a particular NFT and participants can prove that they have one of them without revealing their identities.

And One more thing, it can be connected to IoT devices, which make it easier to build token-gated spaces in the real world. In this hackathon, we use smart-lock to demonstrate the interaction with IoT devices.

We have two motivations for this project.

First is that zkp should be common good for all developers, not only for specialists. there are several super useful tools, languages, libraries for app developers in which we can make use of ZKP without knowing much about it, such as KZG commitment, Polynomials, Lagrange, plonk, plonky2, halo2, etc..

Second, Ethereum has more potential in the real world with IoT devices, which drives Ethereum as common good not only in the "Web", but also in our real lives.

Our product is based on Semaphore. We use semaphore packages, including libraries for frontend, group and base contracts for our smart contracts, and verifiers for onchain verifications. In our case, Semaphore is used for proof of membership.

todo

todo

We use graph protocol to obtain specific event firing histories so that we can create merkle tree for zk-proof generations in frontend without using backend db or something.

We use WalletConnect to make it easier for users to join Web3 world. WalletConnect makes it possible to interact with Dapps in normal browsers without interacting with annoying not good in-app-browser.

Hosted Service