Code

feat: bidirectional references#104

Code

Closed

iammadab wants to merge 190 commits intodevelopdashpay/grovedb:developfrom feat/delete-referencesdashpay/grovedb:feat/delete-referencesCopy head branch name to clipboard

+527-247

Commits

Commits on Mar 10, 2022

• test range from proof

  iammadab

  committed
  fd1806f

• add unbounded right

  iammadab

  committed
  b8c30e3

• test for range to proof

  iammadab

  committed
  5f4581d

• add left unbounded

  iammadab

  committed
  bfb89ea

• add absence tuple checks to test

  iammadab

  committed
  239105a

• test range to inclusive

  iammadab

  committed
  f46f93d

• test for range after proof

  iammadab

  committed
  9237d11

• test for range after proof

  iammadab

  committed
  7270c89

• test for range after to inclusive

  iammadab

  committed
  825ffbe

• test for range full proof

  iammadab

  committed
  3dc5157

• update verify proof func to account for unbounded ranges

  iammadab

  committed
  4ad18f7

• add verification check for right non inclusive ranges

  iammadab

  committed
  9de2e73

Commits on Mar 14, 2022

• refactor bounds to return options

  iammadab

  committed
  2a77862

Commits on Mar 15, 2022

• update verify function to work with range_after_* queries

  iammadab

  committed
  82b9000

• fix range_after_proof test

  iammadab

  committed
  5143009

• fix range_after_to_proof test

  iammadab

  committed
  bf06d7c

• fix range_after_to_proof_inclusive test

  iammadab

  committed
  4294910

• fix range_full_proof

  iammadab

  committed
  1dbcf0e

• modify create_full_proof function to take optional limit and offset values

  iammadab

  committed
  029502f

• add failing test to limit result set to 1 item

  iammadab

  committed
  7258fd5

• removed unnecessary comments

  iammadab

  committed
  0c39fea

• implement limit functionality in merk

  iammadab

  committed
  48eaca2

Commits on Mar 16, 2022

• add limit test for range from proof

  iammadab

  committed
  f706d2e

• feat: addition of more range types (#82)

  Show description for 90f7f29
  iammadab

  authored
  90f7f29

• define KVDigest node variant

  iammadab

  committed
  33b0e54

• implement encode for kvdigest

  iammadab

  committed
  60558a4

• implement decode for kvdigest

  iammadab

  committed
  ec42393

• add ability to convert node to kvdigest

  iammadab

  committed
  7cb49ea

• add test for node variant conversions

  iammadab

  committed
  f5c6662

• add node hash computation for kvdigest node variant

  iammadab

  committed
  263c33b

Commits on Mar 17, 2022

• feat: new node type Node::KVDigest (#89)

  Show description for efc4a63
  iammadab

  authored
  efc4a63

• extract main verify proof body into closure

  iammadab

  committed
  c35d7f9

• update verify_query to work with kvdigest node

  iammadab

  committed
  c62281c

• resolve conflicts

  iammadab

  committed
  b73f706

• fixed absence proof tests

  iammadab

  committed
  3b7f490

• remove marker comments

  iammadab

  committed
  69dd987

• push KVDigest for non inclusive bound keys

  iammadab

  committed
  a226027

• Merge branch 'absence-proof-without-raw-value' into merk-limit

  iammadab

  committed
  291487f

• add limit argument to verify_query function

  iammadab

  committed
  76713dc

• add failing test for proof with limit verification

  iammadab

  committed
  a3ebe3c

Commits on Mar 18, 2022

• implement proof with limit verification

  iammadab

  committed
  f1288d5

• fix range_from proof for limits

  iammadab

  committed
  cf0a6df

• add limit test for range_to_proof

  iammadab

  committed
  c7389a1

• add limit test for range_to_proof_inclusive

  iammadab

  committed
  cffeec8

• fix bug: don't reserve limit slot for non inclusive nodes

  iammadab

  committed
  01d19ba

• add limit test for range_after_proof

  iammadab

  committed
  2e738e6

• add limit test for range_after_to_proof

  iammadab

  committed
  8a54d20

• add limit test for range_full_proof

  iammadab

  committed
  7b3346c

• add poc failing test for offset

  iammadab

  committed
  a24ecb6

• ignore limit as long as offset exists and is not zero

  iammadab

  committed
  0517298

• updated create_proof to make use of offset

  iammadab

  committed
  af63edb

• pass offset as input to verify_query function

  iammadab

  committed
  eb7c8b9

• modify verify_query function to work with offset

  iammadab

  committed
  b785acf

• fix typos

  iammadab

  committed
  9d49bfe

• make proof_with_offset test verbose

  iammadab

  committed
  9ac5db4

• add offset test for range_from_proof

  iammadab

  committed
  1f87aa3

• add offset test for range_to_proof

  iammadab

  committed
  3393b63

• add offset test for range_to_proof_inclusive

  iammadab

  committed
  8e4d863

• add offset test for range_after and range_after_to

  iammadab

  committed
  d5e3216

• add offset test for range_after_to_inclusive and range_full

  iammadab

  committed
  b10208f

• add failing offset test for range proof

  iammadab

  committed
  db64fd4

• fix bug: prevent reservation of offset slot for non query keys

  iammadab

  committed
  3b0df1c

• add offset test for range_proof_inclusive

  iammadab

  committed
  dddb03f

Commits on Mar 22, 2022

• add encoding for child_inverted and parent_inverted op codes

  iammadab

  committed
  2d2c3dd

• add encoding for push inverted op code

  iammadab

  committed
  66ba047

• modify execute function to take into account the new op codes

  iammadab

  committed
  e386fa0

• add right_to_left logic to proof creation

  iammadab

  committed
  5b22696

• modify create_full_proof api to take left_to_right bool

  iammadab

  committed
  599003a

• add poc verification that right_to_left generates correct elements

  iammadab

  committed
  9bb67f4

• add failing test for right_to_left proof verification

  iammadab

  committed
  6372413

• modify verify_query function to take the left_to_right bool as input

  iammadab

  committed
  1f5e538

Commits on Mar 23, 2022

• modify verify_query to work with right_to_left

  iammadab

  committed
  ab43124

• cleanup

  iammadab

  committed
  f6e991a

• add right_to_left test for range_proof, range_proof_inclusive and range_from_proof

  iammadab

  committed
  2518f4e

• add right_to_left proof test for remaning range types

  iammadab

  committed
  50ffd9b

• add absence tests

  iammadab

  committed
  35d8b24

• minor cleanup

  iammadab

  committed
  d1f6e04

Commits on Mar 25, 2022

• Merge branch 'develop' into path-query-proofs

  iammadab

  committed
  3d518c6

Commits on Mar 28, 2022

• modify verify_query function to return limit and offset

  iammadab

  committed
  5cfdebc

• refactor test to use new verification interface

  iammadab

  committed
  1a5df3a

• add test to check validity of limit and offset returned after verification

  iammadab

  committed
  63e5f3d

Commits on Mar 29, 2022

• define interface for proof construction and execution

  iammadab

  committed
  3daecca

• wip

  iammadab

  committed
  a59e639

Commits on Mar 30, 2022

• generate proof up to root - 1

  iammadab

  committed
  ff622bd

• generating proof up to root

  iammadab

  committed
  126e06e

Commits on Mar 31, 2022

• combine individual proofs into single structure

  iammadab

  committed
  7e083f4

• reading proof data from proof buffer during execution

  iammadab

  committed
  e127333

• extract proof verification algo into execute_proof function

  iammadab

  committed
  6d28eaa

• fmt

  iammadab

  committed
  455067c

• Merge branch 'refactor-merk-verification-interface' into path-query-proof-without-subquery

  iammadab

  committed
  1ed0cb7

• make proof verification field public

  iammadab

  committed
  7f6725e

• verify proof up to root - 1

  iammadab

  committed
  be4b1cc

• fix bug where value hash gets cleared on decode

  iammadab

  committed
  f4a7a72

• v0.5 implementation of path query proofs without subqueries

  iammadab

  committed
  71bd31c

• implement read_proof function

  iammadab

  committed
  1bd36ff

• refactor execute proof to use proof reader

  iammadab

  committed
  60bedb3

• cleanup

  iammadab

  committed
  22ffb5e

• make use of left_to_right from query

  iammadab

  committed
  291e3fc

• make use of limit and offset values provided by query

  iammadab

  committed
  e30b01e

• add test for path_query_proofs_without_subquery

  iammadab

  committed
  3c8a94a

• get rid of non result errors

  iammadab

  committed
  9ec04c4

Commits on Apr 1, 2022

• journey begins

  iammadab

  committed
  fbf26d4

Commits on Apr 4, 2022

• refactor prove function to return limit and offset values

  iammadab

  committed
  4f42b81

• fix test to use new proof result interface

  iammadab

  committed
  050be41

• add basic test to verify the result of proof construction limit and offset propagation

  iammadab

  committed
  d2328df

• cleanup

  iammadab

  committed
  e8ef2ce

• Merge branch 'construction-limit-offset-propagation' into path-query-proof-with-subquery

  iammadab

  committed
  ce24830

Commits on Apr 5, 2022

• get all elements in the subtree

  iammadab

  committed
  ba5442b

• define interface for recursion + algo

  iammadab

  committed
  60498d8

• implement prove_subqueries to construct proof without subqueries

  iammadab

  committed
  c458c38

• add temporary default subquery paths function

  iammadab

  committed
  6f8c0dd

• recursively prove tree elements based on subqueries

  iammadab

  committed
  baef4bb

• add basic visibility test for subquery proofs

  iammadab

  committed
  4655efc

Commits on Apr 7, 2022

• propagate limit and offset values in prove_subqueries function

  iammadab

  committed
  c727c22

• generating sized merk proofs for leaf nodes of path queries

  iammadab

  committed
  918478b

• fix path_query_proof_without_subquery test

  iammadab

  committed
  8600bee

Commits on Apr 8, 2022

• refactor proof types as enums

  iammadab

  committed
  7da2637

• implement convertion from proof_type enum to bytes and vice versa

  iammadab

  committed
  c289cda

• add read_proof function to proof_reader that makes no assumption of proof type

  iammadab

  committed
  7e51540

• fix test_path_query_proof_without_subquery verification test

  iammadab

  committed
  9804445

• it works!!

  iammadab

  committed
  62a3aa2

Commits on Apr 10, 2022

• send proof of all children for non leaf subquery nodes

  iammadab

  committed
  911a2a9

• update test for default subquery to get result set across subtrees

  iammadab

  committed
  50a97fb

• add range type subquery test

  iammadab

  committed
  c910bee

• define new schema for more convuluted tree

  iammadab

  committed
  463cb97

• add variable leaf size length

  iammadab

  committed
  7a94f00

• add test for with 3 subqueries

  iammadab

  committed
  d21a666

• extract deep tree builder into a separate function

  iammadab

  committed
  0616392

Commits on Apr 11, 2022

• add test for subquery key

  iammadab

  committed
  fee0db6

• wip

  iammadab

  committed
  938b46d

Commits on Apr 12, 2022

• add support for subquery_key without subquery

  iammadab

  committed
  b26c75b

Commits on Apr 13, 2022

• generate proof for subquery key existence

  iammadab

  committed
  21be4e2

• verification of intermediate subquery key proof

  iammadab

  committed
  334d920

• optionally run subquery key logic

  iammadab

  committed
  1e046aa

• switch get subquery to use conditional subquery getter

  iammadab

  committed
  080fca8

• prevent subquery proof logic from running if no subquery

  iammadab

  committed
  ca2eb1e

• add test for conditional subqueries

  iammadab

  committed
  8fd9433

• remove old proof test

  iammadab

  committed
  5a0a5e5

• add test for conditional subquery + default subquery

  iammadab

  committed
  c443dec

• add failing test for sized query

  iammadab

  committed
  3be237f

• sized path query works

  iammadab

  committed
  cb5356e

• add failing test for path query proof with direction

  iammadab

  committed
  0f2deee

• fix directional path query test

  iammadab

  committed
  7f58490

• add interesting test with mixed query directions

  iammadab

  committed
  92b1b30

• remove unnecessary comments

  iammadab

  committed
  1faca9f

• extract subquery subroutines into separate functions

  iammadab

  committed
  1785fa3

• basic clean up

  iammadab

  committed
  e4d2418

Commits on Apr 14, 2022

• more cleanup

  iammadab

  committed
  8dde1cd

Commits on Apr 17, 2022

• don't generate or verify proof for empty path

  iammadab

  committed
  a76cd31

• add more comments to execute proof routine

  iammadab

  committed
  5fd1e95

• extract merk proof to bytes generation into separate routine

  iammadab

  committed
  dc2017f

• extract merk proof execution into seperate routine

  iammadab

  committed
  24fd885

Commits on Apr 18, 2022

• remove duplication from proof reader

  iammadab

  committed
  2a38b74

• clean up + more todos

  iammadab

  committed
  dcb7d5a

• encode and decode value_hash for kv node

  iammadab

  committed
  7b51c2a

• fix test_follow_reference create reference element before creating reference

  iammadab

  committed
  99218c0

• on reference insert, get the referenced element and pass the value hash

  iammadab

  committed
  42d601e

• refactor reference insertion to use value hash of referenced value

  iammadab

  committed
  d7a8567

Commits on Apr 19, 2022

• references compute to the same hash as their referenced element

  iammadab

  committed
  183bb17

• add test for path query with reference elements

  iammadab

  committed
  b34b879

• allow merk to call grovedb methods using traits

  iammadab

  committed
  74731b4

• Revert "allow merk to call grovedb methods using traits"

  Show description for 20b10df
  iammadab

  committed
  20b10df

• add new prove function that doesn't encode values

  iammadab

  committed
  1e0dd21

• created intermidiary zone for future proof value substitution

  iammadab

  committed
  5f44613

• proof properly handles referencesgit add .

  iammadab

  committed
  2cafb44

• fixed reference test

  iammadab

  committed
  9da06d9

Commits on Apr 22, 2022

• return error from generate_and_store_merk_proof

  iammadab

  committed
  d90fa74

• handle errors in proof reader

  iammadab

  committed
  8efdbcc

• add test to show references must point to a valid item before insertion

  iammadab

  committed
  2353ae1

• fix test_too_many_indirections

  iammadab

  committed
  0b6b89c

• clean insert function

  iammadab

  committed
  0927baa

• add documenatation + cleanup

  iammadab

  committed
  e1c32c7

• fmt

  iammadab

  committed
  c728576

• more clean up

  iammadab

  committed
  b4ee191

• add fix comment

  iammadab

  committed
  b72d80d

Commits on Apr 27, 2022

• add reference meta data to item element type

  iammadab

  committed
  c634101

• fix build + test (ignoring serialization test for now)

  iammadab

  committed
  b17ef83

Commits on Apr 28, 2022

• handle single item reference

  iammadab

  committed
  92cbfac

• add reference meta data

  iammadab

  committed
  9e6ee5f

• fix reference limit test

  iammadab

  committed
  50b8b10

• cleanup

  iammadab

  committed
  e2b915d

Commits on May 9, 2022

• recursively delete references when you delete a base item

  iammadab

  committed
  e723e0a

• add failing test for reference deletion with bidirectional logic

  iammadab

  committed
  fc6630b

• update base item when reference is deleted to prevent dangling references

  iammadab

  committed
  a46a32c

• properly handle errors for bidirectional delete

  iammadab

  committed
  2dbb883

• fixed byte size calculation

  iammadab

  committed
  23875f5

• fix serialization test

  iammadab

  committed
  35e8adf

Commits on May 24, 2022

• Merge branch 'develop' into feat/delete-references

  iammadab

  committed
  3d51525

• add test to verify that root hash is same for reference tree and actual tree

  iammadab

  committed
  a94160b

• cleanup + more tests

  iammadab

  committed
  dc17cd2