Skip to content

Merge stir #161

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

Open
jdodinh wants to merge 63 commits into
base: main
Choose a base branch
from
Open

Merge stir #161

Show file tree
Hide file tree
Changes from 47 commits
Commits
Show all changes
63 commits
Select commit Hold shift + click to select a range
0945435
STIR Prover
WizardOfMenlo Oct 16, 2024
4cee18b
Progress
WizardOfMenlo Oct 22, 2024
e18776c
STIR Prover
WizardOfMenlo Oct 16, 2024
d560c28
Progress
WizardOfMenlo Oct 22, 2024
c1a22f3
Merge branch 'stir' of github.com:WizardOfMenlo/whir into stir
WizardOfMenlo Oct 22, 2024
877db0c
Fix
WizardOfMenlo Oct 22, 2024
eaafc97
Clean some lints
WizardOfMenlo Oct 22, 2024
a39e7dc
Fix iopattern
WizardOfMenlo Oct 22, 2024
0232835
Rename
WizardOfMenlo Oct 22, 2024
4341ffc
Fix some iopattern
WizardOfMenlo Oct 22, 2024
44e4191
Cleaner
WizardOfMenlo Oct 22, 2024
c52e9cd
Note
WizardOfMenlo Oct 22, 2024
b9d41c8
Enforce that parameters satisfy appropriate query bounds
jdodinh Jan 3, 2025
8d04b3b
Reorder variables to follow order of loop
jdodinh Jan 3, 2025
f80b892
Add scaling with offset
jdodinh Jan 3, 2025
13859b2
Add some annotations/comments
jdodinh Jan 3, 2025
7e77cd2
Incorporate offset into stir challenges
jdodinh Jan 3, 2025
ce45066
Refactor first phase of the prover to be more similar to stir impleme…
jdodinh Jan 23, 2025
b2bd54d
Refactor OOD Sampling section
jdodinh Jan 23, 2025
b916de1
Finish refactoring prover
jdodinh Feb 6, 2025
b381ac9
Refine parameter validation and choice of stopping degree
jdodinh Feb 20, 2025
ec9f461
Adjust comments and clarify variable naming
jdodinh Feb 20, 2025
ae6287a
Fix renaming mistake from previous commit
jdodinh Feb 20, 2025
380c282
Reimplement randomness expansion
jdodinh Feb 20, 2025
7f6c58d
Minor fixes
jdodinh Feb 20, 2025
7b76b15
Merge pull request #30 from jdodinh/prover-refactoring
WizardOfMenlo Feb 23, 2025
61c0785
Large instance test passes
jdodinh Feb 24, 2025
baa9d69
Passing all tests currently, but not optimal
jdodinh Mar 5, 2025
68e66ba
Clean up and refactor
jdodinh Mar 6, 2025
2e7103d
Merge branch 'verifier-improvements' of https://github.com/gorilskij/…
Mar 6, 2025
4edb750
partial refactoring of prover.prove
Mar 6, 2025
4a4846d
factor out a chunk of code from prover base case and phase 3
Mar 6, 2025
a1a0400
refactor prover.prove to be non-recursive
Mar 6, 2025
4a7fa07
minor adjustments
Mar 6, 2025
1f68db4
factor parse_round in the verifier
Mar 6, 2025
578e9cc
further factor proof parsing in verifier
Mar 6, 2025
35834f3
rename functions
Mar 6, 2025
03b20d1
Merge pull request #35 from jdodinh/protocol-debug
WizardOfMenlo Mar 6, 2025
a1a3ce1
remove unneeded enum
Mar 6, 2025
d635adc
fix comment
Mar 6, 2025
b0af0e1
Merge pull request #36 from gorilskij/refactor
WizardOfMenlo Mar 8, 2025
4a824d1
Add benchmarking for STIR LDT (#156)
jdodinh Apr 2, 2025
598d265
Resolve merge conflicts
jdodinh Apr 3, 2025
caa0afe
Appease Clippy
jdodinh Apr 4, 2025
f0e606d
Fix parallel variable
jdodinh Apr 4, 2025
b399588
Run formatting
jdodinh Apr 4, 2025
cbb8619
Merge branch 'main' into merge-stir
jdodinh Apr 4, 2025
7ebd309
Address comments
jdodinh Apr 7, 2025
8455a98
Revert to long verifier and add TODO
jdodinh Apr 7, 2025
3f39ae9
Put back module declarations
jdodinh Apr 7, 2025
dbb5f08
Add support for fold optimization
jdodinh Apr 7, 2025
b24513e
Appease Clippy
jdodinh Apr 7, 2025
7858bdb
Merge branch 'WizardOfMenlo:main' into merge-stir
jdodinh Apr 7, 2025
6b24c7e
Merge branch 'WizardOfMenlo:main' into merge-stir
jdodinh Apr 8, 2025
0d64665
Refactor parsed_proof
jdodinh Apr 11, 2025
41303b7
Remove src/stir_ldt/utils.rs
jdodinh Apr 11, 2025
f724060
Add Default trait derivation for CommitmentReader
jdodinh Apr 11, 2025
10e89ca
Simplify trait bound
jdodinh Apr 11, 2025
9206bae
Merge main
jdodinh Apr 11, 2025
4bf2e44
Remove duplicate functions from multilinear module
jdodinh Apr 11, 2025
271d84d
Move DigestToUnit* traits to common fs_utils module
jdodinh Apr 11, 2025
64a476a
Move towards cleaning up verifier
jdodinh Apr 15, 2025
678031a
Add doc to get_folded_evals
jdodinh Apr 17, 2025
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
1 change: 1 addition & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@ bench_utils/target
*_proof
artifacts
outputs/temp/
outputs/
*.pdf
scripts/__pycache__/
.DS_Store
Expand Down
1 change: 1 addition & 0 deletions Cargo.lock
View file
Open in desktop

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

1 change: 1 addition & 0 deletions Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,6 +41,7 @@ ark-poly = "0.5"
blake3 = "1.5.0"
sha3 = "0.10"
rand = "0.8"
rand_chacha = "0.3"
clap = { version = "4.4.17", features = ["derive"] }
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0"
Expand Down
Loading
Loading