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

Finish the formal verification effort #56

Merged
merged 87 commits into from
Jan 28, 2024
Merged

Finish the formal verification effort #56

merged 87 commits into from
Jan 28, 2024

Commits on Oct 16, 2023

  1. Wip

    @Eagle941
    Eagle941 committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    88671f8 View commit details
    Browse the repository at this point in the history

  2. Updated provenzk

    @Eagle941
    Eagle941 committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    a070614 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2023

  1. Wip

    @Eagle941
    Eagle941 committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    af764b2 View commit details
    Browse the repository at this point in the history

  2. Added proof insertion_is_set_circuit

    @Eagle941
    Eagle941 committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    54550a8 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2023

  1. deletion circuit proof

    @Eagle941
    Eagle941 committed Oct 21, 2023
    Configuration menu
    Copy the full SHA
    734c520 View commit details
    Browse the repository at this point in the history

  2. Added deletion circuit theorems and refactoring

    @Eagle941
    Eagle941 committed Oct 21, 2023
    Configuration menu
    Copy the full SHA
    ee02265 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2023

  1. Wip

    @Eagle941
    Eagle941 committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    0d2dc14 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2023

  1. Wip

    @Eagle941
    Eagle941 committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    3df34d3 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2023

  1. theory of functional gadgets

    @kustosz
    kustosz committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    eb5310f View commit details
    Browse the repository at this point in the history

  2. Wip

    @Eagle941
    Eagle941 committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    1783a8e View commit details
    Browse the repository at this point in the history

  3. wip

    @Eagle941
    Eagle941 committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    2b0644a View commit details
    Browse the repository at this point in the history

  4. Wip

    @Eagle941
    Eagle941 committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    1a54f6e View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2023

  1. Wip

    @Eagle941
    Eagle941 committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    735364a View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2023

  1. keccak is functional

    @kustosz
    kustosz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    6c4f200 View commit details
    Browse the repository at this point in the history

  2. checkpoint

    @kustosz
    kustosz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    60c097a View commit details
    Browse the repository at this point in the history

  3. progress on uncps

    @kustosz
    kustosz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    26f2f0b View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. WiP

    @Eagle941
    Eagle941 committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    ee3a919 View commit details
    Browse the repository at this point in the history

  2. Wip

    @Eagle941
    Eagle941 committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    acf592c View commit details
    Browse the repository at this point in the history

  3. Wip

    @Eagle941
    Eagle941 committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    ac15034 View commit details
    Browse the repository at this point in the history

  4. Proven deletion_round_prep_uncps

    @Eagle941
    Eagle941 committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    46cc189 View commit details
    Browse the repository at this point in the history

  5. Updated dependencies

    @Eagle941
    Eagle941 committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    d394aee View commit details
    Browse the repository at this point in the history

  6. Refactoring

    @Eagle941
    Eagle941 committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    6901f1d View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2023

  1. Refactoring

    @Eagle941
    Eagle941 committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    319c574 View commit details
    Browse the repository at this point in the history

  2. Wip

    @Eagle941
    Eagle941 committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    9ae3987 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2023

  1. After deletion all zeroes

    @Eagle941
    Eagle941 committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    0af39dd View commit details
    Browse the repository at this point in the history

  2. Proof refactoring

    @Eagle941
    Eagle941 committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    251b892 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2023

  1. checkpoint

    @kustosz
    kustosz committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    d77df03 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2023

  1. Wip

    @Eagle941
    Eagle941 committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    01f6e78 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. WiP

    @Eagle941
    Eagle941 committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    ec6bf00 View commit details
    Browse the repository at this point in the history

  2. cleanup binary proofs

    @kustosz
    kustosz committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    a0ca860 View commit details
    Browse the repository at this point in the history

  3. witness-relevant determinism

    @kustosz
    kustosz committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    acf336d View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2023

  1. Deletion theorems

    @Eagle941
    Eagle941 committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    092cc94 View commit details
    Browse the repository at this point in the history

  2. Refactoring deletion circuit proofs

    @Eagle941
    Eagle941 committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    a4bef57 View commit details
    Browse the repository at this point in the history

  3. Moving most important theorems to main file

    @Eagle941
    Eagle941 committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    6c842c9 View commit details
    Browse the repository at this point in the history

  4. Updated provenzk

    @Eagle941
    Eagle941 committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    77cd96d View commit details
    Browse the repository at this point in the history

  5. Split semantic equivalence

    @Eagle941
    Eagle941 committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    6873db9 View commit details
    Browse the repository at this point in the history

  6. Cleaned comments

    @Eagle941
    Eagle941 committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    6300bc6 View commit details
    Browse the repository at this point in the history

  7. Refactoring

    @Eagle941
    Eagle941 committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    b11f2ee View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2023

  1. Refactoring insertion circuit

    @Eagle941
    Eagle941 committed Nov 4, 2023
    Configuration menu
    Copy the full SHA
    c0df4cc View commit details
    Browse the repository at this point in the history

  2. New insertion proof

    @Eagle941
    Eagle941 committed Nov 4, 2023
    Configuration menu
    Copy the full SHA
    dd03c59 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2023

  1. New insertion proof wip

    @Eagle941
    Eagle941 committed Nov 5, 2023
    Configuration menu
    Copy the full SHA
    bf17ba0 View commit details
    Browse the repository at this point in the history

  2. progress

    @kustosz
    kustosz committed Nov 5, 2023
    Configuration menu
    Copy the full SHA
    8f5b3f9 View commit details
    Browse the repository at this point in the history

  3. Wip

    @Eagle941
    Eagle941 committed Nov 5, 2023
    Configuration menu
    Copy the full SHA
    07358dc View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2023

  1. Wip

    @Eagle941
    Eagle941 committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    2c83c27 View commit details
    Browse the repository at this point in the history

  2. Deletion keccak done

    @kustosz
    kustosz committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    7a2274e View commit details
    Browse the repository at this point in the history

  3. Wip

    @Eagle941
    Eagle941 committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    05ee70d View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2023

  1. wip

    @Eagle941
    Eagle941 committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    567e8df View commit details
    Browse the repository at this point in the history

  2. Wip

    @Eagle941
    Eagle941 committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    04afc67 View commit details
    Browse the repository at this point in the history

  3. Added full insertion circuit proof

    @Eagle941
    Eagle941 committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    cefec3e View commit details
    Browse the repository at this point in the history

  4. finish both keccaks

    @kustosz
    kustosz committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    e22db2e View commit details
    Browse the repository at this point in the history

  5. WiP

    @Eagle941
    Eagle941 committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    1a91e6c View commit details
    Browse the repository at this point in the history

  6. checkpoint

    @kustosz
    kustosz committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    d027d38 View commit details
    Browse the repository at this point in the history

  7. Finished

    @Eagle941
    Eagle941 committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    db85fd5 View commit details
    Browse the repository at this point in the history

  8. Cleaned True

    @Eagle941
    Eagle941 committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    2d97a0b View commit details
    Browse the repository at this point in the history

  9. Cleanup

    @Eagle941
    Eagle941 committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    c040a7a View commit details
    Browse the repository at this point in the history

  10. Wip

    @Eagle941
    Eagle941 committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    cd1913a View commit details
    Browse the repository at this point in the history

  11. Wip

    @Eagle941
    Eagle941 committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    24da1eb View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2023

  1. Wip

    @Eagle941
    Eagle941 committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    03a7a0d View commit details
    Browse the repository at this point in the history

  2. Replaced variable

    @Eagle941
    Eagle941 committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    5c4c47f View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. Removed variable for Prime argument

    @Eagle941
    Eagle941 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    2a15bfe View commit details
    Browse the repository at this point in the history

  2. Update provenzk

    @Eagle941
    Eagle941 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    d92229b View commit details
    Browse the repository at this point in the history

  3. Added nat and fin merkle tree conversions

    @Eagle941
    Eagle941 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    3bd9640 View commit details
    Browse the repository at this point in the history

  4. Completed before_insertion_all_zeroes_batch'

    @Eagle941
    Eagle941 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    f9e528d View commit details
    Browse the repository at this point in the history

  5. Updated before_insertion_all_zeroes_batch

    @Eagle941
    Eagle941 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    f7ac210 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2023

  1. Theorems for deletion property

    @Eagle941
    Eagle941 committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    e1a52db View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2023

  1. Wip

    @Eagle941
    Eagle941 committed Nov 12, 2023
    Configuration menu
    Copy the full SHA
    0513a2d View commit details
    Browse the repository at this point in the history

  2. fix

    @kustosz
    kustosz committed Nov 12, 2023
    Configuration menu
    Copy the full SHA
    1f7c49d View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2023

  1. Wip

    @Eagle941
    Eagle941 committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    45efe72 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2023

  1. Updated deletion proof

    @Eagle941
    Eagle941 committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    fe5f7fb View commit details
    Browse the repository at this point in the history

  2. Removed commented code

    @Eagle941
    Eagle941 committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    2ac2c12 View commit details
    Browse the repository at this point in the history

  3. Refactoring

    @Eagle941
    Eagle941 committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    01ffdd6 View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2023

  1. Rebased solution

    @Eagle941
    Eagle941 committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    10cccf8 View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2023

  1. Updated provenzk version

    @Eagle941
    Eagle941 committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    e9af663 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2023

  1. Updated provenzk

    @Eagle941
    Eagle941 committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    0d16dee View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2024

  1. x

    @kustosz
    kustosz committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    828ac04 View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2024

  1. finish insertion functionally

    @kustosz
    kustosz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    82ffeed View commit details
    Browse the repository at this point in the history

  2. clean up insertion

    @kustosz
    kustosz committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    f0421b1 View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2024

  1. progress

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

Commits on Jan 17, 2024

  1. progress

    @kustosz
    kustosz committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    861d30f View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2024

  1. progress

    @kustosz
    kustosz committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    6de3cce View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2024

  1. .

    @kustosz
    kustosz committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    95750f4 View commit details
    Browse the repository at this point in the history

  2. .

    @kustosz
    kustosz committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    685e9a3 View commit details
    Browse the repository at this point in the history

  3. .

    @kustosz
    kustosz committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    b81727e View commit details
    Browse the repository at this point in the history

Commits on Jan 28, 2024

  1. progress

    @kustosz
    kustosz committed Jan 28, 2024
    Configuration menu
    Copy the full SHA
    4541063 View commit details
    Browse the repository at this point in the history

  2. .

    @kustosz
    kustosz committed Jan 28, 2024
    Configuration menu
    Copy the full SHA
    e46580c View commit details
    Browse the repository at this point in the history

  3. set provenZK version

    @kustosz
    kustosz committed Jan 28, 2024
    Configuration menu
    Copy the full SHA
    4d16182 View commit details
    Browse the repository at this point in the history

  4. add poseidon test

    @kustosz
    kustosz committed Jan 28, 2024
    Configuration menu
    Copy the full SHA
    565d763 View commit details
    Browse the repository at this point in the history