Skip to content

krlosMata/devconVI-workshop

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

15 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

devconVI-workshop

Pre-requisites

Circuit explanation

get-nft.circom verifies that a certain account in the rollup given a snaphot (state-root) has been done more than 10 transactions. This is a proof of rollup usability and if a user is able to prover that it will receive a NFT as a reward

Constraints

Public inputs

  • root: snapshot of the hermez rollup state root
  • idx: unique identifier of the state-tree. Used as a nullifier to avoid double minting
  • ethereumAddress: msg.sender used a a proof of account ownership

Private inputs

  • state leaf parameters: tokenID, nonce, sign, balance & ay
  • siblings

Resources

Create a mock powers of Tau and a zKey:

    circom get-NFT-test.circom --r1cs --wasm --sym --c
    snarkjs powersoftau new bn128 13 pot13_0000.ptau -v
    snarkjs powersoftau contribute pot13_0000.ptau pot13_0001.ptau --name="First contribution" -v
    snarkjs powersoftau prepare phase2 pot13_0001.ptau pot13_final.ptau -v
    snarkjs groth16 setup get-NFT-test.r1cs pot13_final.ptau get-NFT-test_0000.zkey
    snarkjs zkey contribute get-NFT-test_0000.zkey get-NFT-test_0001.zkey --name="1st Contributor Name" -v
    snarkjs zkey export verificationkey get-NFT-test_0001.zkey verification_key.json
    snarkjs zkey export solidityverifier get-NFT-test_0001.zkey verifier.sol

Future work

  • Setup different tiers of NFT depending on the nonce
    • nonce should be public then
    • mint NFT depending on nonce selected
  • Similar circuit but proving that a certain account has more balance than X

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published