zk_kit_binary_merkle_root 0.1.0
Reusable Cairo circuits for building zero-knowledge protocols and applications
Readme
Binary Merkle Root Library
This project contains the Binary Merkle Root Cairo library. It's used to calculate the root of a binary Merkle tree (including the LeanIMT).
Import the library
To import the library, add the lib to the Scarb.toml file. For example:
[dependencies]
cairo_binary_merkle_root = { git = "https://github.com/vplasencia/cairo-binary-merkle-root" }
Usage
use core::integer::{u32, u8};
use cairo_binary_merkle_root::binary_merkle_root::binary_merkle_root;
#[executable]
fn main(
secret: felt252,
merkle_proof_length: u32,
merkle_proof_indices: [u8; MAX_DEPTH],
merkle_proof_siblings: [felt252; MAX_DEPTH],
) -> felt252 {
// Calculate commitment.
let commitment = ... ; // Calculate commitment
// Calculate Merkle root.
let merkle_root = binary_merkle_root(commitment, merkle_proof_length, merkle_proof_indices, merkle_proof_siblings);
// Output the Merkle root.
merkle_root
}
Build
scarb build
Run tests
scarb test
References
Metadata
Version 0.1.0
Uploaded 12 hours ago
License MIT
Cairo version ^2.15.0
Size 1.8 KB
Installation
Run the following command in your project dir
scarb add zk_kit_binary_merkle_root@0.1.0
Or add the following line to your Scarb.toml
zk_kit_binary_merkle_root = "0.1.0"
Monthly downloads
Links
Keywords
- zero-knowledge
