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: SMT Proofs (Inclusion and Exclusion) #648

Merged
merged 67 commits into from
Mar 12, 2024
Merged

feat: SMT Proofs (Inclusion and Exclusion) #648

merged 67 commits into from
Mar 12, 2024

Commits on Dec 18, 2023

  1. SMT generate proof

    @bvrooman
    bvrooman committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    fda3e0a View commit details
    Browse the repository at this point in the history

  2. Passing test for proof

    @bvrooman
    bvrooman committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    da38555 View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2023

  1. Update merkle_tree.rs

    @bvrooman
    bvrooman committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    d8dd367 View commit details
    Browse the repository at this point in the history

  2. Update tests

    @bvrooman
    bvrooman committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    c4efe4f View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2023

  1. WIP

    @bvrooman
    bvrooman committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    5793c2b View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2023

  1. Support inclusion and exclusion proofs

    @bvrooman
    bvrooman committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    71f503f View commit details
    Browse the repository at this point in the history

  2. Update CHANGELOG.md

    @bvrooman
    bvrooman committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    c2e2f16 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into bvrooman/feat/smt-proofs

    @bvrooman
    bvrooman committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    7146ee0 View commit details
    Browse the repository at this point in the history

  4. Clean up

    @bvrooman
    bvrooman committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    cbd627d View commit details
    Browse the repository at this point in the history

  5. Clippy

    @bvrooman
    bvrooman committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    eeb8bd8 View commit details
    Browse the repository at this point in the history

  6. Additional tests

    @bvrooman
    bvrooman committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    30df56f View commit details
    Browse the repository at this point in the history

  7. Remove superfluous code

    @bvrooman
    bvrooman committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    093dc4c View commit details
    Browse the repository at this point in the history

  8. WIP

    @bvrooman
    bvrooman committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    48f40a8 View commit details
    Browse the repository at this point in the history

Commits on Dec 23, 2023

  1. debugging

    @bvrooman
    bvrooman committed Dec 23, 2023
    Configuration menu
    Copy the full SHA
    39c2e90 View commit details
    Browse the repository at this point in the history

  2. Fix proofs

    @bvrooman
    bvrooman committed Dec 23, 2023
    Configuration menu
    Copy the full SHA
    81a9f64 View commit details
    Browse the repository at this point in the history

  3. Clean up

    @bvrooman
    bvrooman committed Dec 23, 2023
    Configuration menu
    Copy the full SHA
    317f342 View commit details
    Browse the repository at this point in the history

  4. Clean up

    @bvrooman
    bvrooman committed Dec 23, 2023
    Configuration menu
    Copy the full SHA
    1094d61 View commit details
    Browse the repository at this point in the history

  5. Clippy

    @bvrooman
    bvrooman committed Dec 23, 2023
    Configuration menu
    Copy the full SHA
    3483e75 View commit details
    Browse the repository at this point in the history

  6. use alloc

    @bvrooman
    bvrooman committed Dec 23, 2023
    Configuration menu
    Copy the full SHA
    fc08309 View commit details
    Browse the repository at this point in the history

  7. use alloc format

    @bvrooman
    bvrooman committed Dec 23, 2023
    Configuration menu
    Copy the full SHA
    0c50d9c View commit details
    Browse the repository at this point in the history

  8. Clippy

    @bvrooman
    bvrooman committed Dec 23, 2023
    Configuration menu
    Copy the full SHA
    00e021e View commit details
    Browse the repository at this point in the history

Commits on Dec 24, 2023

  1. Clean up

    @bvrooman
    bvrooman committed Dec 24, 2023
    Configuration menu
    Copy the full SHA
    4d895d2 View commit details
    Browse the repository at this point in the history

  2. cosmetic

    @bvrooman
    bvrooman committed Dec 24, 2023
    Configuration menu
    Copy the full SHA
    2cf6469 View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2024

  1. Add test for empty tree

    @bvrooman
    bvrooman committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    90dbe51 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into bvrooman/feat/smt-proofs 

    # Conflicts:
#	CHANGELOG.md
    @bvrooman
    bvrooman committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    98440e9 View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2024

  1. Use proptest for random index

    @bvrooman
    bvrooman committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    24bde3e View commit details
    Browse the repository at this point in the history

  2. clippy

    @bvrooman
    bvrooman committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    fff3885 View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2024

  1. Merge branch 'master' into bvrooman/feat/smt-proofs

    @xgreenx
    xgreenx authored Jan 17, 2024
    Configuration menu
    Copy the full SHA
    786769a View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2024

  1. Replace enum with single struct

    @bvrooman
    bvrooman committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    5f96a69 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into bvrooman/feat/smt-proofs

    @bvrooman
    bvrooman committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    a3895a0 View commit details
    Browse the repository at this point in the history

  3. Fix test name

    @bvrooman
    bvrooman committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    42c5733 View commit details
    Browse the repository at this point in the history

  4. Submit an example of the incorrect proof

    @xgreenx
    xgreenx committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    d421b00 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/bvrooman/feat/smt-proofs' into b… 

    …vrooman/feat/smt-proofs
    @xgreenx
    xgreenx committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    94c9aee View commit details
    Browse the repository at this point in the history

  6. Missed change

    @bvrooman
    bvrooman committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    286e36f View commit details
    Browse the repository at this point in the history

  7. Merge branch 'bvrooman/feat/smt-proofs' of https://github.com/FuelLab… 

    …s/fuel-vm into bvrooman/feat/smt-proofs
    @bvrooman
    bvrooman committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    6f3fe1e View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2024

  1. WIP - Update tests, proofs

    @bvrooman
    bvrooman committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    0ac82af View commit details
    Browse the repository at this point in the history

  2. WIP testing

    @bvrooman
    bvrooman committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    9cf4a06 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. WIP

    @bvrooman
    bvrooman committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    8afba49 View commit details
    Browse the repository at this point in the history

  2. WIP

    @bvrooman
    bvrooman committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    76ac41a View commit details
    Browse the repository at this point in the history

  3. All tests green

    @bvrooman
    bvrooman committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    07b6c52 View commit details
    Browse the repository at this point in the history

  4. Simplify

    @bvrooman
    bvrooman committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    7959a42 View commit details
    Browse the repository at this point in the history

  5. Update proof.rs

    @bvrooman
    bvrooman committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    249d341 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into bvrooman/feat/smt-proofs

    @bvrooman
    bvrooman committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    e2fc674 View commit details
    Browse the repository at this point in the history

  7. Update tests

    @bvrooman
    bvrooman committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    7c81df8 View commit details
    Browse the repository at this point in the history

  8. Clippy + no_std

    @bvrooman
    bvrooman committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    c2636eb View commit details
    Browse the repository at this point in the history

  9. Remove proptest regressions

    @bvrooman
    bvrooman committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    d44c7ab View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2024

  1. Added a test with inclusion proof

    @xgreenx
    xgreenx committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    2c04eb1 View commit details
    Browse the repository at this point in the history

  2. Added a test with inclusion proof

    @xgreenx
    xgreenx committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    5632915 View commit details
    Browse the repository at this point in the history

  3. Check key

    @bvrooman
    bvrooman committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    346adf6 View commit details
    Browse the repository at this point in the history

  4. Update

    @bvrooman
    bvrooman committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    5ca6979 View commit details
    Browse the repository at this point in the history

  5. Delete sparse.txt

    @bvrooman
    bvrooman committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    bee8aa8 View commit details
    Browse the repository at this point in the history

  6. Test and fix for placeholders

    @bvrooman
    bvrooman committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    7800cbe View commit details
    Browse the repository at this point in the history

  7. Clippy

    @bvrooman
    bvrooman committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    b519be5 View commit details
    Browse the repository at this point in the history

  8. Another test case

    @xgreenx
    xgreenx committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    0977a79 View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2024

  1. use debug_assert over assert

    @bvrooman
    bvrooman committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    ca6edbf View commit details
    Browse the repository at this point in the history

  2. Update proof.rs

    @bvrooman
    bvrooman committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    a2ee4d8 View commit details
    Browse the repository at this point in the history

  3. Remove invalid test

    @bvrooman
    bvrooman committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    c1ad59b View commit details
    Browse the repository at this point in the history

  4. Fix tests

    @bvrooman
    bvrooman committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    8251b01 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into bvrooman/feat/smt-proofs 

    # Conflicts:
#	CHANGELOG.md
    @bvrooman
    bvrooman committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    3aafeb5 View commit details
    Browse the repository at this point in the history

  6. ExclusionLeaf

    @bvrooman
    bvrooman committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    2506510 View commit details
    Browse the repository at this point in the history

  7. Clippy

    @bvrooman
    bvrooman committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    faafe04 View commit details
    Browse the repository at this point in the history

  8. Style

    @bvrooman
    bvrooman committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    d67770a View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2024

  1. Remove dbg

    @bvrooman
    bvrooman committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    9558729 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. Use enum for ExclusionLeaf

    @bvrooman
    bvrooman committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    e961cd8 View commit details
    Browse the repository at this point in the history

  2. dev: refactor smt node visibility (#696) 

    * Refactor

* Refactor

* Minor

* Fix import

* Revert file move

* Fixes + comments

* Use core deref instead of std

* Group public and private functions
    Brandon Vrooman authored Mar 11, 2024
    Configuration menu
    Copy the full SHA
    124f183 View commit details
    Browse the repository at this point in the history

  3. Small nits from me=)

    @xgreenx
    xgreenx committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    fa5d09c View commit details
    Browse the repository at this point in the history

  4. Simplify proof check

    @bvrooman
    bvrooman committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    b446631 View commit details
    Browse the repository at this point in the history