search

AztecProtocol / ab2

Alpha Build 2 project repository.
3 stars 27 forks source link

ZeKshop: Privacy-Preserving Adult Store Using Aztec Infrastructure #16

Closed NikolayKostadinov21 closed 1 week ago

NikolayKostadinov21 commented 1 month ago

ZeKshop

ZeKshop Demo

Read the ZeKshop Whitepaper in the zekshop's root directory

Abstract

ZeKshop addresses the severe privacy issues in purchasing erotic merchandise by using Aztec, a privacy-first Layer 2 on Ethereum. ZeKshop is a privacy-centric adult store using cryptography to protect user anonymity. Purchases are secured via Aztec Layer 2 with zero-knowledge proofs, while zkEmail library enables private, verified reviews and communication with the store. Loyal customers can earn on-chain NFT vouchers for free products, ensuring both privacy and rewards. The purchases are being privately collected with the parcel-receiving machines BoxNow. This document outlines the key features of ZeKshop, including private payment methods, order receipt through BoxNow, secure communication and privately sharing opinion on product using zkemail.

Look at ZeKshop's README for the in-depth Diagram

Overview

There are three main directories in the ZeKshop project.

circuits

Contains the verify_purchase circuit. It's located at zekshop/circuits/verify_purchase. It get the purchase number, the sender and recipient email addresses from certain email's metadata and constraints that indeed the user(on the client-side) that inputs the email is the one that received the email better known as "spender of the funds for the purchase".

[!NOTE]

There are implemented tests for proving and verifying an email. There is an email that's already used as a test-data in the tests/test-data folder

The tests are located in zekshop/circuits/client/tests. Steps for running them:

  1. Go to cd zekshop/circuits/client/tests

  2. Run yarn

  3. Run yarn test

contracts

The contracts are located at zekshop/contracts where there are two directories, respectively the blocksense_historical_data_feed_store and the schnorr_account_contract.

blocksense_historical_data_feed_store

This is the data feed provider for the offchain-onchain data bridge. It acts as a simple key-value store where the key is the id of the respective data feed and the value is 24 bytes array with Field number(should be max: u64) for the block's timestamp. Learn more about BlockSense

schnorr_account_contract

ZeKshop provides users the ability to create Schnorr account with which they can connect to their Schnorr account wallet to sign transactions (buy products).

app

The client-side of ZeKshop. Contains utils for proving and veryfing an email and an interactive UI of ZeKshop. Steps for running it locally can be found below.

Technical guidance

Run ZeKshop locally

To run the ZeKshop client locally:

  1. Go to cd zekshop/app

  2. Run yarn to install necessary dependencies

  3. Run yarn dev to run the client locally on http://localhost:3000

[!IMPORTANT]

As the buying product functionality is still actively worked upon, you'll have to send an email manually

The steps are the following:

  1. Go to cd zekshop/app/page/api/sendEmail.js

  2. Change the email variable to your email address.

  3. In the directory you are (cd zekshop/app/page/api/sendEmail.js) execute node sendEmail.js

  4. Check your email, you have an email by ZeKshop!

  5. Click on the vertical three dots for more options

  6. Click Show original button

  7. Click Download Original button on the bottom-left

  8. You can now drag and drop it and prove that you bought product with a specific ID!

Giving an opinion on a product

  1. Click Opinion button

  2. Dialog pops up where you have to drag and drop your .eml email metadata

  3. Verifying in process...

  4. You've verified you have received email from ZeKshop for successful purchase! (aka you bought that product).

[!IMPORTANT]

The compiled binaries of the verify_purchase circuit are already in zekshop/app/app/assets so you don't have to compile it before trying to verify an email!

ZeKshop's X (formerly Twitter)

NikolayKostadinov21 commented 1 month ago

@0xrafi @critesjosh I've updated the issue template with an issue related with the generics in Noir. I will open an issue also in the Noir repository, is that ok with you?

I've opened an issue in the Noir repo as well - https://github.com/noir-lang/noir/issues/6330

NikolayKostadinov21 commented 1 month ago

Like I mentioned in the issue that I've opened, the latest commit of 0.36.0, the compiler catches the inconsistency, so everything is fine!

NikolayKostadinov21 commented 2 weeks ago

Ready for merging!