zkBOX

KO | EN

gitlite — search

#python #typescript #golang #rust #deep-learning #linux #macos #nodejs #java #kubernetes #awesome-list #vue #pytorch #ios

(★ 10)

Artemis Academy capstone project

zkBOX Latest Version Download

Download Latest Version (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# zkBOX

## Artemis Academy capstone project

**zkBOX** aims to ensure private assets holding and enables proof of ownership over some amount of assets without actually revealing the total amount of assets or doxxing financial history by using zero knowledge proof cryptographic technology.

Project presentation slides are [here](https://www.figma.com/proto/F5GlUaPEwp9ftkKiShwOvT/zkBOX?page-id=0%3A1&node-id=1%3A2&viewport=79%2C270%2C0.06&scaling=contain).

Design principle is based on commitment-nullifier scheme: anyone who deposits a coin uses a private secret key - S. User locally compute the commitment - ”leaf" L=hash(S,1), which gets published on-chain and becomes part of the state, and N=hash(S,2), which is called the nullifier. The state gets stored in a Merkle tree. This allows to simultaneously solve privacy and the double spending problem.

![Design principal](https://raw.githubusercontent.com/ashablovskiy/zkBOX/main/img/design.png)
 
## Deposit workflow
![Deposit workflow](https://raw.githubusercontent.com/ashablovskiy/zkBOX/main/img/wf_1.png)
 
## Certificate mint workflow
![Mint workflow](https://raw.githubusercontent.com/ashablovskiy/zkBOX/main/img/wf_2.png)
 
## Assets redeem workflow
![Redeem workflow](https://raw.githubusercontent.com/ashablovskiy/zkBOX/main/img/wf_3.png)

## Tech stack

- Solidity
- Circom 2.0 (ZK-SNARK Compiler)
- Snarkjs (implementation of the zero-knowledge protocol in javascript)
- Circomlib (library of circom templates)
- Foundry (testing framework)
- Slither (code security analysis)
- Typescript

## Usage

To **generate new proof** (replace 'deposit' keyword in example below with required proof: deposit, mint, assert, redeem): 
(1) indicate input data in `./circuit/deposit/deposit_Input.json` 
(2) run `./circuit/deposit/newProof.sh deposit` script

To **generate merkle tree proof**: 
(1) add new leaf to `./leafs.txt` 
(2) run `./generateMerkleTree.ts`

For **testing typical workflow** use `forge test -vvvv` command

zkBOX

zkBOX Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

zkBOX

zkBOX Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Download README