KO
|
EN
gitlite — search
Search
#python
#java
#python3
#arduino
#golang
#machine-learning
#rust
#html
#flask
#javascript
#seismology
#nodejs
zkBOX
★ 10
Open GitHub ↗
Artemis Academy capstone project
Download README (.md)
Explore Similar Repositories
kos-virtualbox-guest
:
VirtualBox Guest Additions driver for KolibriOS.
sfcc-jobs-executor
:
Execute SFCC jobs from VSCode.
cpp-shellcode-inject
:
C++ shellcode injection with Createremotethread
edgerouter-spi-repair
:
Material to repair EdgeRouters with faulty SPI memory
homelab
:
No description available.
// repository documentation
Was this content helpful?
★ 0
(0 ratings)
Select Rating:
★
★
★
★
★
Submit Feedback
Recent Feedback
×
Download README
Do you want to download the
README.md
file for
zkBOX
?
Download (.md)
# zkBOX ## Artemis Academy capstone project <br/> **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). <br/> <br/> 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.  <br/> ## Deposit workflow  <br/> ## Certificate mint workflow  <br/> ## Assets redeem workflow  <br/> ## 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 <br/> ## Usage <br/> To **generate new proof** (replace 'deposit' keyword in example below with required proof: deposit, mint, assert, redeem): <br/> (1) indicate input data in `./circuit/deposit/deposit_Input.json` <br/> (2) run `./circuit/deposit/newProof.sh deposit` script <br/><br/> To **generate merkle tree proof**:<br/> (1) add new leaf to `./leafs.txt` <br/> (2) run `./generateMerkleTree.ts` <br/><br/> For **testing typical workflow** use `forge test -vvvv` command
