https://github.com/dhruv-2003/zook

https://github.com/dhruv-2003/zook

Last synced: 21 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/dhruv-2003/zook
• Owner: Dhruv-2003
• Created: 2023-07-21T16:16:48.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-07-23T07:53:51.000Z (over 1 year ago)
• Last Synced: 2024-10-08T03:41:35.104Z (about 1 month ago)
• Language: JavaScript
• Size: 740 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Zook

# Contracts

- ChannelModule : the Safe Module to handle the tx on top of Safe Smart Contract , this will have an initialiser to create the channel between 2 parties in a safe Contract , it also have verify function to check the signatures or ZK proof directly for implementing the withdraw throught the safe contracts

- CircuitVerify : AutoGenerated via Circom circuit by the compiler , used to verify a ZK proof just created on chain along with public inputs

- ERC1155 Contract works together with modules - This NFT contracts defines the recepients of a channel , Each Token ID is for every new person creating the channel , and sends the NFT to recepient while doing so , can be sent to n recepients .

# Circuits

- Create our own circuit which generates the Zk Proof on the basis of the Public inputs

  // verify the Contract Address is the payment channel one

  // the total amount now is the expected one

  // The new total is not exceeding the ether Escrowed

  // verify if the sig is from the sender is should be from

- A Direct Zk proof with Sismo , to verify the recepient of a channel , It just takes up the user address, and checks if they owns that specific tokenID from the ERc1155 , later ZK - Proof can be sent on-chain to be verified , and the recepient will be allowed to withdraw.