diff --git a/src/lib/alternatives/standard_tree/verify_circuit.ts b/src/lib/alternatives/standard_tree/verify_circuit.ts index d6734fb..f7fca61 100644 --- a/src/lib/alternatives/standard_tree/verify_circuit.ts +++ b/src/lib/alternatives/standard_tree/verify_circuit.ts @@ -14,5 +14,6 @@ export const verifyMembership = ( leaf: Field, leafIndex: Field ) => { + // assert tree root is equal to target root siblingPath.calculateRoot(leaf, leafIndex).assertEquals(root); }