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

Add callback-oriented versions of constraint_system and generate_witness #836

Merged
merged 54 commits into from
Mar 7, 2024
Merged

Add callback-oriented versions of constraint_system and generate_witness #836

Show file tree
Hide file tree
Changes from 52 commits
Commits
Show all changes
54 commits
Select commit Hold shift + click to select a range
56a10dd
Split collect_input_constraints
mrmr1993 Feb 11, 2024
8db1ec0
Beta-reduce collect_input_constraints
mrmr1993 Feb 11, 2024
d781a33
Name-discriminate constraint_system functions
mrmr1993 Feb 11, 2024
71594ce
Inline definition of constraint_system
mrmr1993 Feb 11, 2024
0e7984f
Inline run
mrmr1993 Feb 11, 2024
de64beb
Inline next_input
mrmr1993 Feb 11, 2024
df65206
beta-reduce run_in_run
mrmr1993 Feb 11, 2024
2892d62
Inline checked map
mrmr1993 Feb 11, 2024
f0c1dce
Inline return_typ
mrmr1993 Feb 11, 2024
17e550c
Standardize naming
mrmr1993 Feb 11, 2024
e06c2d9
Inline retvar
mrmr1993 Feb 11, 2024
b78d39a
Rename t to checked
mrmr1993 Feb 11, 2024
3ebb39e
Beta-reduce constraint_systemy
mrmr1993 Feb 11, 2024
d6ed2a7
Flatten function
mrmr1993 Feb 11, 2024
eda3278
Inline calculation of checked
mrmr1993 Feb 11, 2024
34c39a3
Separate input validation from main function
mrmr1993 Feb 11, 2024
e742980
Beta-reduce next_input parameter
mrmr1993 Feb 11, 2024
e980851
Eta-convert constraint_system
mrmr1993 Feb 11, 2024
3af8b1f
Lift preamble before computation
mrmr1993 Feb 11, 2024
f19d6d3
Constraint_system_builder module
mrmr1993 Feb 11, 2024
f92e6c9
Adopt helper function into module
mrmr1993 Feb 11, 2024
203b44e
Begin using builder
mrmr1993 Feb 11, 2024
4f1fad2
Rename to `build`
mrmr1993 Feb 11, 2024
0554ac0
Signature on Constraint_system_builder
mrmr1993 Feb 11, 2024
561f79b
Push down responsibility for circuit
mrmr1993 Feb 11, 2024
c4af85a
Split computation into stages
mrmr1993 Feb 11, 2024
a5bfe4e
Generalize run_computation
mrmr1993 Feb 11, 2024
af48c23
Create `WitnessBuilder` module, move `auxiliary_input`
mrmr1993 Feb 11, 2024
c260e35
Remove unused optional argument
mrmr1993 Feb 11, 2024
2f4629e
Abstract out final step of witness generation
mrmr1993 Feb 11, 2024
bcdf907
Restructure function
mrmr1993 Feb 11, 2024
5520ace
Split to use a helper function
mrmr1993 Feb 11, 2024
fa7219c
Hoist value reading and conversion, avoid a double-pass
mrmr1993 Feb 11, 2024
150e6c3
Split conv to add a receive_public_input helper
mrmr1993 Feb 11, 2024
4da292f
Lift `conv` into a module
mrmr1993 Feb 11, 2024
b17a3cf
Expand scope of receive_public_input
mrmr1993 Feb 11, 2024
8f55770
Expand conv alias
mrmr1993 Feb 11, 2024
e148e8b
Push some logic back into conv
mrmr1993 Feb 11, 2024
a1a6c77
Flatten structure of Conv.conv, rename to receive_public_input
mrmr1993 Feb 11, 2024
cd303ad
Add a record for carrying conv data
mrmr1993 Feb 11, 2024
b674ea3
Renaming
mrmr1993 Feb 11, 2024
029815c
More renaming
mrmr1993 Feb 11, 2024
bb752c9
Expand conv in generate_auxiliary_input
mrmr1993 Feb 11, 2024
a8f396e
Expand conv in generate_witness_conv
mrmr1993 Feb 11, 2024
b3e667a
Push computation of `c` up into auxiliary_input
mrmr1993 Feb 11, 2024
1859549
Simplify by reducing
mrmr1993 Feb 11, 2024
7c2d8a7
Simplify by inlining
mrmr1993 Feb 11, 2024
c5ab000
Move up some responsibilities from generate_witness_conv
mrmr1993 Feb 11, 2024
57d36ef
Remove use of conv in generate_witness_conv and friends
mrmr1993 Feb 11, 2024
f302c5a
Add `run_computation` to builder, stop calling the circuit internally
mrmr1993 Feb 11, 2024
d9c4828
Add callback versions of constraint_system and generate_witness
mrmr1993 Feb 11, 2024
8cfd780
Merge branch 'master' into feature/asyncify
mrmr1993 Feb 11, 2024
346ca07
Merge branch 'master' into feature/asyncify
mitschabaude Feb 27, 2024
4f7006f
ocamlformat
mitschabaude Feb 28, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading