zk-nft-demo-contract

KO | EN

gitlite — search

#hacktoberfest #react #golang #go #android #machine-learning #deep-learning #nodejs #java #cli #kubernetes #pytorch #ios #mcp

zk-nft-demo-contract

(★ 35)

No description available.

zk-nft-demo-contract 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# ZkNFT - Private NFTs with Zokrates and zkSNARKs

## Warning
This is an proof-of-concept prototype. This implementation is not ready for production use. It does not yet contain all the features, careful code review, tests and integration that are needed for a deployment. Future changes to the cryptographic protocol and data formats are likely.

## Installation
### Prerequisites
This repository uses the `dapp.tools` toolchain for interacting with Ethereum. Please install it first by running:

$ curl https://dapp.tools/install | sh

or check out https://dapp.tools/ for other installation options

If you want to run a local testnet with geth, the simplest way to do so is to run `dapp testnet`

$ dapp testnet
    ...

### Environment variables
The following variables are required:

export ETH_PASSWORD=/dev/null
    export ETH_GAS=5000000
    export ETH_KEYSTORE=~/PATH_TO_KEYSTORE
    export ETH_FROM=0x5a65c5e4289c34854f07dbb749ec7e8949a9131d
    export ETH_RPC_URL=http://localhost:8545

Running `./setup-env` will print the correct values for your local parity node or testnet instance. 
For Rinkeby the the quickest setup is to use Infura.

### Compile the circuit
It assumes that Zokrates is installed and zokrates-pycrypto is part of your PYTHONPATH.

Install Zokrates: https://zokrates.github.io/gettingstarted.html

Install/Download Zokrates-pycrypto: https://github.com/Zokrates/pycrypto

```$bash

cd circuit
  zokrates compile -i nft.code --light
  zokrates setup
  zokrates export-verifier 
```

The verifier.sol file contains the verifier contract that corresponds to the proving & verifying keys generated by `zokrates setup`.

### Deployment
If you run a local instance, you will need to deploy the centrifuge contracts, which is out of scope for this. Alternatively you can deploy an instance of `AnchorMock` from src/test/zknft.t.sol that will allow you to imitate the behavior of the contract as shown in the zknft.t.sol test file.

Make sure you export the registry address that is printed as the variable NFT_REGISTRY after the dployment is done.

### Testing
The script `test-transaction` has a proof and the necessary data embedded to validate the circuit that is included in verifier.sol. You can execute it to see what it does.

## Generating a proof

To generate a proof, you will need to provide the input to the proof in a json file. An example can be found in `proof_data.json`. Place the file into the `out/` folder. The python script `src/input_generation.py` transforms this into the format readable by ZoKrates (the file is put in `out/nft_witness.txt`). For which you can then call `compute-witness` and `generate-proof` in ZoKrates.

```$bash
  cd src
  python3 input_generation.py 
  cd circuit
  zokrates compute-witness -a $(cat ../out/nft_witness.txt)
  zokrates generate-proof
```

zk-nft-demo-contract

zk-nft-demo-contract 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

zk-nft-demo-contract

zk-nft-demo-contract 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README