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

Introduce UIntGadget and ComparisonGadget #163

Closed
wants to merge 20 commits into from
Closed

Introduce UIntGadget and ComparisonGadget #163

wants to merge 20 commits into from

Commits on May 5, 2022

  1. UIntGadget trait + macro implementation

    @nicholas-mainardi
    nicholas-mainardi authored and nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    9799ed9 View commit details
    Browse the repository at this point in the history

  2. Define cmp gadget + implementation for FpGadget

    @nicholas-mainardi
    nicholas-mainardi authored and nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    997bd8f View commit details
    Browse the repository at this point in the history

  3. functions to compare arbitrary field elements

    @nicholas-mainardi
    nicholas-mainardi authored and nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    64756f4 View commit details
    Browse the repository at this point in the history

  4. Implement ComparisonGadget and sub for UIntGadet

    @nicholas-mainardi
    nicholas-mainardi authored and nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    f78a28a View commit details
    Browse the repository at this point in the history

  5. Fix security issue on is_smaller_than + add comments

    @nicholas-mainardi
    nicholas-mainardi authored and nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    856f5be View commit details
    Browse the repository at this point in the history

  6. Implement uint16/128 + deal with field too small for mul

    @nicholas-mainardi
    nicholas-mainardi authored and nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    2e126d5 View commit details
    Browse the repository at this point in the history

  7. Optimize EqGadget for vector of bits

    @nicholas-mainardi
    nicholas-mainardi authored and nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    4fc7f89 View commit details
    Browse the repository at this point in the history

  8. Fix non-native tests

    @nicholas-mainardi
    nicholas-mainardi authored and nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    3b0858f View commit details
    Browse the repository at this point in the history

  9. deleting files with old implementations of uint8. uint32 and uint64

    @nicholas-mainardi
    nicholas-mainardi authored and nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    150cf1f View commit details
    Browse the repository at this point in the history

  10. Add conditional_enforce_cmp to comparison gadget + fix conditional_en… 

    …force_eq for Boolean
    @nicholas-mainardi
    nicholas-mainardi authored and nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    5dec26f View commit details
    Browse the repository at this point in the history

  11. Address requested changes in PR

    @nicholas-mainardi
    nicholas-mainardi authored and nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    7a293f8 View commit details
    Browse the repository at this point in the history

  12. merge to little-endian bits functions

    @nicholas-mainardi
    nicholas-mainardi authored and nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    d60b85b View commit details
    Browse the repository at this point in the history

  13. Move rotate functions to UIntGadget

    @nicholas-mainardi
    nicholas-mainardi authored and nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    a4eab00 View commit details
    Browse the repository at this point in the history

  14. remove modules for each uint implementation

    @nicholas-mainardi
    nicholas-mainardi authored and nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    2cfea88 View commit details
    Browse the repository at this point in the history

  15. Fix conditional_enforce_not_equal for boolean + improve unit test

    @nicholas-mainardi
    nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    b1649ea View commit details
    Browse the repository at this point in the history

  16. Addressing changes

    @nicholas-mainardi
    nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    e50670f View commit details
    Browse the repository at this point in the history

  17. Optimize comparison for FpGadget

    @nicholas-mainardi
    nicholas-mainardi committed May 5, 2022
    Configuration menu
    Copy the full SHA
    4661c20 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2022

  1. Fix issues after rebase

    @nicholas-mainardi
    nicholas-mainardi committed May 9, 2022
    Configuration menu
    Copy the full SHA
    8ea676b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'add-little-endian-functions-to-ToBits-gadget' into intr… 

    …oduce-UInt-gadget
    @nicholas-mainardi
    nicholas-mainardi committed May 9, 2022
    Configuration menu
    Copy the full SHA
    81811bc View commit details
    Browse the repository at this point in the history

Commits on May 10, 2022

  1. Merge branch 'fix-cmp-with-eq-implementation' into introduce-UInt-gadget

    @nicholas-mainardi
    nicholas-mainardi committed May 10, 2022
    Configuration menu
    Copy the full SHA
    b3b2d13 View commit details
    Browse the repository at this point in the history