I found that indeed there is something called "vector commitment" in "normal" merkle tree, but with zkp often a special hash is used to construct merkle root that is described as "cryptographic accumulator" and then I can perhaps proof inclusition od data item with mod math style? Any Chads here? ;p
Aug 24, 2022, 5:03 PM