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

test: add test/solver_test.go #329

Merged
merged 26 commits into from
Jun 8, 2022
Merged

test: add test/solver_test.go #329

merged 26 commits into from
Jun 8, 2022

Conversation

gbotrel
Copy link
Collaborator

@gbotrel gbotrel commented Jun 7, 2022 •
edited
Loading

This PR adds an internat consistency test between big int test engine and R1CS / SparseR1CS solver.

edit: this will likely be moved into an internal/main tool + re-written to use some parallelism.

gbotrel added 22 commits May 26, 2022 16:06
@gbotrel
build: update to latest gnark-crypto
8e789a7
@gbotrel
refactor: frontend.Compile(ecc.ID) -> frontend.Compile(field.Field)
f823f8a
@gbotrel
refactor: field.Field -> *big.Int
74dce97
@gbotrel
build: update to latest gnark-crypto
3ad1821
@gbotrel
feat: added internal/tinyfield
e491b94
@gbotrel
refactor: NewWitness(ecc.ID) -> NewWitness(field big.Int)
5da5c19
@gbotrel
feat: build R1CS with tinyfield
f7f8b7c
@gbotrel
Merge branch 'develop' into test/fuzz_small_field
f594b31
@gbotrel
test: ignore range circuit for tinyfield r1cs serialization
473d2e9
@gbotrel
refactor: hint now takes *big.Int scalar field instead of curveID
968de4a
@gbotrel
refactor: remove Backend() in Builder / Api interfaces
a9651df
@gbotrel
feat: added R1CSSolver test against tinyfield
c0bfbfb
@gbotrel
refactor: add utils.ByteLen(*big.Int) method
0069c90
@gbotrel
feat: SetScalarField returns error with unsupported modulus
8e49d8f
@gbotrel
feat: added Compiler.FieldBitLen()
564d77a
@gbotrel
style: clean code generator
c588a08
@gbotrel
Merge branch 'test/fuzz_small_field' into test/fuzz_small
ae2e777
@gbotrel
refactor: get rid of Curve() API
8cc8573
@gbotrel
refactor: remove more curve dependencies in frontend
f7f9cf6
@gbotrel
fix: remove solver_test from previous commit
273d14e
@gbotrel
test: added test/solver_test.go
88783fb
@gbotrel
Merge branch 'develop' into test/fuzz_small_field
ea6ab85
@gbotrel gbotrel marked this pull request as draft June 7, 2022 20:55
@gbotrel gbotrel marked this pull request as ready for review June 8, 2022 19:55
@gbotrel gbotrel merged commit 718a3e8 into develop Jun 8, 2022
@gbotrel gbotrel deleted the test/fuzz_small_field branch June 8, 2022 19:55
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
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@gbotrel