Skip to content

feat: snark composition #975

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 24 commits into
base: main
Choose a base branch
from
Open

feat: snark composition #975

Show file tree
Hide file tree
Changes from 22 commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
100f4fd
feat: add square and multiply constraint sumchecks
markosg04 Sep 9, 2025
fac599d
feat: stage 6 prover flow
markosg04 Sep 10, 2025
0251198
fix: dory Gt scalar types
markosg04 Sep 15, 2025
f475fbe
feat: add a trace-only mode to the recursion example (#939)
sagar-a16z Sep 12, 2025
9219ee1
debug: broken recursion example
markosg04 Sep 15, 2025
e37070d
feat: hint commit combine
markosg04 Sep 20, 2025
fc271fa
test: make all tests pass
markosg04 Sep 22, 2025
226f541
feat: hyrax machinery
markosg04 Sep 26, 2025
2cf03a5
feat: snark composition e2e
markosg04 Sep 30, 2025
3aca18f
merge: catch up rv64
markosg04 Sep 30, 2025
7445cfa
refactor: rm ec benches
markosg04 Sep 30, 2025
47a7e66
refactor: commitment scheme recursion traits
markosg04 Oct 1, 2025
d262a47
refactor: split fr fq impls
markosg04 Oct 1, 2025
abc19b3
refactor: iterators for the snark composition protocol
markosg04 Oct 1, 2025
c2278c9
refactor: clean up the dag flow stage 6
markosg04 Oct 1, 2025
e14c938
perf: hyrax commit
markosg04 Oct 1, 2025
8fe0db6
refactor: better propogation of hints
markosg04 Oct 1, 2025
3eb6f18
Merge branch 'main' into feat/snark-composition
markosg04 Oct 3, 2025
3be639a
refactor: delete unused utils hyrax related
markosg04 Oct 3, 2025
e8a7fd5
refactor: serialization indexing
markosg04 Oct 3, 2025
1edddf9
refactor: opening accumulator recursion ops
markosg04 Oct 6, 2025
633e53a
fix: use existing transcript
markosg04 Oct 6, 2025
3d95476
style: comments
markosg04 Oct 6, 2025
c1c42a8
fix: bn254 deps
markosg04 Oct 6, 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
3 changes: 3 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,9 @@ trace-**.json
# SRS files
*.srs

# URS files
*.urs

temp_file

# ide
Expand Down
91 changes: 46 additions & 45 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.

20 changes: 13 additions & 7 deletions Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -77,6 +77,7 @@ members = [

[features]
host = ["jolt-sdk/host"]
recursion = ["jolt-core/recursion"]

[lib]
path = "./src/lib.rs"
Expand Down Expand Up @@ -119,11 +120,13 @@ inherits = "release"
debug = false

[patch.crates-io]
ark-ff = { git = "https://github.com/a16z/arkworks-algebra", branch = "feat/fewer-reductions" }
ark-ec = { git = "https://github.com/a16z/arkworks-algebra", branch = "feat/fewer-reductions" }
jolt-optimizations = { git = "https://github.com/a16z/arkworks-algebra", branch = "feat/fewer-reductions" }
ark-serialize = { git = "https://github.com/a16z/arkworks-algebra", branch = "feat/fewer-reductions" }
ark-bn254 = { git = "https://github.com/a16z/arkworks-algebra", branch = "feat/fewer-reductions" }
jolt-optimizations = { path = "/Users/mgeorghiades/a16z/arkworks-algebra/jolt-optimizations" }
ark-ff = { path = "/Users/mgeorghiades/a16z/arkworks-algebra/ff" }
ark-ec = { path = "/Users/mgeorghiades/a16z/arkworks-algebra/ec" }
ark-serialize = { path = "/Users/mgeorghiades/a16z/arkworks-algebra/serialize" }
ark-bn254 = { path = "/Users/mgeorghiades/a16z/arkworks-algebra/curves/bn254" }
ark-grumpkin = { path = "/Users/mgeorghiades/a16z/arkworks-algebra/curves/grumpkin" }
# dory = { path = "/Users/mgeorghiades/a16z/clean-dory" }
allocative = { git = "https://github.com/facebookexperimental/allocative", rev = "85b773d85d526d068ce94724ff7a7b81203fc95e" }

[workspace.metadata.cargo-machete]
Expand All @@ -132,15 +135,18 @@ ignored = ["jolt-sdk"]
[workspace.dependencies]
# Cryptography and Math
ark-bn254 = { version = "0.5.0", default-features = false }
ark-grumpkin = { version = "0.5.0", default-features = false }
ark-ec = { version = "0.5.0", default-features = false }
ark-ff = { version = "0.5.0", default-features = false }
ark-serialize = { version = "0.5.0", default-features = false, features = [
"derive",
] }
ark-serialize-derive = { version = "0.5.0", default-features = false }
ark-std = { version = "0.5.0", default-features = false }
jolt-optimizations = { git = "https://github.com/a16z/arkworks-algebra", branch = "feat/fewer-reductions" }
dory = { git = "https://github.com/spaceandtimefdn/sxt-dory", branch = "feat/fewer-reductions" }
# jolt-optimizations = { git = "https://github.com/a16z/arkworks-algebra", branch = "feat/fewer-reductions" }
jolt-optimizations = { path = "/Users/mgeorghiades/a16z/arkworks-algebra/jolt-optimizations" }
# dory = { git = "https://github.com/spaceandtimefdn/sxt-dory", branch = "feat/fewer-reductions" }
dory = { path = "/Users/mgeorghiades/a16z/clean-dory" }
sha3 = "0.10.8"
blake2 = "0.10"
blake3 = { version = "1.5.0" }
Expand Down
2 changes: 1 addition & 1 deletion examples/recursion/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ name = "recursion"
path = "src/main.rs"

[dependencies]
jolt-sdk = { path = "../../jolt-sdk", features = ["host"] }
jolt-sdk = { path = "../../jolt-sdk", features = ["host", "recursion"] }
tracing-subscriber = "0.3"
tracing = "0.1"
ark-serialize = { version = "0.5.0", default-features = false }
Expand Down
2 changes: 1 addition & 1 deletion examples/recursion/guest/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,6 @@ edition = "2021"
guest = []

[dependencies]
jolt_sdk = { package = "jolt-sdk", path = "../../../jolt-sdk", features = ["guest-verifier"] }
jolt_sdk = { package = "jolt-sdk", path = "../../../jolt-sdk", features = ["guest-verifier", "recursion"] }
postcard = { version = "1.0.8", default-features = false, features = ["use-std"] }
ark-serialize = { version = "0.5.0", default-features = false }
Loading