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

Add 4844 soundness tests #1210

Merged
merged 15 commits into from
Apr 13, 2024
Merged

Add 4844 soundness tests #1210

merged 15 commits into from
Apr 13, 2024

Commits on Apr 11, 2024

  1. Add assign_rows and assign_internal_checks methods

    Mason Liang committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    263b223 View commit details
    Browse the repository at this point in the history

  2. Remove unused arguments

    Mason Liang committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    883fbac View commit details
    Browse the repository at this point in the history

  3. fix rebase

    Mason Liang committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    d91553b View commit details
    Browse the repository at this point in the history

  4. Add overwrite tests for BlobDataConfig exports

    Mason Liang committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    c2d1d97 View commit details
    Browse the repository at this point in the history

  5. Add chunk_idx soundness test and additional constraints

    Mason Liang committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    34935bc View commit details
    Browse the repository at this point in the history

  6. Constraint is_boundary and is_padding to be boolean on all active rows

    Mason Liang committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    ff711c3 View commit details
    Browse the repository at this point in the history

  7. Add additional overwrite tests

    Mason Liang committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    571d04d View commit details
    Browse the repository at this point in the history

  8. Fix chunk_idx test

    Mason Liang committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    1b26de8 View commit details
    Browse the repository at this point in the history

  9. Remove digest rlc row from overwrite tests

    Mason Liang committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    9bce0c3 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. Merge branch 'develop' into feat/soundness_rebase

    @z2trillion
    z2trillion authored Apr 12, 2024
    Configuration menu
    Copy the full SHA
    8de2876 View commit details
    Browse the repository at this point in the history

  2. fix rebase

    Mason Liang committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    fca3e1c View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2024

  1. fix copy paste error

    Mason Liang committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    cfcb033 View commit details
    Browse the repository at this point in the history

  2. constrain preimage_rlc in metadata section

    Mason Liang committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    ce8e2e3 View commit details
    Browse the repository at this point in the history

  3. fix overwrite digest rlc test

    Mason Liang committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    6ff23ac View commit details
    Browse the repository at this point in the history

  4. remove un-needed product

    Mason Liang committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    9d7d121 View commit details
    Browse the repository at this point in the history