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.