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] Rebase dynamic lookups #715

Draft
wants to merge 22 commits into
base: main
Choose a base branch
from
Draft

[WIP] Rebase dynamic lookups #715

wants to merge 22 commits into from

Commits on Apr 5, 2023

  1. halo2_proofs/Cargo.toml: Introduce "unstable-dynamic-lookups" flag

    @therealyingtong
    therealyingtong committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    0d14709 View commit details
    Browse the repository at this point in the history

  2. plonk::circuit: DynamicTable, TableTag 

    Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    77b18df View commit details
    Browse the repository at this point in the history

  3. circuit::layouter::RegionColumn: Introduce TableTag variant 

    Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    78ea483 View commit details
    Browse the repository at this point in the history

  4. plonk::circuit::Expression: Introduce TableTag variant 

    Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    be3d62f View commit details
    Browse the repository at this point in the history

  5. plonk::circuit::Assignment: Introduce add_to_lookup() method 

    Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    fc71bba View commit details
    Browse the repository at this point in the history

  6. circuit::layouter::RegionLayouter: Introduce add_to_lookup() method 

    Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    07655b9 View commit details
    Browse the repository at this point in the history

  7. circuit::Region: Implement add_to_lookup() 

    Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    e713366 View commit details
    Browse the repository at this point in the history

  8. plonk::circuit::ConstraintSystem: lookup_dynamic(), create_dynamic_ta… 

    …ble()

Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    8c2f2b1 View commit details
    Browse the repository at this point in the history

  9. circuit::compress_selectors: Extract exclusion_matrix() method 

    Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    1c9424d View commit details
    Browse the repository at this point in the history

  10. plonk::circuit::ConstraintSystem: compress_dynamic_table_tags() 

    Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    cc26963 View commit details
    Browse the repository at this point in the history

  11. plonk::keygen: Handle dynamic table tags in keygen_vk, keygen_pk 

    Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    f32fd2a View commit details
    Browse the repository at this point in the history

  12. dev::MockProver::run: Handle dynamic tables 

    Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    cfc1468 View commit details
    Browse the repository at this point in the history

  13. dev::failure::VerifyFailure: DynamicTableCellNotAssigned variant 

    Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    579741f View commit details
    Browse the repository at this point in the history

Commits on May 2, 2023

  1. dev::MockProver::verify: Handle dynamic table errors 

    Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed May 2, 2023
    Configuration menu
    Copy the full SHA
    444b8a6 View commit details
    Browse the repository at this point in the history

  2. cost::CircuitCost::measure: Account for dynamic table tags 

    Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed May 2, 2023
    Configuration menu
    Copy the full SHA
    eff6917 View commit details
    Browse the repository at this point in the history

  3. layout::CircuitLayout::render: Handle dynamic table tags 

    Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed May 2, 2023
    Configuration menu
    Copy the full SHA
    124a1e1 View commit details
    Browse the repository at this point in the history

  4. dev::tests: Add tests for dynamic lookups 

    Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed May 2, 2023
    Configuration menu
    Copy the full SHA
    3cb9ab6 View commit details
    Browse the repository at this point in the history

  5. halo2_proofs::examples::dynamic_lookup: Dynamic lookup example 

    Co-authored-by: Avi Dessauer <[email protected]>
    @therealyingtong @moreSocratic
    therealyingtong and moreSocratic committed May 2, 2023
    Configuration menu
    Copy the full SHA
    5548bdc View commit details
    Browse the repository at this point in the history

  6. Docfixes and minor refactors

    @therealyingtong
    therealyingtong committed May 2, 2023
    Configuration menu
    Copy the full SHA
    1624127 View commit details
    Browse the repository at this point in the history

  7. CHANGELOG: <F: Field + From<u64> bound instead of <F: Field>

    @therealyingtong
    therealyingtong committed May 2, 2023
    Configuration menu
    Copy the full SHA
    a68c7a6 View commit details
    Browse the repository at this point in the history

  8. book/dev/dynamic-lookups.md: Document dynamic lookups feature

    @therealyingtong
    therealyingtong committed May 2, 2023
    Configuration menu
    Copy the full SHA
    edf0c84 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2023

  1. [WIP] dev::tests: Failing example

    @therealyingtong
    therealyingtong committed May 3, 2023
    Configuration menu
    Copy the full SHA
    eb938d7 View commit details
    Browse the repository at this point in the history