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

Frontend-Backend split #254

Merged
merged 82 commits into from
Feb 6, 2024
Merged

Frontend-Backend split #254

merged 82 commits into from
Feb 6, 2024

Commits on Dec 13, 2023

  1. Reimplement keygen_vk for fe-be split as keygen_vk_v2

    @ed255
    ed255 committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    eb5d1aa View commit details
    Browse the repository at this point in the history

  2. Reimplement keygen_pk for fe-be split as keygen_pk_v2

    @ed255
    ed255 committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    d318a9d View commit details
    Browse the repository at this point in the history

  3. WIP: ProverV2 implementation

    @ed255
    ed255 committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    a601925 View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2023

  1. WIP

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

  2. Complete create_proof refactor for fe-be split

    @ed255
    ed255 committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    1b35fab View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2023

  1. Make new prover methods work with multi-instance

    @ed255
    ed255 committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    50e7354 View commit details
    Browse the repository at this point in the history

  2. Get queires for proving

    @ed255
    ed255 committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    98759c3 View commit details
    Browse the repository at this point in the history

  3. Port verify_proof to fe-be split

    @ed255
    ed255 committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    9ee0ced View commit details
    Browse the repository at this point in the history

Commits on Dec 27, 2023

  1. Add sample circuit for testing

    @ed255
    ed255 committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    013e6d4 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2023

  1. Make progress on testing fe-be split

    @ed255
    ed255 committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    50fb46a View commit details
    Browse the repository at this point in the history

Commits on Dec 29, 2023

  1. Add witness calculator

    @ed255
    ed255 committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    a8a2009 View commit details
    Browse the repository at this point in the history

  2. Full flow, but verification fails

    @ed255
    ed255 committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    c272378 View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2024

  1. WIP

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

  2. Get it working

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

  3. Clean up

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

  4. Clean up

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

  5. Clean up

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

  6. Benchmark

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

Commits on Jan 4, 2024

  1. Merge branch 'main' into feature/frontend-backend

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

  2. WIP

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

  3. Make legacy wrappers over v2

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

Commits on Jan 5, 2024

  1. Remove old API in favour of legacy wrappers

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

  2. Fix test

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

  3. Address some clippy warnings

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

  4. Fix pinned vk test

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

Commits on Jan 9, 2024

  1. Remove Polynomial from backend interface

    @ed255
    ed255 committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    582d6d5 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2024

  1. Clean up

    @ed255
    ed255 committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    a3ecfba View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2024

  1. Merge branch 'main' into feature/frontend-backend

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

Commits on Jan 15, 2024

  1. Address some of the review comments from @CPerezz

    @ed255
    ed255 committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    d350e72 View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2024

  1. Simplify Backend gate type

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

  2. Document some types

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

  3. Split collect_queries function

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

  4. Checkpoint

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

  5. Checkpoint

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

Commits on Jan 18, 2024

  1. Checkpoint

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

Commits on Jan 19, 2024

  1. Checkpoint

    @ed255
    ed255 committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    fad6b04 View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2024

  1. Checkpoint

    @ed255
    ed255 committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    cd7cf53 View commit details
    Browse the repository at this point in the history

  2. Checkpoint. Move everything to common

    @ed255
    ed255 committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    f99144a View commit details
    Browse the repository at this point in the history

  3. Checkpoint

    @ed255
    ed255 committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    de02499 View commit details
    Browse the repository at this point in the history

  4. Checkpoint

    @ed255
    ed255 committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    adcbe4b View commit details
    Browse the repository at this point in the history

  5. Checkpoint

    @ed255
    ed255 committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    e54c39c View commit details
    Browse the repository at this point in the history

  6. Checkpoint

    @ed255
    ed255 committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    e004913 View commit details
    Browse the repository at this point in the history

  7. Checkpoint

    @ed255
    ed255 committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    fd80a62 View commit details
    Browse the repository at this point in the history

  8. Checkpoint

    @ed255
    ed255 committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    43fdbb3 View commit details
    Browse the repository at this point in the history

  9. Checkpoint

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

  10. Checkpoint

    @ed255
    ed255 committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    15027e6 View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2024

  1. Checkpoint, backend compiles

    @ed255
    ed255 committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    0dcdf7d View commit details
    Browse the repository at this point in the history

  2. Add TODOs

    @ed255
    ed255 committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    b0a17cd View commit details
    Browse the repository at this point in the history

  3. Add TODOs

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

  4. Checkpoint. compile_circuit in frontend

    @ed255
    ed255 committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    f9703ec View commit details
    Browse the repository at this point in the history

  5. Checkpoint. WitnessCalculator in backend

    @ed255
    ed255 committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    29b6c75 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. Checkpoint, halo2_proofs legacy

    @ed255
    ed255 committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    552c567 View commit details
    Browse the repository at this point in the history

  2. Fix test imports

    @ed255
    ed255 committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    9b73ca4 View commit details
    Browse the repository at this point in the history

  3. Enable dev

    @ed255
    ed255 committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    41f2003 View commit details
    Browse the repository at this point in the history

  4. Move dev to frontend

    @ed255
    ed255 committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    933c399 View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2024

  1. Remove old halo2_proofs src

    @ed255
    ed255 committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    9b19dd9 View commit details
    Browse the repository at this point in the history

  2. Cleanup unused dependencies in common, backend

    @ed255
    ed255 committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    f2c9074 View commit details
    Browse the repository at this point in the history

  3. Clean unused imports

    @ed255
    ed255 committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    2293d61 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2024

  1. Pass frontend tests

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

  2. Pass tests in halo2_proofs

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

  3. Move individual tests to halo2_proofs

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

  4. Add reexports in halo2_proofs for plonk_api.rs

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

  5. Move examples to halo2_proofs. Breaks

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

  6. WIP (Broken): ColumnMid implementation

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

Commits on Jan 29, 2024

  1. Checkpoint

    @ed255
    ed255 committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    3291b3c View commit details
    Browse the repository at this point in the history

  2. Add ChallengeMid in middleware

    @ed255
    ed255 committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    34d35a8 View commit details
    Browse the repository at this point in the history

  3. Remove halo2_proofs_rm; compile all tests

    @ed255
    ed255 committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    0fb3007 View commit details
    Browse the repository at this point in the history

  4. Clean up middleware deps

    @ed255
    ed255 committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    1fce6f3 View commit details
    Browse the repository at this point in the history

  5. Clean up and config lints for halo2_proofs

    @ed255
    ed255 committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    da9d34e View commit details
    Browse the repository at this point in the history

  6. Temporarily disable thread-safe-region fetature, fix clippy warnings

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

  7. Fix doc tests imports

    @ed255
    ed255 committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    fe2e28e View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2024

  1. Resolve feedback from @han0110

    @ed255
    ed255 committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    134143c View commit details
    Browse the repository at this point in the history

  2. Address feedback from @adria0

    @ed255
    ed255 committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    7eda496 View commit details
    Browse the repository at this point in the history

  3. Address feedback from @CPerezz, part 1

    @ed255
    ed255 committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    acb13f8 View commit details
    Browse the repository at this point in the history

  4. Address feedback from @CPerezz, part 2

    @ed255
    ed255 committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    bbf034a View commit details
    Browse the repository at this point in the history

  5. Address feedback from @CPerezz, part 3

    @ed255
    ed255 committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    9927c82 View commit details
    Browse the repository at this point in the history

  6. Fix wasm32 build

    @ed255
    ed255 committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    fb2e556 View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2024

  1. Merge branch 'main' into feature/frontend-backend-crates1

    @ed255
    ed255 committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    25666a4 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. Use Vec<F> instead of Vec<Assigned<F>> in prover::commit_phase 

    Simplify the prover API by receiving the witness as Vec<F> instead of
Vec<Assigned<F>>.  This moves the batch inverstion from the backend to
the frontend, so that the backend directly receives the final witness
values.  This change requires updating the batch_invert_assigned method
to work on Vec instead of Polynomial.
    @ed255
    ed255 committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    137b46e View commit details
    Browse the repository at this point in the history

  2. Move Assigned from middleware to common

    @ed255
    ed255 committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    7162953 View commit details
    Browse the repository at this point in the history

  3. Run cargo fmt

    @ed255
    ed255 committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    490cd87 View commit details
    Browse the repository at this point in the history

  4. Fix doc example import

    @ed255
    ed255 committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    e2efca5 View commit details
    Browse the repository at this point in the history