Skip to content

Supernova CompressedSNARK #131

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

Merged
merged 54 commits into from
Dec 11, 2023
Merged

Supernova CompressedSNARK #131

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
54 commits
Select commit Hold shift + click to select a range
3039cad
skeleton of what is to be done
mpenciak Nov 6, 2023
958b759
wip inner and outer sumchecks done
mpenciak Nov 9, 2023
64dfb1e
fix borrow checker issues
mpenciak Nov 10, 2023
5ed6357
batched spartan prove done
mpenciak Nov 10, 2023
22b869f
Small improvements
adr1anh Nov 9, 2023
6599de3
Fix evaluation points
adr1anh Nov 10, 2023
d672123
Implement verifier
adr1anh Nov 10, 2023
ae47a55
`CompressedSNARK` implementation
mpenciak Nov 10, 2023
5f0783a
Tests fixed, failing
mpenciak Nov 10, 2023
93f4299
fix sumcheck, test passes
mpenciak Nov 11, 2023
02f7064
bound -> bind
mpenciak Nov 17, 2023
451d19a
remove todo
mpenciak Nov 17, 2023
8b1df6a
add test
mpenciak Nov 17, 2023
be3d3dc
Document BatchedRelaxedR1CSSNARKTrait and SuperNova CompressedSNARK.
porcuquine Nov 21, 2023
1c17cab
working
adr1anh Nov 24, 2023
85c8f04
- Remove debug code
adr1anh Nov 27, 2023
98b2673
Adress review comments
adr1anh Nov 28, 2023
99fb81e
Fix asserts
adr1anh Nov 28, 2023
81b5852
batched ppsnark
adr1anh Nov 23, 2023
21cf398
Fix scaling
adr1anh Nov 24, 2023
2b033b9
- Fix padding of poly_W
adr1anh Nov 28, 2023
933ab5f
rebase fixes
mpenciak Nov 29, 2023
cd93944
Only create taus once.
porcuquine Nov 28, 2023
7634a0e
Avoid clone by not allocating PowPolynomial.
porcuquine Nov 29, 2023
21abfce
Riff on review.
porcuquine Nov 29, 2023
f0ffe1e
refactor: Implement `.zip_eq()` for equal length iterator safety
huitseeker Nov 30, 2023
47e46d6
add benchmark
mpenciak Nov 30, 2023
0d0d67d
fix witnes
adr1anh Nov 30, 2023
a5890b5
fix: clean up iterators
huitseeker Nov 30, 2023
f53c55b
feat: Introduce new utility macros in spartan module
huitseeker Nov 30, 2023
a970125
refactor: Refactor batched.rs to enhance code readability
huitseeker Nov 30, 2023
1dc5e08
refactor: use zip_with! in batch_ppsnark
huitseeker Dec 1, 2023
0f84aa3
ignore local macro doctest
huitseeker Dec 1, 2023
75a197f
Use zip_with.
porcuquine Dec 1, 2023
1f3f11d
Implement and use zip_with_for_each.
porcuquine Dec 1, 2023
4a821c3
Dubious double zip_with.
porcuquine Dec 1, 2023
3e7ba7e
More zip_with.
porcuquine Dec 1, 2023
0e08caf
Small fixes
adr1anh Dec 1, 2023
6f154da
refactor: more zip_with instances (#153)
huitseeker Dec 1, 2023
e0d86e6
refactor: more instances of zip_with
huitseeker Dec 1, 2023
a2fe8b3
Supernova: Some rewrites (#154)
huitseeker Dec 1, 2023
59526bf
refactor: enhance scope visibility scope in Spartan and Supernova mod…
huitseeker Dec 1, 2023
13773b9
Avoid EqPolynomial when only for evals.
porcuquine Dec 1, 2023
66b969e
refactor: a few more instances of EqPolynomial::evals_from_points
huitseeker Dec 3, 2023
4ece8df
doc: fix a few nits (#160)
huitseeker Dec 4, 2023
c7ab93e
derive fixes
winston-h-zhang Dec 5, 2023
c6e129f
fix: compressed snark benchmark
huitseeker Dec 5, 2023
30d454b
ci: Add trigger for PRs to batched_spartan (#165)
samuelburnham Dec 6, 2023
cdda2c2
More zip with (#158)
porcuquine Dec 6, 2023
1e8767e
Introduce proper `MaskedEq` poly (#162)
adr1anh Dec 6, 2023
50c3380
Restore zip_with_for_each. (#166)
porcuquine Dec 7, 2023
8fc422e
fix benchmark (#168)
mpenciak Dec 8, 2023
b13f457
Sumcheck update (#163)
adr1anh Dec 8, 2023
ad4867b
Streamline macro syntax (#169)
huitseeker Dec 9, 2023
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
2 changes: 1 addition & 1 deletion .github/workflows/rust.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ on:
merge_group:
pull_request:
types: [opened, synchronize, reopened, ready_for_review]
branches: [ dev, zeromorph ]
branches: [ dev, zeromorph, batched_spartan ]

env:
CARGO_TERM_COLOR: always
Expand Down
4 changes: 4 additions & 0 deletions Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -83,6 +83,10 @@ harness = false
name = "recursive-snark-supernova"
harness = false

[[bench]]
name = "compressed-snark-supernova"
harness = false

[features]
default = []
abomonate = []
Expand Down
Loading