Sparse Merkle Tree Verification

[bitzoic]

Description

Sway-Libs only currently supports Binary Merkle Trees. There should also be support for Sparse Merkle Trees.

Motivation

Users may want to use the Sparse Merkle Tree from the (Fuel-Merkle)[https://github.com/FuelLabs/fuel-merkle] repository in their Sway applications.

Specification

A verification and a process function should be provided to prove a Sparse Merkle Tree using the (Fuel-Merkle)[https://github.com/FuelLabs/fuel-merkle] repository.

This should follow Fuel's Specs found here: https://github.com/FuelLabs/fuel-specs/blob/master/specs/protocol/cryptographic_primitives.md#sparse-merkle-tree