vacp2p
/
pmtree
mirror of https://github.com/vacp2p/pmtree.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

test: add tests for proof & verify API

This commit is contained in:
Magamedrasul Ibragimov 2022-11-08 15:36:17 +03:00
parent ef4d821d3c
commit ccb66c61fb
2 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/memory_keccak.rs
View File

@ -91,6 +91,10 @@ fn insert_delete() -> Result<()> {
assert_eq!(mt.root(), MyFr(roots[i])); assert_eq!(mt.root(), MyFr(roots[i]));
} }
for (i, &leaf) in leaves.iter().enumerate() {
assert!(mt.verify(&MyFr(leaf), &mt.proof(i)?));
}
for i in (0..leaves.len()).rev() { for i in (0..leaves.len()).rev() {
mt.delete(i)?; mt.delete(i)?;
} }

4
tests/sled_keccak.rs
View File

@ -106,6 +106,10 @@ fn insert_delete() -> Result<()> {
assert_eq!(mt.root(), MyFr(roots[i])); assert_eq!(mt.root(), MyFr(roots[i]));
} }
for (i, &leaf) in leaves.iter().enumerate() {
assert!(mt.verify(&MyFr(leaf), &mt.proof(i)?));
}
for i in (0..leaves.len()).rev() { for i in (0..leaves.len()).rev() {
mt.delete(i)?; mt.delete(i)?;
} }