stellar / slingshot

A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety
Apache License 2.0
415 stars 61 forks source link

zkvm: clean up merkle tree codebase, remove redundancy #386

Closed oleganza closed 4 years ago

oleganza commented 4 years ago

Important: this replaces broken encoding for Predicate CallProof, reusing the same format as for Utreexo proofs. Previous implementation did not have explicit length of neighbors (those were derived from the lower bits of the position, ignoring high zero bits).