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 AsyncProver #275

Closed
wants to merge 82 commits into from
Closed

Introduce AsyncProver #275

wants to merge 82 commits into from

Commits on Apr 18, 2024

  1. AuxTraceBuilder

    @plafer
    plafer committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    583bfc1 View commit details
    Browse the repository at this point in the history

  2. AuxTraceElements associated types

    @plafer
    plafer committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    eedada2 View commit details
    Browse the repository at this point in the history

  3. fix generate_proof()

    @plafer
    plafer committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    adfc935 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2024

  1. fix all but tests

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    ef13e12 View commit details
    Browse the repository at this point in the history

  2. Air: Make AuxRandElements generic over E

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    ea0e7a6 View commit details
    Browse the repository at this point in the history

  3. Prover: make AuxRandElements generic over E

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    7a06cb3 View commit details
    Browse the repository at this point in the history

  4. AuxTraceBuilder: make AuxRandElements generic over E

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    2519fa9 View commit details
    Browse the repository at this point in the history

  5. prover: fix Lagrange benchmark

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    1a06b9d View commit details
    Browse the repository at this point in the history

  6. fix verifier

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    a134514 View commit details
    Browse the repository at this point in the history

  7. fix comment

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    40751af View commit details
    Browse the repository at this point in the history

  8. prover: add prove_with_aux_trace()

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    ce25415 View commit details
    Browse the repository at this point in the history

  9. prover: add prove_with_aux_trace()

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    60328de View commit details
    Browse the repository at this point in the history

  10. verifier: remove dead code

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    be9b0c3 View commit details
    Browse the repository at this point in the history

  11. fix prover benches

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    13ad3b6 View commit details
    Browse the repository at this point in the history

  12. Introduce DefaultAuxTraceVerifier

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    59bfc15 View commit details
    Browse the repository at this point in the history

  13. fix test_complex_lagrange_kernel_air

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    fe2dfe9 View commit details
    Browse the repository at this point in the history

  14. prove: remove <E>

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    dd5a135 View commit details
    Browse the repository at this point in the history

  15. fmt

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    7e3e7ff View commit details
    Browse the repository at this point in the history

  16. verifier: split verify() functions

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    10c17df View commit details
    Browse the repository at this point in the history

  17. fix fib_small example

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    0f32099 View commit details
    Browse the repository at this point in the history

  18. fix examples

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    e22c3dd View commit details
    Browse the repository at this point in the history

  19. winterfell exports

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    5495886 View commit details
    Browse the repository at this point in the history

  20. fix rescue_raps example

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    58a37ef View commit details
    Browse the repository at this point in the history

  21. fix verify_with_aux_trace

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    63063f3 View commit details
    Browse the repository at this point in the history

  22. fix rescue_raps

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    d041dfa View commit details
    Browse the repository at this point in the history

  23. Remove AuxTraceRandElements

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    64cec4e View commit details
    Browse the repository at this point in the history

  24. Remove Trace::build_aux_segment()

    @plafer
    plafer committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    1ec3020 View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2024

  1. fix verifier

    @plafer
    plafer committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    536e27e View commit details
    Browse the repository at this point in the history

  2. clippy

    @plafer
    plafer committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    6071dab View commit details
    Browse the repository at this point in the history

  3. E: Send + Sync

    @plafer
    plafer committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    e911a4b View commit details
    Browse the repository at this point in the history

  4. fix doc tests`

    @plafer
    plafer committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    c787454 View commit details
    Browse the repository at this point in the history

  5. fix doctests

    @plafer
    plafer committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    2d78070 View commit details
    Browse the repository at this point in the history

  6. docs

    @plafer
    plafer committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    5fd32e9 View commit details
    Browse the repository at this point in the history

  7. Rename AuxTraceVerifier

    @plafer
    plafer committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    8913301 View commit details
    Browse the repository at this point in the history

  8. comment

    @plafer
    plafer committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    58bca4f View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2024

  1. get_lagrange_rand_elements: return Vec<E>

    @plafer
    plafer committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    a0c46b8 View commit details
    Browse the repository at this point in the history

  2. move public_coin method

    @plafer
    plafer committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    e852a59 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'upstream/next' into plafer-generalize-a… 

    …ux-trace-building
    @plafer
    plafer committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    6526ba6 View commit details
    Browse the repository at this point in the history

  4. move AuxRandElementsGenerator to air crate

    @plafer
    plafer committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    367a5d2 View commit details
    Browse the repository at this point in the history

  5. use AuxRandElementsGenerator in AuxTraceBuilder

    @plafer
    plafer committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    cd7f09d View commit details
    Browse the repository at this point in the history

  6. Revert "use AuxRandElementsGenerator in AuxTraceBuilder" 

    This reverts commit cd7f09d.
    @plafer
    plafer committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    e78433c View commit details
    Browse the repository at this point in the history

  7. Revert "move AuxRandElementsGenerator to air crate" 

    This reverts commit 367a5d2.
    @plafer
    plafer committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    56aaefe View commit details
    Browse the repository at this point in the history

  8. AuxTraceVerifier: take a proof object

    @plafer
    plafer committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    75f34d3 View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2024

  1. Remove unused function

    @plafer
    plafer committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    222ebe7 View commit details
    Browse the repository at this point in the history

  2. remove AuxParams from AuxTraceBuilder

    @plafer
    plafer committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    11a9ec9 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2024

  1. fix prover

    @plafer
    plafer committed May 1, 2024
    Configuration menu
    Copy the full SHA
    bdee33e View commit details
    Browse the repository at this point in the history

  2. fix examples

    @plafer
    plafer committed May 1, 2024
    Configuration menu
    Copy the full SHA
    e86a2e5 View commit details
    Browse the repository at this point in the history

  3. fix examples and tests

    @plafer
    plafer committed May 1, 2024
    Configuration menu
    Copy the full SHA
    7a4a435 View commit details
    Browse the repository at this point in the history

  4. Add comment

    @plafer
    plafer committed May 1, 2024
    Configuration menu
    Copy the full SHA
    616b7b8 View commit details
    Browse the repository at this point in the history

  5. fix verifier

    @plafer
    plafer committed May 1, 2024
    Configuration menu
    Copy the full SHA
    d50d329 View commit details
    Browse the repository at this point in the history

  6. new_aux_trace_builder no longer returns an Option

    @plafer
    plafer committed May 1, 2024
    Configuration menu
    Copy the full SHA
    77c7007 View commit details
    Browse the repository at this point in the history

  7. AuxTraceBuilder no longer generic

    @plafer
    plafer committed May 1, 2024
    Configuration menu
    Copy the full SHA
    49295b2 View commit details
    Browse the repository at this point in the history

  8. fix verifier

    @plafer
    plafer committed May 1, 2024
    Configuration menu
    Copy the full SHA
    87df97e View commit details
    Browse the repository at this point in the history

  9. fix doc tests

    @plafer
    plafer committed May 1, 2024
    Configuration menu
    Copy the full SHA
    af4425b View commit details
    Browse the repository at this point in the history

  10. nightly fmt

    @plafer
    plafer committed May 1, 2024
    Configuration menu
    Copy the full SHA
    f336a0e View commit details
    Browse the repository at this point in the history

  11. Prover: add build_aux_trace method

    @plafer
    plafer committed May 1, 2024
    Configuration menu
    Copy the full SHA
    805af6c View commit details
    Browse the repository at this point in the history

  12. Move AuxProof to Air

    @plafer
    plafer committed May 1, 2024
    Configuration menu
    Copy the full SHA
    e1e6a49 View commit details
    Browse the repository at this point in the history

  13. docstrings

    @plafer
    plafer committed May 1, 2024
    Configuration menu
    Copy the full SHA
    fc9f205 View commit details
    Browse the repository at this point in the history

Commits on May 2, 2024

  1. Rename prover type aliases

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    bdfed96 View commit details
    Browse the repository at this point in the history

  2. Fix build_aux_trace, and document.

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    8cb2262 View commit details
    Browse the repository at this point in the history

  3. fix docs links

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    b54df7b View commit details
    Browse the repository at this point in the history

  4. fmt

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    ca87245 View commit details
    Browse the repository at this point in the history

  5. Document prove(), and reorganize where aux proof is documented

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    83bd95c View commit details
    Browse the repository at this point in the history

  6. move separator

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    0bcf668 View commit details
    Browse the repository at this point in the history

  7. fix associated types order

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    3d525c5 View commit details
    Browse the repository at this point in the history

  8. simplify new_evaluator arg

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    4a37c5e View commit details
    Browse the repository at this point in the history

  9. Remove aux_rands from TraceInfo

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    831db7c View commit details
    Browse the repository at this point in the history

  10. nightly fmt

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    79a9995 View commit details
    Browse the repository at this point in the history

  11. Fix trait bound

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    6e37bd7 View commit details
    Browse the repository at this point in the history

  12. remove helper function

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    86f2e4f View commit details
    Browse the repository at this point in the history

  13. trace::validate now takes aux_trace_with_metadata

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    2a49583 View commit details
    Browse the repository at this point in the history

  14. clippy

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    8990c6d View commit details
    Browse the repository at this point in the history

  15. typo

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    cf61f24 View commit details
    Browse the repository at this point in the history

  16. doc tests

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    9b766a9 View commit details
    Browse the repository at this point in the history

  17. async prover scaffolding

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    c60fe51 View commit details
    Browse the repository at this point in the history

  18. async prover: initial impl

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    6d2c09b View commit details
    Browse the repository at this point in the history

  19. switch to async-trait

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    7890ea4 View commit details
    Browse the repository at this point in the history

  20. make prove() async

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    df60d15 View commit details
    Browse the repository at this point in the history

  21. build_aux_trace async

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    420fe48 View commit details
    Browse the repository at this point in the history

  22. build_constraint_commitment: async

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    8fa6cae View commit details
    Browse the repository at this point in the history

  23. new_trace_lde: async

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    5e25011 View commit details
    Browse the repository at this point in the history

  24. async new_evaluator()

    @plafer
    plafer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    1b01687 View commit details
    Browse the repository at this point in the history