Code

Introduce SmtProof#270

Code

Merged

plafer merged 37 commits intonext0xPolygonMiden/crypto:nextfrom plafer-issue-2510xPolygonMiden/crypto:plafer-issue-251Copy head branch name to clipboardFeb 6, 2024

+678-216

Commits

Commits on Feb 5, 2024

• add conversion for SmtLeaf

  plafer

  committed
  0be4f67

  Copy full SHA for 0be4f67

• introduce SmtProof scaffolding

  plafer

  committed
  260a374

  Copy full SHA for 260a374

• implement verify_membership()

  plafer

  committed
  a919a13

  Copy full SHA for a919a13

• SmtLeaf: knows its index

  plafer

  committed
  79a9ceb

  Copy full SHA for 79a9ceb

• SmtLeaf::index

  plafer

  committed
  528f70d

  Copy full SHA for 528f70d

• SmtLeaf::get_value() returns an Option

  plafer

  committed
  2744c0a

  Copy full SHA for 2744c0a

• fix verify_membership()

  plafer

  committed
  d162e33

  Copy full SHA for d162e33

• impl SmtProof::get

  plafer

  committed
  e99ad78

  Copy full SHA for e99ad78

• impl into_parts()

  plafer

  committed
  0a6c8b5

  Copy full SHA for 0a6c8b5

• SmtProof::compute_root

  plafer

  committed
  607ed74

  Copy full SHA for 607ed74

• use SmtProof in Smt::open

  plafer

  committed
  6a07b3a

  Copy full SHA for 6a07b3a

• SmtLeaf constructors

  plafer

  committed
  8e17e9d

  Copy full SHA for 8e17e9d

• Vec

  plafer

  committed
  1d3ed86

  Copy full SHA for 1d3ed86

• impl Error for SmtLeafError

  plafer

  committed
  35ec653

  Copy full SHA for 35ec653

• fix std Error

  plafer

  committed
  2e02f02

  Copy full SHA for 2e02f02

• move Word/Digest conversions to LeafIndex

  plafer

  committed
  709383f

  Copy full SHA for 709383f

• SmtProof::new() returns an error

  plafer

  committed
  3da137a

  Copy full SHA for 3da137a

• SparseMerkleTree::path_and_leaf_to_opening

  plafer

  committed
  4e1abc6

  Copy full SHA for 4e1abc6

• SmtLeaf: serializable/deserializable

  plafer

  committed
  c959e12

  Copy full SHA for c959e12

• SmtProof: serializable/deserializable

  plafer

  committed
  144979d

  Copy full SHA for 144979d

• add tests for SmtLeaf serialization

  plafer

  committed
  39aad16

  Copy full SHA for 39aad16

• move SmtLeaf to submodule

  plafer

  committed
  3b52394

  Copy full SHA for 3b52394

• use constructors internally

  plafer

  committed
  a621a9f

  Copy full SHA for a621a9f

• fix docs

  plafer

  committed
  0a5d7bc

  Copy full SHA for 0a5d7bc

• Add Vec

  plafer

  committed
  e9f984b

  Copy full SHA for e9f984b

• add Vec to tests

  plafer

  committed
  2f162df

  Copy full SHA for 2f162df

• no_std use statements

  plafer

  committed
  a6d9e23

  Copy full SHA for a6d9e23

• fmt

  plafer

  committed
  f52dfb8

  Copy full SHA for f52dfb8

Commits on Feb 6, 2024

• Errors: make heading

  plafer

  committed
  49518ad

  Copy full SHA for 49518ad

• use SMT_DEPTH

  plafer

  committed
  4bab1c1

  Copy full SHA for 4bab1c1

• SmtLeaf single case: check leaf index

  plafer

  committed
  a448ff3

  Copy full SHA for a448ff3

• Multiple case: check consistency with leaf index

  plafer

  committed
  1622f25

  Copy full SHA for 1622f25

• use pub(super) instead of pub(crate)

  plafer

  committed
  6f69128

  Copy full SHA for 6f69128

• use pub(super)

  plafer

  committed
  957375e

  Copy full SHA for 957375e

• SmtLeaf: add num_entries() accessor

  plafer

  committed
  ea5eb8c

  Copy full SHA for ea5eb8c

• Fix SmtLeaf serialization

  plafer

  committed
  b5556de

  Copy full SHA for b5556de

• improve leaf serialization tests

  plafer

  committed
  148773a

  Copy full SHA for 148773a