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

Introduces an async version of Prover #276

Closed
wants to merge 82 commits into from
Closed

Introduces an async version of Prover #276

wants to merge 82 commits into from

Conversation

plafer
Copy link
Contributor

@plafer plafer commented May 3, 2024

Adds a maybe_async proc macro, heavily based on maybe-async. Implements an async Prover using it, toggled by an async feature flag.

Based on #271, so the diff looks bigger than it is.

@plafer
AuxTraceBuilder
583bfc1
@plafer
AuxTraceElements associated types
eedada2
@plafer
fix generate_proof()
adfc935
@plafer
fix all but tests
ef13e12
@plafer
Air: Make AuxRandElements generic over E
ea0e7a6
@plafer
Prover: make AuxRandElements generic over E
7a06cb3
@plafer
AuxTraceBuilder: make AuxRandElements generic over E
2519fa9
@plafer
prover: fix Lagrange benchmark
1a06b9d
@plafer
fix verifier
a134514
@plafer
fix comment
40751af
@plafer
prover: add prove_with_aux_trace()
ce25415
@plafer
prover: add prove_with_aux_trace()
60328de
@plafer
verifier: remove dead code
be9b0c3
@plafer
fix prover benches
13ad3b6
@plafer
Introduce DefaultAuxTraceVerifier
59bfc15
@plafer
fix test_complex_lagrange_kernel_air
fe2dfe9
@plafer
prove: remove <E>
dd5a135
@plafer
fmt
7e3e7ff
@plafer
verifier: split verify() functions
10c17df
@plafer
fix fib_small example
0f32099
@plafer
fix examples
e22c3dd
@plafer
winterfell exports
5495886
@plafer
fix rescue_raps example
58a37ef
@plafer
fix verify_with_aux_trace
63063f3
@plafer
fix rescue_raps
d041dfa
@plafer
Remove AuxTraceRandElements
64cec4e
@plafer
Remove Trace::build_aux_segment()
1ec3020
@plafer
fix verifier
536e27e
@plafer
clippy
6071dab
@plafer
E: Send + Sync
e911a4b
plafer added 26 commits May 1, 2024 15:40
@plafer
Prover: add build_aux_trace method
805af6c
@plafer
Move AuxProof to Air
e1e6a49
@plafer
docstrings
fc9f205
@plafer
Rename prover type aliases
bdfed96
@plafer
Fix build_aux_trace, and document.
8cb2262
@plafer
fix docs links
b54df7b
@plafer
fmt
ca87245
@plafer
Document prove(), and reorganize where aux proof is documented
83bd95c
@plafer
move separator
0bcf668
@plafer
fix associated types order
3d525c5
@plafer
simplify new_evaluator arg
4a37c5e
@plafer
Remove aux_rands from TraceInfo
831db7c
@plafer
nightly fmt
79a9995
@plafer
Fix trait bound
6e37bd7
@plafer
remove helper function
86f2e4f
@plafer
trace::validate now takes aux_trace_with_metadata
2a49583
@plafer
clippy
8990c6d
@plafer
typo
cf61f24
@plafer
doc tests
9b766a9
@plafer
new paragraph in docstring
99c1230
@plafer
RescueRaps: fix variable name num_aux_rand_elements
7eafebb
@plafer
Introduce AirAuxTraceWithMetadata
83fd926
@plafer
re-add drop(span)
393bed6
@plafer
nightly fmt
0eff5f4
@plafer
Introduce maybe-async macro crate
4d342fe
@plafer
use maybe-async in prover
bc71dac
@bobbinth bobbinth mentioned this pull request May 7, 2024
Closed
@plafer plafer closed this May 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
cla signed
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@plafer @facebook-github-bot