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

WIP: Increment validator and corresponding mutations #1715

Draft
wants to merge 19 commits into
base: master
Choose a base branch
from
Draft

WIP: Increment validator and corresponding mutations #1715

wants to merge 19 commits into from
+669 −192

Commits on Oct 25, 2024

  1. Add increment redeemer 

    Hopefully I used correct type TxOutRef to check the spending of a
deposit output later on
    @v0d1ch
    v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    a2958a2 View commit details
    Browse the repository at this point in the history

  2. Implement check and mutation for altering the parameters

    @v0d1ch
    v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    aba3d8d View commit details
    Browse the repository at this point in the history

  3. Check the increment version

    @v0d1ch
    v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    9fda14b View commit details
    Browse the repository at this point in the history

  4. Postpone check that claim deposit is spent

    @v0d1ch
    v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    52752f9 View commit details
    Browse the repository at this point in the history

  5. Move hashPreSerializedCommits and hashTxOuts to Utils module

    @v0d1ch
    v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    a2f05b7 View commit details
    Browse the repository at this point in the history

  6. Check snapshot sig and corresponding mutation

    @v0d1ch
    v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    dc0edd2 View commit details
    Browse the repository at this point in the history

  7. Check value is increased and the mutation for it

    @v0d1ch
    v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    5064d40 View commit details
    Browse the repository at this point in the history

  8. Tx signed by participant check and mutation

    @v0d1ch
    v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    331aa68 View commit details
    Browse the repository at this point in the history

  9. Check that deposit ref is spent together with mutation

    @v0d1ch
    v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    838fb3e View commit details
    Browse the repository at this point in the history

  10. Add new close redeemer types

    @v0d1ch
    v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    f9c17d8 View commit details
    Browse the repository at this point in the history

  11. Increase tx size to make increment work for now

    @v0d1ch
    v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    7575966 View commit details
    Browse the repository at this point in the history

  12. Use === for value comparison and small fix for deposit spending

    @v0d1ch
    v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    640dfb1 View commit details
    Browse the repository at this point in the history

  13. Derive deposited value from the deposit out present in the deposit sc… 

    …ript UTxO
    @ffakenz @v0d1ch
    ffakenz authored and v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    2af121a View commit details
    Browse the repository at this point in the history

  14. Fix close used healthy tx

    @ffakenz @v0d1ch
    ffakenz authored and v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    ee4c96f View commit details
    Browse the repository at this point in the history

  15. Correctly set value for script deposit

    @ffakenz @v0d1ch
    ffakenz authored and v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    b1460aa View commit details
    Browse the repository at this point in the history

  16. Add StateSpec tests for increment tx 

    Currently failing because of missing script input so we need to
make sure to provide all needed UTxO when generating txs.
    @v0d1ch
    v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    b05dd0e View commit details
    Browse the repository at this point in the history

  17. Make the increment generation pass the state spec tests 

    It still doesn't evaluate in terms of tx size but we will get there.
    @v0d1ch
    v0d1ch committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    966bb79 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. Add new close redeemer CloseAny 

    Seems like this redeemer is needed to cover all posible scenarios
and it is not captured in the spec so we will need to add this in.
    @v0d1ch
    v0d1ch committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    7445418 View commit details
    Browse the repository at this point in the history

  2. Revrite deposit validator in aiken

    @v0d1ch
    v0d1ch committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    c7af746 View commit details
    Browse the repository at this point in the history