Add verifier-datas tree (set) & in-circuit verification#274

Merged

arnaucube merged 11 commits intomainfrom

verifierdatas-set

Jun 11, 2025

Commits on Jun 6, 2025

containers: add method to create new {Dict,Set,Array} with custom max_depth
arnaucube
committed
add vds_tree computation, update tree circuit interface
arnaucube
committed

Commits on Jun 8, 2025

add VDTree struct, add DEFAULT_VD_TREE, integrate it with MainPod,EmptyPod,frontend,etc.
arnaucube
committed

Commits on Jun 9, 2025

adapt frontend/serialization tests to new containers field (max_depth)
arnaucube
committed

Commits on Jun 11, 2025

document VDSet & vds_root
arnaucube
committed