Code

Query plan proofs#196

Code

Open

cheme wants to merge 154 commits intoparitytech:masterparitytech/trie:masterfrom cheme:query_plancheme/trie:query_planCopy head branch name to clipboard

+3,275-179

Commits

Commits on Mar 29, 2023

• init query plan

  cheme

  committed
  1742a43

  Copy full SHA for 1742a43

• api draft

  cheme

  committed
  62ba01d

  Copy full SHA for 62ba01d

• forgot read limit

  cheme

  committed
  dfee73c

  Copy full SHA for dfee73c

• equivalent to seek

  cheme

  committed
  69bf900

  Copy full SHA for 69bf900

Commits on Mar 30, 2023

• factor a bit

  cheme

  committed
  2def8cb

  Copy full SHA for 2def8cb

• use a stack struct

  cheme

  committed
  1fc155b

  Copy full SHA for 1fc155b

• init a test

  cheme

  committed
  a4e6a03

  Copy full SHA for a4e6a03

• don t rely on codec output

  cheme

  committed
  a902d93

  Copy full SHA for a902d93

• ~ check for full node, need debugging, then need restart impl and test,

  Show description for 3e21351
  cheme

  committed
  3e21351

  Copy full SHA for 3e21351

Commits on Mar 31, 2023

• factor code a bit

  cheme

  committed
  989011c

  Copy full SHA for 989011c

• missing err

  cheme

  committed
  03e0b8e

  Copy full SHA for 03e0b8e

• iter on verify

  cheme

  committed
  0339177

  Copy full SHA for 0339177

• fix

  cheme

  committed
  9a900bb

  Copy full SHA for 9a900bb

• fix basis tests.

  cheme

  committed
  549edea

  Copy full SHA for 549edea

• fixing key and avoid unsafe (smallvec internally).

  cheme

  committed
  446fcf6

  Copy full SHA for 446fcf6

• some api

  cheme

  committed
  c6484cd

  Copy full SHA for c6484cd

• in progress, better halt handling

  cheme

  committed
  8d7e804

  Copy full SHA for 8d7e804

Commits on Apr 1, 2023

• fix full state restart

  cheme

  committed
  062fafc

  Copy full SHA for 062fafc

• proto restart

  cheme

  committed
  bd19ee4

  Copy full SHA for bd19ee4

Commits on Apr 2, 2023

• fix

  cheme

  committed
  c1c2a47

  Copy full SHA for c1c2a47

• ok for full range

  cheme

  committed
  fe0d312

  Copy full SHA for fe0d312

• working but extension

  cheme

  committed
  d3edf03

  Copy full SHA for d3edf03

• fix record after seek

  cheme

  committed
  147d2c0

  Copy full SHA for 147d2c0

Commits on Apr 3, 2023

• api

  cheme

  committed
  ad23a49

  Copy full SHA for ad23a49

• more api change

  cheme

  committed
  e44c8f5

  Copy full SHA for e44c8f5

• multiple on value iter check incremental

  cheme

  committed
  e92a75a

  Copy full SHA for e92a75a

• impl iteration iterative check.

  cheme

  committed
  adb970b

  Copy full SHA for adb970b

Commits on Apr 11, 2023

• limited cache support

  cheme

  committed
  2cc716c

  Copy full SHA for 2cc716c

Commits on Apr 12, 2023

• compact proof record, no halting

  cheme

  committed
  1e7b790

  Copy full SHA for 1e7b790

• compact no restore with all threshold

  cheme

  committed
  3119bf2

  Copy full SHA for 3119bf2

Commits on Apr 13, 2023

• fix

  cheme

  committed
  818e67b

  Copy full SHA for 818e67b

• extension requires refact, TODO later

  cheme

  committed
  8bffb85

  Copy full SHA for 8bffb85

Commits on Apr 14, 2023

• iterative

  cheme

  committed
  7f8342d

  Copy full SHA for 7f8342d

• check for concate of partial proofs

  cheme

  committed
  a384795

  Copy full SHA for a384795

• compact fine

  cheme

  committed
  44ef72c

  Copy full SHA for 44ef72c

Commits on Apr 18, 2023

• restore test

  cheme

  committed
  f9e9971

  Copy full SHA for f9e9971

• change trait

  cheme

  committed
  b09b50d

  Copy full SHA for b09b50d

Commits on Apr 19, 2023

• write proof (need to access inline next)

  cheme

  committed
  3ff93b0

  Copy full SHA for 3ff93b0

• put iter out of main function

  cheme

  committed
  8a28b5c

  Copy full SHA for 8a28b5c

• access inline (broken)

  cheme

  committed
  d6bf22e

  Copy full SHA for d6bf22e

• initial code

  cheme

  committed
  f5bb146

  Copy full SHA for f5bb146

Commits on Apr 28, 2023

• TODO hash only access to implement and test

  cheme

  committed
  6b3244c

  Copy full SHA for 6b3244c

Commits on May 2, 2023

• pass hash only to access value

  cheme

  committed
  2b8403a

  Copy full SHA for 2b8403a

• skip record in favor of hash

  cheme

  committed
  60d0268

  Copy full SHA for 60d0268

• hash

  cheme

  committed
  e1277be

  Copy full SHA for e1277be

• test full iter batch

  cheme

  committed
  b35169b

  Copy full SHA for b35169b

• fix a bit ops

  cheme

  committed
  b043815

  Copy full SHA for b043815

Commits on May 3, 2023

• add substrate v1

  cheme

  committed
  786295d

  Copy full SHA for 786295d

• mark inline for content

  cheme

  committed
  0ce65c4

  Copy full SHA for 0ce65c4

• switch

  cheme

  committed
  209b854

  Copy full SHA for 209b854

• factor and fix

  cheme

  committed
  5971330

  Copy full SHA for 5971330

• ok full content (TODO partial ones)

  cheme

  committed
  b08708a

  Copy full SHA for b08708a

• public

  cheme

  committed
  b78b836

  Copy full SHA for b78b836

• more pub

  cheme

  committed
  5140a38

  Copy full SHA for 5140a38

• fix

  cheme

  committed
  24ec3f9

  Copy full SHA for 24ec3f9

• fix fix

  cheme

  committed
  4928623

  Copy full SHA for 4928623

• some api to restart

  cheme

  committed
  dc69303

  Copy full SHA for dc69303

Commits on May 5, 2023

• test case for multi

  cheme

  committed
  e40823a

  Copy full SHA for e40823a

• ok first

  cheme

  committed
  5d5603a

  Copy full SHA for 5d5603a

Commits on Jun 13, 2023

• unused param

  cheme

  committed
  3bbf2d2

  Copy full SHA for 3bbf2d2

• fix some warnings

  cheme

  committed
  38a4622

  Copy full SHA for 38a4622

• rem scale codec dependency

  cheme

  committed
  9ea09ac

  Copy full SHA for 9ea09ac

Commits on Jun 14, 2023

• plug content read iter (unimpl)

  cheme

  committed
  da82a7d

  Copy full SHA for da82a7d

• pop on next

  cheme

  committed
  de946ec

  Copy full SHA for de946ec

• pending

  cheme

  committed
  2bf158a

  Copy full SHA for 2bf158a

• some impl

  cheme

  committed
  b9c4172

  Copy full SHA for b9c4172

• iter no resume ok

  cheme

  committed
  c6a8e1d

  Copy full SHA for c6a8e1d

Commits on Jun 15, 2023

• switch from recorder to stack

  cheme

  committed
  f18a7d1

  Copy full SHA for f18a7d1

• halted state as mut ptr

  cheme

  committed
  97c7440

  Copy full SHA for 97c7440

• some fixes

  cheme

  committed
  6545b06

  Copy full SHA for 6545b06

• mark hash to avoid useless keypop

  cheme

  committed
  93998b8

  Copy full SHA for 93998b8

• fixes, awkward

  cheme

  committed
  5481493

  Copy full SHA for 5481493

• split test

  cheme

  committed
  7bcabbe

  Copy full SHA for 7bcabbe

• split a bit

  cheme

  committed
  a380028

  Copy full SHA for a380028

• fix warns

  cheme

  committed
  8c52ce5

  Copy full SHA for 8c52ce5

Commits on Jun 16, 2023

• move test and fuzzing logic

  cheme

  committed
  afa9425

  Copy full SHA for afa9425

• fuzzing

  cheme

  committed
  0398bf1

  Copy full SHA for 0398bf1

• use check proof in test

  cheme

  committed
  fa6f27c

  Copy full SHA for fa6f27c

• fuzzer and test for full node no limit.

  cheme

  committed
  aa0821a

  Copy full SHA for aa0821a

• fix

  cheme

  committed
  f5ea967

  Copy full SHA for f5ea967

• fail (attempt to iter prefix on untouched prefix).

  cheme

  committed
  c9d81c1

  Copy full SHA for c9d81c1

Commits on Jun 19, 2023

• fix prefix not fully stacked

  cheme

  committed
  5bfd50e

  Copy full SHA for 5bfd50e

• transition between values is broken.

  cheme

  committed
  3a110e6

  Copy full SHA for 3a110e6

Commits on Jun 21, 2023

• start rewrite

  cheme

  committed
  1264641

  Copy full SHA for 1264641

• simplify by moving seek correctly

  cheme

  committed
  bc8e6ac

  Copy full SHA for bc8e6ac

• prev asumption do not hold

  cheme

  committed
  fa16709

  Copy full SHA for fa16709

Commits on Jun 22, 2023

• fix next condition (content is not)

  cheme

  committed
  c830a30

  Copy full SHA for c830a30

• some fixes

  cheme

  committed
  86d37a3

  Copy full SHA for 86d37a3

• register all after start at

  cheme

  committed
  185c305

  Copy full SHA for 185c305

• stack into don t need moving slice query at all

  cheme

  committed
  e77ef00

  Copy full SHA for e77ef00

Commits on Jun 23, 2023

• fix logic

  cheme

  committed
  8806d49

  Copy full SHA for 8806d49

• fix

  cheme

  committed
  418adb8

  Copy full SHA for 418adb8

• fuzz for split (need to rework the iteration logic: is faster than non split which means a bug).

  cheme

  committed
  eda16fe

  Copy full SHA for eda16fe

• fix initial condition

  cheme

  committed
  b407d90

  Copy full SHA for b407d90

• failing fuzz

  cheme

  committed
  310e60c

  Copy full SHA for 310e60c

• better logic

  cheme

  committed
  2ae891a

  Copy full SHA for 2ae891a

• update criterion

  cheme

  committed
  df5fd7c

  Copy full SHA for df5fd7c

• add query plan check (broken (start and end prefix are not emitted)).

  cheme

  committed
  5eca055

  Copy full SHA for 5eca055

• naive implementation

  cheme

  committed
  40b80b2

  Copy full SHA for 40b80b2

• fix a bit more

  cheme

  committed
  4bd7bc1

  Copy full SHA for 4bd7bc1

Commits on Jun 27, 2023

• a fix

  cheme

  committed
  d137293

  Copy full SHA for d137293

• fix query plan iter

  cheme

  committed
  ce6eb29

  Copy full SHA for ce6eb29

• fix

  cheme

  committed
  e087947

  Copy full SHA for e087947

• fix, into means follows child ix.

  cheme

  committed
  f0f4123

  Copy full SHA for f0f4123

Commits on Jun 28, 2023

• different approach

  cheme

  committed
  39f044b

  Copy full SHA for 39f044b

• clean

  cheme

  committed
  9b50c3a

  Copy full SHA for 9b50c3a

Commits on Jun 29, 2023

• add fuzzers

  cheme

  committed
  eb939e6

  Copy full SHA for eb939e6

• fix fuzzer.

  cheme

  committed
  3f5d83c

  Copy full SHA for 3f5d83c

• error

  cheme

  committed
  3e0b1ea

  Copy full SHA for 3e0b1ea

Commits on Jun 30, 2023

• fix but root not checked

  cheme

  committed
  19d4c53

  Copy full SHA for 19d4c53

• fix check of root

  cheme

  committed
  b0a26f5

  Copy full SHA for b0a26f5

• cache already use

  cheme

  committed
  900c1a3

  Copy full SHA for 900c1a3

• next issue

  cheme

  committed
  6636a69

  Copy full SHA for 6636a69

• unstack missing start update.

  cheme

  committed
  e1d4ec0

  Copy full SHA for e1d4ec0

Commits on Jul 3, 2023

• cleaning

  cheme

  committed
  8d992e9

  Copy full SHA for 8d992e9

• bad copy pasting, need rewrite

  cheme

  committed
  a29509f

  Copy full SHA for a29509f

• useless check, will be done on sequence and at value

  cheme

  committed
  1f56d19

  Copy full SHA for 1f56d19

• start, next fix hash only.

  cheme

  committed
  8970ae8

  Copy full SHA for 8970ae8

Commits on Jul 4, 2023

• it ok

  cheme

  committed
  11393a6

  Copy full SHA for 11393a6

• more

  cheme

  committed
  952b9da

  Copy full SHA for 952b9da

• directio

  cheme

  committed
  78dae9e

  Copy full SHA for 78dae9e

• more

  cheme

  committed
  b5fff03

  Copy full SHA for b5fff03

• pass full iter on content, next split

  cheme

  committed
  74be877

  Copy full SHA for 74be877

Commits on Jul 5, 2023

• more

  cheme

  committed
  1d90e0d

  Copy full SHA for 1d90e0d

• cannot find if halted due to inline nodes.

  Show description for b57a378
  cheme

  committed
  b57a378

  Copy full SHA for b57a378

• suspend proof op

  cheme

  committed
  cf55be9

  Copy full SHA for cf55be9

Commits on Jul 7, 2023

• store inline children to return.

  cheme

  committed
  2ca04b8

  Copy full SHA for 2ca04b8

• plug process inline unimplemented call

  cheme

  committed
  363cd1b

  Copy full SHA for 363cd1b

• inline iterator test

  cheme

  committed
  589157f

  Copy full SHA for 589157f

Commits on Jul 31, 2023

• fix a bit

  cheme

  committed
  361c742

  Copy full SHA for 361c742

• verify content need rewrite: way too many state variable, also:

  Show description for debdb30
  cheme

  committed
  debdb30

  Copy full SHA for debdb30

Commits on Aug 1, 2023

• Removing content proof code.

  cheme

  committed
  fff5dde

  Copy full SHA for fff5dde

• rem useless is_inlie

  cheme

  committed
  7d2406d

  Copy full SHA for 7d2406d

• rem ignore unordered

  cheme

  committed
  e537914

  Copy full SHA for e537914

• remove proof recorder trait.

  cheme

  committed
  5fa784d

  Copy full SHA for 5fa784d

• nostd

  cheme

  committed
  e094f75

  Copy full SHA for e094f75

• rem switch query plan into

  cheme

  committed
  99f62cf

  Copy full SHA for 99f62cf

• std

  cheme

  committed
  794c176

  Copy full SHA for 794c176

• rem todos

  cheme

  committed
  82fe104

  Copy full SHA for 82fe104

• mod errors

  cheme

  committed
  f18da5d

  Copy full SHA for f18da5d

• error

  cheme

  committed
  6d0a279

  Copy full SHA for 6d0a279

• error not verify error

  cheme

  committed
  eedbf84

  Copy full SHA for eedbf84

• more errro

  cheme

  committed
  b139440

  Copy full SHA for b139440

• clean

  cheme

  committed
  2a5e464

  Copy full SHA for 2a5e464

• no more record inline node

  cheme

  committed
  9cb92a1

  Copy full SHA for 9cb92a1

• kind rather than is_compact

  cheme

  committed
  df72ed4

  Copy full SHA for df72ed4

• more

  cheme

  committed
  290a56a

  Copy full SHA for 290a56a

• no more todos

  cheme

  committed
  8e51c25

  Copy full SHA for 8e51c25

• restore some changes

  cheme

  committed
  3c305e3

  Copy full SHA for 3c305e3

• restore no cache previous behavior

  cheme

  committed
  d42fd14

  Copy full SHA for d42fd14

• fix imports warnings

  cheme

  committed
  d218181

  Copy full SHA for d218181

• renaming

  cheme

  committed
  e262647

  Copy full SHA for e262647

• clean a bit more

  cheme

  committed
  cfd1ccd

  Copy full SHA for cfd1ccd

• fmt

  cheme

  committed
  be88436

  Copy full SHA for be88436