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.

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

Feat/Switch Spartan Backend to Use Goldilocks Field #17

Open
wants to merge 54 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from 32 commits
Commits
Show all changes
54 commits
Select commit Hold shift + click to select a range
b237249
Reversable: temporarily remove non-compiling parts
darth-cy Oct 30, 2024
5441bba
Remove PCS and add Goldilocks
darth-cy Nov 4, 2024
21a6bf6
Recover intermediate proofs
darth-cy Nov 4, 2024
0557493
Recover intermediate proofs
darth-cy Nov 4, 2024
afb7fe4
Remove elliptic group definition
darth-cy Nov 4, 2024
5795de9
Remove remnant ristretto255
darth-cy Nov 4, 2024
5abe1b5
Remove comment blocks
darth-cy Nov 6, 2024
f418d76
Correct goldilocks implementation
darth-cy Nov 11, 2024
68ec90f
Make workflow pass
darth-cy Nov 11, 2024
b9ff64a
Remove extra space
darth-cy Nov 11, 2024
b88b5e1
Remove comment blocks
darth-cy Nov 13, 2024
5a8ea79
Correct comment blocks
darth-cy Nov 14, 2024
0ccbc53
Correct arithmetics
darth-cy Nov 14, 2024
3ce5832
Recover SNARK verify checks
darth-cy Nov 14, 2024
4a93233
Recover sumcheck instance verification check
darth-cy Nov 14, 2024
de8f6a8
Comment out non-existent binaries.
yczhangsjtu Nov 15, 2024
1eff07c
Remove unused binaries
matthiasgoergens Nov 18, 2024
df847f6
Graft in ceno-goldilocks
darth-cy Nov 18, 2024
799bd3e
Modify pow fn
darth-cy Nov 18, 2024
9c2beec
Merge pull request #19 from scroll-tech/feat/goldilocks-spartan-debug…
yczhangsjtu Nov 18, 2024
6067c24
Merge remote-tracking branch 'origin/feat/goldilocks-spartan' into fe…
darth-cy Nov 18, 2024
09fb7aa
Add degree2 extension of goldilocks. Convert to ceno-goldilocks
darth-cy Nov 18, 2024
46c4093
Migrate to generic instead of base field
darth-cy Nov 19, 2024
6c84689
Migrate to generic instead of base field
darth-cy Nov 19, 2024
9c03c96
Migrate to generic instead of base field
darth-cy Nov 20, 2024
0647c73
Remove unnecessary parameter specification
darth-cy Nov 20, 2024
eec2c75
Add deserialize trait bound
darth-cy Nov 20, 2024
a9a2ad6
fmt
darth-cy Nov 21, 2024
e30a997
Merge branch 'main' into feat/goldilocks-spartan
darth-cy Nov 21, 2024
06e2689
Resolve conflicts/duplicates/dep versioning from merge
darth-cy Nov 22, 2024
af32b96
fmt
darth-cy Nov 22, 2024
2075d75
fmt
darth-cy Nov 22, 2024
a9cde25
Correct itertools version
darth-cy Nov 22, 2024
a191023
Restore transcript consistency
darth-cy Nov 26, 2024
e5c2c6c
fmt
darth-cy Nov 26, 2024
6425c3a
Code improvement
darth-cy Nov 26, 2024
f856b99
Code improvement
darth-cy Nov 26, 2024
19b03e9
Code improvement
darth-cy Nov 26, 2024
1f4108a
Code improvement
darth-cy Nov 26, 2024
d792b15
Merge branch 'main' into feat/goldilocks-spartan
darth-cy Nov 28, 2024
4fbc3d7
Import ceno-goldilocks main branch
darth-cy Nov 28, 2024
8aa5d6f
fmt
darth-cy Nov 28, 2024
223e359
Reuse Goldilocks random
darth-cy Dec 2, 2024
de67fc9
Add basefield arithmetics
darth-cy Dec 2, 2024
967709d
fmt
darth-cy Dec 2, 2024
a7488b3
Use degree 2 ext for soundness
darth-cy Dec 2, 2024
70dd37c
Specify output
darth-cy Dec 2, 2024
8b5db3a
Correct BaseField trait bound
darth-cy Dec 3, 2024
c1a22e2
Improve arithmetic definition
darth-cy Dec 3, 2024
f4a5292
Reorder arithmetic definition
darth-cy Dec 4, 2024
e46e854
Merge branch 'main' into feat/goldilocks-spartan
darth-cy Dec 4, 2024
5f86ada
Add arithmetic traits
darth-cy Dec 4, 2024
c86debd
Remove zk
darth-cy Dec 4, 2024
88029e3
Remove blinds
darth-cy Dec 4, 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
138 changes: 123 additions & 15 deletions circ_blocks/Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading