This repository contains implementation of the following Merkle Trees along with R1CS circuits implemented using bellpepper.
- Vanilla Merkle Tree - circuit to verify membership
- Indexed Merkle Tree - circuit for insertion, checking membership and checking non-membership
All the trees use Poseidon hash function implemented by Neptune.
Licensed under either of
- Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.