Merge pull request #3 from keep-starknet-strange/wasm_compatibility

Promis c'est la dernière

.github/workflows/test.yml

@@ -53,4 +53,4 @@ jobs:
         with:
           token: ${{ secrets.CODECOV_TOKEN }}
           files: ./lcov.info
-          fail_ci_if_error: true
+          fail_ci_if_error: true

README.md

@@ -1,7 +1,6 @@
 # bonsai-trie
 
-![example workflow](https://github.com/massalabs/bonsai-trie/actions/workflows/check_lint.yml/badge.svg) ![example workflow](https://github.com/massalabs/bonsai-trie/actions/workflows/test.yml/badge.svg) [![codecov](https://codecov.io/gh/massalabs/bonsai-trie/graph/badge.svg?token=598URC32TV)](https://codecov.io/gh/massalabs/bonsai-trie)
-
+![example workflow](https://github.com/keep-starknet-strange/bonsai-trie/actions/workflows/check_lint.yml/badge.svg) ![example workflow](https://github.com/keep-starknet-strange/bonsai-trie/actions/workflows/test.yml/badge.svg) [![codecov](https://codecov.io/gh/keep-starknet-strange/bonsai-trie/branch/oss/graph/badge.svg?token=kfNJzdTYyf)](https://codecov.io/gh/keep-starknet-strange/bonsai-trie)
 
 This crate provides a storage implementation based on the Bonsai Storage implemented by [Besu](https://hackmd.io/@kt2am/BktBblIL3).
 It is a key/value storage that uses a Madara Merkle Trie to store the data.
@@ -37,6 +36,7 @@ use bonsai_trie::{
     BonsaiStorageError,
     id::{BasicIdBuilder, BasicId},
     BonsaiStorage, BonsaiStorageConfig, BonsaiTrieHash,
+    ProofNode, Membership
 };
 use starknet_types_core::felt::Felt;
 use starknet_types_core::hash::Pedersen;
@@ -133,6 +133,18 @@ fn main() {
         .insert(&BitVec::from_vec(pair4.0.clone()), &pair4.1)
         .unwrap();
     bonsai_storage.commit(id_builder.new_id()).unwrap();
+    let proof = bonsai_storage
+        .get_proof(&BitVec::from_vec(pair3.0.clone()))
+        .unwrap();
+    assert_eq!(
+        BonsaiStorage::<BasicId, RocksDB<BasicId>>::verify_proof(
+            bonsai_storage.root_hash().unwrap(),
+            &BitVec::from_vec(pair3.0.clone()),
+            pair3.1,
+            &proof
+        ),
+        Some(Membership::Member)
+    );
 }
 ```
 

src/lib.rs

@@ -85,7 +85,7 @@
 #![cfg_attr(not(feature = "std"), no_std)]
 extern crate alloc;
 
-use crate::trie::merkle_tree::{Membership, MerkleTree, ProofNode};
+use crate::trie::merkle_tree::MerkleTree;
 use alloc::{format, vec::Vec};
 use bitvec::{order::Msb0, slice::BitSlice};
 use bonsai_database::{BonsaiPersistentDatabase, KeyType};
@@ -109,6 +109,7 @@ pub mod id;
 
 pub use bonsai_database::BonsaiDatabase;
 pub use error::BonsaiStorageError;
+pub use trie::merkle_tree::{Membership, ProofNode};
 
 #[cfg(test)]
 mod tests;

src/tests/mod.rs

@@ -1,4 +1,5 @@
 mod madara_comparison;
+mod proof;
 mod simple;
 mod transactional_state;
 mod trie_log;