Code

Introduce SparseMerkleTree trait#245

Code

Merged

bobbinth merged 117 commits intonext0xPolygonMiden/crypto:nextfrom plafer-smt-trait0xPolygonMiden/crypto:plafer-smt-traitCopy head branch name to clipboardJan 18, 2024

+828-686

Commits

Commits on Jan 18, 2024

• smt: scaffolding

  plafer

  committed
  d4ed8c1

  Copy full SHA for d4ed8c1

• implement update_leaf_at

  plafer

  committed
  15544f8

  Copy full SHA for 15544f8

• docstring

  plafer

  committed
  74b4db6

  Copy full SHA for 74b4db6

• move recompute_nodes_from_index_to_root into trait

  plafer

  committed
  fba526f

  Copy full SHA for fba526f

• implement get_merkle_path

  plafer

  committed
  8f485b9

  Copy full SHA for 8f485b9

• introduce DEPTH const generic to remove runtime errors

  plafer

  committed
  78fe6a7

  Copy full SHA for 78fe6a7

• leaf index at depth 64

  plafer

  committed
  d42b38b

  Copy full SHA for d42b38b

• add depth() method to smt

  plafer

  committed
  babd406

  Copy full SHA for babd406

• file separators

  plafer

  committed
  adde943

  Copy full SHA for adde943

• remove hash_value

  plafer

  committed
  8610986

  Copy full SHA for 8610986

• use Vec

  plafer

  committed
  445f802

  Copy full SHA for 445f802

• use InnerNode in SimpleSmt

  plafer

  committed
  4ec228f

  Copy full SHA for 4ec228f

• SimpleSmt: make DEPTH const generic

  plafer

  committed
  d5cee9f

  Copy full SHA for d5cee9f

• LeafIndex: derives

  plafer

  committed
  781ea71

  Copy full SHA for 781ea71

• implement SparseMerkleTree for SimpleSmt

  plafer

  committed
  8e0cde0

  Copy full SHA for 8e0cde0

• Remove old comment

  plafer

  committed
  da9ada4

  Copy full SHA for da9ada4

• Rename get_merkle_path

  plafer

  committed
  f8720d5

  Copy full SHA for f8720d5

• Remove SimpleSmt::get_path() and get_leaf_path()

  plafer

  committed
  eeba178

  Copy full SHA for eeba178

• add tryfrom NodeIndex for LeafIndex

  plafer

  committed
  f5acf5d

  Copy full SHA for f5acf5d

• impl get_leaf_at on its own

  plafer

  committed
  f762d8a

  Copy full SHA for f762d8a

• impl get_node in terms of get_leaf_at

  plafer

  committed
  8688661

  Copy full SHA for 8688661

• Remove get_leaf()

  plafer

  committed
  b025d48

  Copy full SHA for b025d48

• rename get_leaf_at

  plafer

  committed
  9810428

  Copy full SHA for 9810428

• remove get_branch_node

  plafer

  committed
  0db21a4

  Copy full SHA for 0db21a4

• remove insert_branch_node

  plafer

  committed
  9e08ccd

  Copy full SHA for 9e08ccd

• remove duplicate recompute_nodes_from_index_to_root

  plafer

  committed
  47a34f8

  Copy full SHA for 47a34f8

• remove private get_leaf_node

  plafer

  committed
  dcd8e26

  Copy full SHA for dcd8e26

• remove trivial helper

  plafer

  committed
  79ffcd8

  Copy full SHA for 79ffcd8

• remove extra root() method

  plafer

  committed
  2c6e38d

  Copy full SHA for 2c6e38d

• add vscode gitignore

  plafer

  committed
  b661312

  Copy full SHA for b661312

• remove old get_leaf()

  plafer

  committed
  740a316

  Copy full SHA for 740a316

• Rename update_leaf_at

  plafer

  committed
  66f7330

  Copy full SHA for 66f7330

• add comment

  plafer

  committed
  20a623a

  Copy full SHA for 20a623a

• import Vec for no_std

  plafer

  committed
  fba5577

  Copy full SHA for fba5577

• fix docstring

  plafer

  committed
  11e44c8

  Copy full SHA for 11e44c8

• nightly fmt

  plafer

  committed
  f7872c1

  Copy full SHA for f7872c1

• new_smt scaffolding

  plafer

  committed
  b13ef60

  Copy full SHA for b13ef60

• implement hash_leaf()

  plafer

  committed
  c1902d7

  Copy full SHA for c1902d7

• implement get_leaf()

  plafer

  committed
  dfc3f77

  Copy full SHA for dfc3f77

• use Vec

  plafer

  committed
  561271b

  Copy full SHA for 561271b

• insert_leaf_node scaffold

  plafer

  committed
  a07e42c

  Copy full SHA for a07e42c

• insert on leaf with single element

  plafer

  committed
  bec00e0

  Copy full SHA for bec00e0

• cmp just keys

  plafer

  committed
  fb49a69

  Copy full SHA for fb49a69

• insert leaf: multiple

  plafer

  committed
  c07d814

  Copy full SHA for c07d814

• reorg file

  plafer

  committed
  ac96e5e

  Copy full SHA for ac96e5e

• no_std vec

  plafer

  committed
  9425ea0

  Copy full SHA for 9425ea0

• rename SMT_MAX_DEPTH

  plafer

  committed
  53fe96d

  Copy full SHA for 53fe96d

• use SMT_MAX_DEPTH

  plafer

  committed
  ae04c79

  Copy full SHA for ae04c79

• SMT_MIN_DEPTH

  plafer

  committed
  b9b9d1e

  Copy full SHA for b9b9d1e

• Enforce SMT_MIN_DEPTH in LeafIndex

  plafer

  committed
  9fb9a20

  Copy full SHA for 9fb9a20

• nightly fmt

  plafer

  committed
  82c84bb

  Copy full SHA for 82c84bb

• as_int instead of inner()

  plafer

  committed
  0d1fa1c

  Copy full SHA for 0d1fa1c

• rename insert_leaf_node

  plafer

  committed
  feabd0f

  Copy full SHA for feabd0f

• add tests mod

  plafer

  committed
  8c6ae9f

  Copy full SHA for 8c6ae9f

• most signifcant felt: last felt of word

  plafer

  committed
  6bf5f07

  Copy full SHA for 6bf5f07

• fix comments

  plafer

  committed
  0ae3464

  Copy full SHA for 0ae3464

• NewSmt constructor

  plafer

  committed
  6c9b87d

  Copy full SHA for 6c9b87d

• fix comment

  plafer

  committed
  795ff96

  Copy full SHA for 795ff96

• Remove max_num_entries in NewSmt

  plafer

  committed
  ff99639

  Copy full SHA for ff99639

• Rename NewSmt to Smt

  plafer

  committed
  9514ecf

  Copy full SHA for 9514ecf

• Rename NewSmt to Smt, and smt module to sparse_merkle_tree

  plafer

  committed
  e7899b3

  Copy full SHA for e7899b3

• Replace Value's Default trait bound with EMPTY_VALUE associated constant

  plafer

  committed
  a7fdaf9

  Copy full SHA for a7fdaf9

• remove SimpleSmt's EMPTY_VALUE constant

  plafer

  committed
  d4c51b8

  Copy full SHA for d4c51b8

• ABSTRACT -> PROVIDED

  plafer

  committed
  7f8e178

  Copy full SHA for 7f8e178

• remove depth() method

  plafer

  committed
  e93c9a2

  Copy full SHA for e93c9a2

• SmtKey: use RpoDigest internally

  plafer

  committed
  fe6a9dc

  Copy full SHA for fe6a9dc

• add constructors to SmtKey

  plafer

  committed
  306dad1

  Copy full SHA for 306dad1

• optimize SmtLeaf::hash()

  plafer

  committed
  f8e474f

  Copy full SHA for f8e474f

• impl to_elements() and into_elements() for SmtLeaf

  plafer

  committed
  21220a4

  Copy full SHA for 21220a4

• Make SparseMerkleTree pub(crate)

  plafer

  committed
  8ebafed

  Copy full SHA for 8ebafed

• add sections to Smt

  plafer

  committed
  b0e0bdd

  Copy full SHA for b0e0bdd

• remove SimpleSmt::depth()

  plafer

  committed
  662e886

  Copy full SHA for 662e886

• fix get_inner_node() docstring

  plafer

  committed
  59a037a

  Copy full SHA for 59a037a

• remove get_inner_node from public API

  plafer

  committed
  05e3271

  Copy full SHA for 05e3271

• insert_value: if no value at key, always return None

  plafer

  committed
  19dde05

  Copy full SHA for 19dde05

• cover case of inserting an EMPTY_VALUE

  plafer

  committed
  5f17771

  Copy full SHA for 5f17771

• NewLeaf::insert

  plafer

  committed
  8ad9d80

  Copy full SHA for 8ad9d80

• update comment

  plafer

  committed
  97f06ab

  Copy full SHA for 97f06ab

• test_smt_insert_at_same_key

  plafer

  committed
  29768fb

  Copy full SHA for 29768fb

• test_smt_insert_at_same_key_2

  plafer

  committed
  52cbc21

  Copy full SHA for 52cbc21

• fix most_significant_felt for SmtKey

  plafer

  committed
  132beaf

  Copy full SHA for 132beaf

• fix test_smt_insert_at_same_key_2

  plafer

  committed
  31e26bf

  Copy full SHA for 31e26bf

• test inserting multiple values

  plafer

  committed
  8bd01b9

  Copy full SHA for 8bd01b9

• test_smt_insert_multiple_values

  plafer

  committed
  bc1dca9

  Copy full SHA for bc1dca9

• simplify interface

  plafer

  committed
  e95af3f

  Copy full SHA for e95af3f

• core::iter instead of std

  plafer

  committed
  e8566e0

  Copy full SHA for e8566e0

• test_smt_path_to_keys_in_same_leaf_are_equal

  plafer

  committed
  69c1959

  Copy full SHA for 69c1959

• cleanup perform_remove()

  plafer

  committed
  986b14d

  Copy full SHA for 986b14d

• clippy

  plafer

  committed
  5e5c418

  Copy full SHA for 5e5c418

• fix comment

  plafer

  committed
  2802182

  Copy full SHA for 2802182

• add depth() function

  plafer

  committed
  cca0760

  Copy full SHA for cca0760

• add depth() fn to simple smt

  plafer

  committed
  8fce44c

  Copy full SHA for 8fce44c

• SparseMerkleTtree: rename update_leaf to insert

  plafer

  committed
  8510007

  Copy full SHA for 8510007

• Smt: rename update_leaf

  plafer

  committed
  e162242

  Copy full SHA for e162242

• SimpleSmt: rename update_leaf

  plafer

  committed
  1265dea

  Copy full SHA for 1265dea

• fmt

  plafer

  committed
  7bc8eb0

  Copy full SHA for 7bc8eb0

• get_leaf_path -> open

  plafer

  committed
  4b2f3c5

  Copy full SHA for 4b2f3c5

• SparseMerkleTree::Opening type

  plafer

  committed
  40c3b76

  Copy full SHA for 40c3b76

• open() returns Self::Opening

  plafer

  committed
  fd60769

  Copy full SHA for fd60769

• Introduce key_to_leaf_index

  plafer

  committed
  9d683b6

  Copy full SHA for 9d683b6

• open() takes a reference to key

  plafer

  committed
  3ba0bb0

  Copy full SHA for 3ba0bb0

• new directory structure

  plafer

  committed
  4eee502

  Copy full SHA for 4eee502

• SimpleSmtTrait: Return possibly borrowed data

  plafer

  committed
  7532d72

  Copy full SHA for 7532d72

• Revert "SimpleSmtTrait: Return possibly borrowed data"

  Show description for 3d583d0
  plafer

  committed
  3d583d0

  Copy full SHA for 3d583d0

• docstring

  plafer

  committed
  5ff055f

  Copy full SHA for 5ff055f

• fix open() docstring

  plafer

  committed
  9c7a829

  Copy full SHA for 9c7a829

• move depth() function up

  plafer

  committed
  771ce46

  Copy full SHA for 771ce46

• fix var name

  plafer

  committed
  a6a0ddc

  Copy full SHA for a6a0ddc

• move open() down

  plafer

  committed
  e4d9c5a

  Copy full SHA for e4d9c5a

• fix comment

  plafer

  committed
  eb24376

  Copy full SHA for eb24376

• ValuePath: adjust constructor

  plafer

  committed
  9dc0228

  Copy full SHA for 9dc0228

• Use ValuePath in simple smt

  plafer

  committed
  0e5c64d

  Copy full SHA for 0e5c64d

• remove Smt

  plafer

  committed
  5d76006

  Copy full SHA for 5d76006

• make new_max_depth() const

  plafer

  committed
  1c92eeb

  Copy full SHA for 1c92eeb

• add EMPTY_VALUE

  plafer

  committed
  b02cd4a

  Copy full SHA for b02cd4a

• fix doc

  plafer

  committed
  b009c59

  Copy full SHA for b009c59

• fix doc

  plafer

  committed
  a26a58e

  Copy full SHA for a26a58e