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 29 commits into
base: master
Choose a base branch
from
Draft

WIP: Increment validator and corresponding mutations #1715

wants to merge 29 commits into from
+1,130 −500

Commits on Oct 30, 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 30, 2024
    Configuration menu
    Copy the full SHA
    6ffd817 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 30, 2024
    Configuration menu
    Copy the full SHA
    4bbb9b2 View commit details
    Browse the repository at this point in the history

  3. Check the increment version

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

  4. Postpone check that claim deposit is spent

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

  5. Move hashPreSerializedCommits and hashTxOuts to Utils module

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

  6. Check snapshot sig and corresponding mutation

    @v0d1ch
    v0d1ch committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    bc422ee 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 30, 2024
    Configuration menu
    Copy the full SHA
    147e6ed View commit details
    Browse the repository at this point in the history

  8. Tx signed by participant check and mutation

    @v0d1ch
    v0d1ch committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    9fcc88f 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 30, 2024
    Configuration menu
    Copy the full SHA
    78c8dbb View commit details
    Browse the repository at this point in the history

  10. Add new close redeemer types

    @v0d1ch
    v0d1ch committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    70511b2 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 30, 2024
    Configuration menu
    Copy the full SHA
    d63f695 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 30, 2024
    Configuration menu
    Copy the full SHA
    73e63a7 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 30, 2024
    Configuration menu
    Copy the full SHA
    2021a5e 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 30, 2024
    Configuration menu
    Copy the full SHA
    b5fa6af 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 30, 2024
    Configuration menu
    Copy the full SHA
    8b2233b 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 30, 2024
    Configuration menu
    Copy the full SHA
    82fa28a 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 30, 2024
    Configuration menu
    Copy the full SHA
    c97ce6b View commit details
    Browse the repository at this point in the history

  18. 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 30, 2024
    Configuration menu
    Copy the full SHA
    4a69076 View commit details
    Browse the repository at this point in the history

  19. Revrite deposit validator in aiken

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

  20. Use the new deposit aiken validator 

    Remove the haskell validator and connect the new aiken one. What is
outstanding is the check on Recover redeemer.
    @v0d1ch
    v0d1ch committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    2138f42 View commit details
    Browse the repository at this point in the history

  21. Recover redeemer - compare output hashes 

    This step makes the rewrite final
    @v0d1ch
    v0d1ch committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    a1a39bb View commit details
    Browse the repository at this point in the history

  22. Add increment transaction to tx-cost

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

  23. Small cleanup for DepositDatum type

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

  24. Rename ContestOutdated to ContestUnusedDec 

    Add Healthy module for contest mutations and ContestUnusedDec module for
corresponding mutations.
    @v0d1ch
    v0d1ch committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    330e0b4 View commit details
    Browse the repository at this point in the history

  25. ContestUsedDec AlterRedeemerDecommitHash

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

  26. ContestUseDec AlterDatumDeltaUTxOHash

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

  27. ContestUsedDec MutateSnapshotVersion

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

  28. Merge contest used and unused mutations

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

  29. Add ContestUnusedDec redeemer

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