Migrate imt rust implementation from zk-kit to zk-kit.rs repo

[Arch0125]

Description

This PR adds Rust implmentation of IMT with the following methods included insert/update/delete/create-proof/verify-proof

Related Issue

Closes #3

Does this introduce a breaking change?

• Yes
• No

Other information

Test coverage

• Test New IMT Instance

  • Description: Ensure that a new IMT instance is created successfully.

• Test Leaf Insertion

  • Description: Check if new leaves can be inserted into the tree.

• Test Leaf Deletion

  • Description: Test the deletion functionality of a leaf in the tree.

• Test Leaf Update

  • Description: Ensure that a leaf in the tree can be updated correctly.

• Test Create and Verify Proof

  • Description: Create a Merkle proof for a leaf and verify its correctness.

• Should Not Initialize with Too Many Leaves

  • Description: The tree should not initialize if the number of leaves exceeds arity ^ depth.

• Should Not Insert in Full Tree

  • Description: Test that leaves cannot be inserted into a full tree.

• Should Not Delete Nonexistent Leaf

  • Description: Ensure that attempting to delete a nonexistent leaf results in an error.

[Arch0125]

@cedoor lmk if this looks good

[sripwoud]

utACK

Thanks for migrating that crate to this repo

[cedoor]

Thanks both @Arch0125 for working on it and @sripwoud for reviewing it 🙏🏽

[Arch0125]

@cedoor @sripwoud let me know what all implementations are needed to be added in the repo, would love to work it

[cedoor]

@Arch0125 Created a new issue rn: #8. More will follow