Merkle Tree Proof Verification

[beegmon]

Hello All.

I am trying to do a Merkle Proof verification in circuit but I can't seem to get it to work.

Any help pointing out where I am going wrong would be awesome!

Thanks in Advance!

20:00:22 INF compiling circuit 20:00:22 INF parsed circuit inputs nbPublic=3 nbSecret=12 20:00:22 INF building constraint builder nbConstraints=5296 20:00:22 ERR error="constraint #2646 is not satisfied: 1 ⋅ 1 != 7746695502018165963929982100744277126048000322388191351981519044825081394833" nbConstraints=5296 2024/02/28 20:00:22 Error proving circuit

[beegmon]

I figured out my problem. I was building a "proof" tree instead of first building a tree of all my data, then building a proof tree at the index I was attempting to prove, and running that proofset in a circuit against the original tree root.