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

feat(state-keeper): circuits seal criterion #729

Merged
merged 32 commits into from
Jan 5, 2024
Merged

feat(state-keeper): circuits seal criterion #729

merged 32 commits into from
Jan 5, 2024

Commits on Dec 14, 2023

  1. Add circuits seal criterion

    @perekopskiy
    perekopskiy committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    00513b2 View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2023

  1. Merge branch 'main' into circuits-seal-criterion

    @perekopskiy
    perekopskiy committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    d19806e View commit details
    Browse the repository at this point in the history

Commits on Dec 21, 2023

  1. Proper calculation of used circuits

    @perekopskiy
    perekopskiy committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    6dfd883 View commit details
    Browse the repository at this point in the history

  2. fmt

    @perekopskiy
    perekopskiy committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    eef8c1d View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into circuits-seal-criterion

    @perekopskiy
    perekopskiy authored Dec 21, 2023
    Configuration menu
    Copy the full SHA
    740221d View commit details
    Browse the repository at this point in the history

  4. Clean up geometry criteria interface

    @perekopskiy
    perekopskiy committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    8de4cc3 View commit details
    Browse the repository at this point in the history

  5. Add comment

    @perekopskiy
    perekopskiy committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    6c9185d View commit details
    Browse the repository at this point in the history

  6. revert

    @perekopskiy
    perekopskiy committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    fcaec4d View commit details
    Browse the repository at this point in the history

  7. Revert

    @perekopskiy
    perekopskiy committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    5bd13d3 View commit details
    Browse the repository at this point in the history

  8. Fix

    @perekopskiy
    perekopskiy committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    a128c01 View commit details
    Browse the repository at this point in the history

  9. Fix

    @perekopskiy
    perekopskiy committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    3d9d349 View commit details
    Browse the repository at this point in the history

  10. try f32

    @perekopskiy
    perekopskiy committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    0844bd9 View commit details
    Browse the repository at this point in the history

  11. Clean up

    @perekopskiy
    perekopskiy committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    812f211 View commit details
    Browse the repository at this point in the history

  12. Track hot write and reads

    @perekopskiy
    perekopskiy committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    569a493 View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2023

  1. Add comment

    @perekopskiy
    perekopskiy committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    df9b7df View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2024

  1. Apply some review suggestions

    @perekopskiy
    perekopskiy committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    fae2f1f View commit details
    Browse the repository at this point in the history

  2. Use updated zk_evm_abstractions

    @perekopskiy
    perekopskiy committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    8a487a2 View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2024

  1. Add comments

    @perekopskiy
    perekopskiy committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    428618f View commit details
    Browse the repository at this point in the history

  2. Change approach to tracing precompiles

    @perekopskiy
    perekopskiy committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    8bda047 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into circuits-seal-criterion

    @perekopskiy
    perekopskiy authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    8cc77fd View commit details
    Browse the repository at this point in the history

  4. Tests

    @perekopskiy
    perekopskiy committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    7a80f06 View commit details
    Browse the repository at this point in the history

  5. Switch to main branches back

    @perekopskiy
    perekopskiy committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    987e5fc View commit details
    Browse the repository at this point in the history

  6. Update prover lock file

    @perekopskiy
    perekopskiy committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    a3413e6 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2024

  1. Add comment

    @perekopskiy
    perekopskiy committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    2e6ad23 View commit details
    Browse the repository at this point in the history

  2. new db column

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

  3. new db column

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

  4. Merge branch 'main' into circuits-seal-criterion

    @perekopskiy
    perekopskiy authored Jan 4, 2024
    Configuration menu
    Copy the full SHA
    51fb475 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2024

  1. Add changes to vm_boojum_integration

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

  2. Add sanity panic

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

  3. Fix

    @perekopskiy
    perekopskiy committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    31c9499 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into circuits-seal-criterion

    @perekopskiy
    perekopskiy committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    066a635 View commit details
    Browse the repository at this point in the history

  5. Fix test

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