# README

File Upload Merkle

Usage Example

Build the binary

make build-client

Run a containerized server on port 8080.

make start-server # or `docker compose up` to attach to process. or ./fxmerkle server

Sample uploads: The following command, uploads the files under .runtime/files to the server and puts the corresponding hash to the .runtime/merkleroot file for further processing and file verification.

make test-upload # ./fxmerkle client upload .runtime/files

Download the file at index and verify the proof received from server to the file content.

make test-download # ./fxmerkle client download 1

Stop containerized server

make stop-server # or `docker compose down` to attach to process.

Merkle tree Implementation

merkle package contains a simple merkle tree implementation for single proof verification.

Drawbacks

Addition to the Limitations, the following items can be considered.

Design

In Merkle tree we need to rehash the entire merkle tree to calculate root hash, alternative zero-merkle-tree can be implemented in Go.
Decrease the storage allocation by using (Verkle-Tree)[https://github.com/ethereum/go-verkle].
Usage of MMR instead of merkle tree to minimize the storage.
Use libp2p to store the files in a decentralized manner.
Integrate IPFS to ensure decentralized file system and proof verification.
Usage of DAG instead of merkle tree(the same as IPFS).

Implementation

The implemented Merkle tree does not support multi-proof, it can be implemented to support multiple proofs verification.
Support multi-chunk file upload to support large files.
Support insertion and deletion using bm in-place tree modification.
Use persistent data store instead of memory storage in the server.