Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: Add prehash_compare_key to allow proving nonexistence in sparse trees #136

Merged
merged 14 commits into from
Apr 10, 2023
Merged

feat: Add prehash_compare_key to allow proving nonexistence in sparse trees #136

merged 14 commits into from
Apr 10, 2023

Commits on Feb 22, 2023

  1. add prehash_compare_key 

    prehash_compare_key indicates whether to compare the keys lexicographically according to their _hashed_ values (implied by the hash function given by prehash_key). This is required for nonexistence proofs in proof specs that use prehashing.
    @avahowell
    avahowell committed Feb 22, 2023
    Configuration menu
    Copy the full SHA
    6d7c1d5 View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2023

  1. use keyForComparison in getNonExistProofForKey

    @avahowell
    avahowell committed Feb 23, 2023
    Configuration menu
    Copy the full SHA
    5b13544 View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2023

  1. apply keyForComparison in typescript verifyNonExistence

    @avahowell
    avahowell committed Feb 24, 2023
    Configuration menu
    Copy the full SHA
    03cd990 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2023

  1. update smt spec to use prehash_sha256

    @avahowell
    avahowell committed Feb 27, 2023
    Configuration menu
    Copy the full SHA
    048493a View commit details
    Browse the repository at this point in the history

  2. rename prehash_compare_key -> prehash_key_before_comparison

    @avahowell
    avahowell committed Feb 27, 2023
    Configuration menu
    Copy the full SHA
    603f973 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2023

  1. fix: Make it compile in no_std by removing naming of Vec

    @plaidfinch
    plaidfinch committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    c9a1984 View commit details
    Browse the repository at this point in the history

  2. doc: Add comment describing keyForComparison/key_for_comparison

    @plaidfinch
    plaidfinch committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    ef2958b View commit details
    Browse the repository at this point in the history

  3. doc: Elaborate more on why prehashing before comparison

    @plaidfinch
    plaidfinch committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    0d29478 View commit details
    Browse the repository at this point in the history

  4. use updated smt test vectors

    @avahowell
    avahowell committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    cc3a76d View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2023

  1. Avoid cloning leaf_spec when prehashing keys for comparison 

    co-authored-by: @romac

Co-authored-by: Romain Ruetschi <romain.ruetschi@gmail.com>
    @plaidfinch @romac
    plaidfinch and romac authored Apr 5, 2023
    Configuration menu
    Copy the full SHA
    c997325 View commit details
    Browse the repository at this point in the history

  2. Fix missing Eq derive on prost build (reverting)

    @plaidfinch
    plaidfinch committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    69a38e8 View commit details
    Browse the repository at this point in the history

  3. Revert "Fix missing Eq derive on prost build (reverting)" 

    This reverts commit 69a38e8.
    @plaidfinch
    plaidfinch committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    b549e62 View commit details
    Browse the repository at this point in the history

  4. Fix fmt issue in CI, fix generated code to contain Eq impl

    @plaidfinch
    plaidfinch committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    b97ba6f View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2023

  1. add testing for SMT proofs in js

    @avahowell
    avahowell committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    64a5c0e View commit details
    Browse the repository at this point in the history