VerkleTree

VerkleTree is a Rust library implementing Verkle Trees using the BLS12-381 elliptic curve and KZG commitments for efficient storage and verification of data. This library provides functionality to build a Verkle Tree, generate proofs, and verify them.

Features

Verkle Tree Construction: Build a Verkle Tree from a set of data.
Proof Generation: Generate proofs for specific data points in the Verkle Tree.
Proof Verification: Verify the generated proofs.

Installation

To use this library, add the following to your Cargo.toml

verkle-tree = "0.1.0"

Usage

Here is a basic example of how to use the library:

use verkle_tree::{VerkleTree, VerkleProof};
use ark_bls12_381::Fr as F;

fn main() {
    let datas = vec![F::from(10), F::from(20), F::from(30), F::from(40), F::from(50), F::from(60), F::from(70), F::from(80), F::from(90), F::from(100), F::from(110), F::from(120), F::from(130), F::from(140), F::from(150), F::from(160)];

    let width = 4;
    let verkle_tree = VerkleTree::new(&datas, width);
    let index = 0;
    let data_at_index = datas[index];
    let proof = verkle_tree.generate_proof(index, &data_at_index);
    let is_valid = verkle_tree.verify_proof(&proof);
    assert!(is_valid);
}

Testing

To run the tests, use the following command:

cargo test

TODO

Add support for multiproof using random evaluation
Store VerkleTree
Add benchmarks in comparison to Merkle Trees
VerkleTree solidity verifier???

Contributing

Contributions are welcome! Please open an issue or submit a pull request.

License

This project is licensed under the MIT License. See the LICENSE file for details.

verkle-tree 0.1.0