feat: Merkle tree primitives as outlined in spec - #135

Draft

ax0 wants to merge 5 commits into

mainfrom

ax0/smt-primitives

Commits on Mar 12, 2025

Add branch, leaf and null tree primitives to middleware
ax0
committed
7dddab6
Add GoesLeft/GoesRight to middleware
ax0
committed
7e69795

Commits on Mar 13, 2025

Fill in gaps in frontend & middleware
ax0
committed
d286ff3
Add custom predicate formulation of Contains
ax0
committed
3853aa2

Commits on Mar 17, 2025

Add test for merkle statements, and some debug prints to verify() (#140)
tideofwords
authored
7b93834