Skip to content

Arithmic/streaming #638

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
wants to merge 63 commits into
base: main
Choose a base branch
from
Open

Arithmic/streaming #638

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
63 commits
Select commit Hold shift + click to select a range
3d12e6b
add map state for streaming
arithmic-ASHISH Mar 20, 2025
0d1506e
A preliminary design for oracles.
arithmic-bhargav Mar 21, 2025
f4400d9
Addeded streaming for eq polynomial.
arithmic-bhargav Mar 28, 2025
6ec1bbd
Merge branch 'main' of github.com:arithmic/jolt into arithmic/streaming
arithmic-ASHISH Mar 28, 2025
69d64a5
Oracle for BytecodeStuff.
arithmic-bhargav Apr 1, 2025
89628c7
wrapped iteration into cycle
arithmic-ASHISH Apr 1, 2025
9fdd2a3
Preliminary implementation of oracle for Az, Bz, Cz.
arithmic-bhargav Apr 2, 2025
4f9278b
add Oracle trait
arithmic-ASHISH Apr 2, 2025
c57c03c
A working design of oracles.
arithmic-bhargav Apr 3, 2025
2ff9872
Streaming done till spartan witness.
arithmic-bhargav Apr 3, 2025
082869a
add sum check
arithmic-ASHISH Apr 3, 2025
800c846
add feat comb fn to sum check
arithmic-ASHISH Apr 4, 2025
ac66280
refactor
arithmic-ASHISH Apr 4, 2025
c23ee24
Oracle for Jolt polynomials.
arithmic-bhargav Apr 4, 2025
4b1f4b7
Merge branch 'design_oracle' of https://github.com/arithmic/jolt into…
arithmic-bhargav Apr 4, 2025
b7e2e24
fix sum check
arithmic-ASHISH Apr 7, 2025
7a707d9
Streaming code for Az, Bz, Cz. Not working.
arithmic-bhargav Apr 7, 2025
c81bd02
Code for streaming Az, Bz, Cz. Not working.
arithmic-bhargav Apr 7, 2025
a5868d1
Streaming AzBzCz working for one shard.
arithmic-bhargav Apr 8, 2025
f9809d1
AzBzCz streaming working.
arithmic-bhargav Apr 8, 2025
de22a00
compute bind_z and bind_shift_z using joltoracle
arithmic-ASHISH Apr 8, 2025
72a6555
added BindZRyVarOracle
Apr 8, 2025
5518064
add streaming for batch_evaluation
arithmic-rituraj Apr 8, 2025
096ba5c
Merge branch 'stream/spartan' of github.com:arithmic/jolt into stream…
arithmic-rituraj Apr 8, 2025
4851323
compute bind_z and bind_shift_z using joltoracle
arithmic-ASHISH Apr 8, 2025
cd62f64
Shift sumcheck evaluations streaming tested
arithmic-rituraj Apr 8, 2025
b3640a7
construct jolt oracle inside spartan
arithmic-ASHISH Apr 9, 2025
980ea65
Merge branch 'stream/batch_eval' into stream/spartan
arithmic-ASHISH Apr 9, 2025
a016942
merge design oracle
arithmic-ASHISH Apr 9, 2025
dac2bd8
fix inconsistent shard len
arithmic-ASHISH Apr 9, 2025
d4fb787
Refactor.
arithmic-bhargav Apr 9, 2025
fe66172
integrate sum check in spartan, debugging
arithmic-ASHISH Apr 9, 2025
77aa929
cargo fmt
arithmic-ASHISH Apr 9, 2025
810c4fb
Merge remote-tracking branch 'origin' into arithmic/streaming
arithmic-ASHISH Apr 9, 2025
982d75d
Merge branch 'arithmic/streaming' into stream/spartan
arithmic-ASHISH Apr 10, 2025
93265a8
fix sum check test bug
arithmic-ASHISH Apr 10, 2025
25606b6
add flag for eq and eq+1 in stremingeq
arithmic-ASHISH Apr 10, 2025
98ae67d
fix shift sum check
arithmic-ASHISH Apr 10, 2025
fc17c17
stream_prove_cubic working and final evals remaining
Apr 10, 2025
196ada8
stream shift sum check evals
arithmic-rituraj Apr 10, 2025
cfb6216
Merge branch 'stream/spartan' of github.com:arithmic/jolt into stream…
arithmic-rituraj Apr 10, 2025
22477b1
add spliteq in stream sum check
arithmic-ASHISH Apr 11, 2025
0641f50
Fix sparse sum check, todo:- fix second sum check
arithmic-ASHISH Apr 11, 2025
a189702
Some changes to sparse sum-check.
arithmic-bhargav Apr 13, 2025
58a8f91
add square root n space sum check
arithmic-ASHISH Apr 14, 2025
9981209
refactor sum check
arithmic-ASHISH Apr 14, 2025
56ea2f4
handle case when shard len is less than e2 len
arithmic-ASHISH Apr 14, 2025
f91a140
Stream Prove Cubic (#12)
arithmic-ASHISH Apr 15, 2025
21204d1
Streaming prove_arbitrary() with O(\sqrt(n)) space complexity.
arithmic-bhargav Apr 15, 2025
268713f
refactor
arithmic-ASHISH Apr 15, 2025
24bb642
Merge branch 'feat/sum_check' into stream/spartan
arithmic-ASHISH Apr 15, 2025
47121d8
fix warnings
arithmic-ASHISH Apr 16, 2025
05c42cd
Sqrt(n) eq integrated in first Spartan sum-check.
arithmic-bhargav Apr 16, 2025
c2118e3
compute bind_z_stream using split eq
arithmic-ASHISH Apr 16, 2025
9930945
Fixed a bug in streastream_prove_arbitrary().
arithmic-bhargav Apr 16, 2025
d9c354a
Optimisation for the outer Spartan sum-check.
arithmic-bhargav Apr 17, 2025
dc5560a
update stream batch evaluate and poly z computation
arithmic-ASHISH Apr 17, 2025
cbcca3b
Merge branch 'stream/spartan', remote-tracking branch 'origin' into s…
arithmic-ASHISH Apr 17, 2025
d371a0a
refactor
arithmic-ASHISH Apr 17, 2025
12e2983
optimize shift sum check spartan
arithmic-ASHISH Apr 18, 2025
f579090
refactor
arithmic-ASHISH Apr 18, 2025
0cde6c0
optimize polyz
arithmic-ASHISH Apr 18, 2025
2582d47
Streaming Spartan.
arithmic-bhargav Apr 21, 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
4 changes: 3 additions & 1 deletion .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,4 +21,6 @@ temp_file

# ide
.idea
.vscode
.vscode

.log
53 changes: 27 additions & 26 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 jolt-core/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,7 @@ default = [
"host",
"rayon",
]

host = ["dep:reqwest", "dep:tokio"]
icicle = [
"default",
Expand Down
Loading
Loading