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

Perf: Poseidon2 GKR circuit #1410

Merged
merged 57 commits into from
Feb 24, 2025
Merged
Changes from 1 commit
Commits
Show all changes
57 commits
Select commit Hold shift + click to select a range
6025aa5
refactor: power
Tabaie Jan 22, 2025
952ac57
feat: gkr gates
Tabaie Jan 23, 2025
3af41cb
cleanup
Tabaie Jan 23, 2025
c8d5327
feat bls12377 gates for poseidon2
Tabaie Jan 24, 2025
f9d6f56
fix: fr gates
Tabaie Jan 24, 2025
a4c633e
feat: gkr permutations
Tabaie Jan 29, 2025
134e640
fix: no y round keys in partial rounds
Tabaie Jan 29, 2025
35a1045
feat: passing proof
Tabaie Jan 29, 2025
d7c49f9
fix: max
Tabaie Jan 29, 2025
909adbf
refactor: public GkrPermutations
Tabaie Jan 29, 2025
89de33f
fix real round constants
Tabaie Jan 30, 2025
5e00636
feat: merkle damgard and poseidon2
Tabaie Jan 31, 2025
63038e6
fix bad use of h.Permutation, and test
Tabaie Jan 31, 2025
a8e353f
docs: remove incomplete comment
Tabaie Feb 3, 2025
1b57817
test: against gnark-crypto
Tabaie Feb 3, 2025
d9abb7d
remove zero keys
Tabaie Feb 3, 2025
e137111
refactor: move bls12377 code to gnark-crypto
Tabaie Feb 3, 2025
8f5e88e
perf: break up sbox
Tabaie Feb 4, 2025
e5fdd2b
fix broken up s box works
Tabaie Feb 4, 2025
a022a5a
feat: test gate degrees
Tabaie Feb 4, 2025
5f8eee0
chore: share sbox gates
Tabaie Feb 4, 2025
a216fee
refactor: simplify sbox function
Tabaie Feb 4, 2025
37a79fa
chore: integrate gnark-crypto refactors
Tabaie Feb 5, 2025
2473dea
refactor: rename NewHash to NewPermutation
Tabaie Feb 5, 2025
bdc849e
refactor: downstream from gnark-crypto Poseidon2 changes
Tabaie Feb 5, 2025
5032ce6
Merge branch 'master' into feat/poseidon2-hash
Tabaie Feb 11, 2025
254dd75
refactor: align implementation with gnark-crypto
ivokub Feb 12, 2025
cc342a0
refactor: align naming with gnark-crypto
ivokub Feb 12, 2025
4b9aaf2
feat: take default parameters from gnark-crypto
ivokub Feb 12, 2025
ffdba7f
chore: rename file
ivokub Feb 12, 2025
d6fcd5d
refactor: rename constructor to align with gnark-crypto
ivokub Feb 12, 2025
5c46d09
fix: add danger when calling permute for t=2,3 for now
ivokub Feb 13, 2025
3ed26b0
Merge branch 'master' into perf/gkr-poseidon2-breakup-sbox
Tabaie Feb 13, 2025
2a94b12
build: update deps
Tabaie Feb 13, 2025
e344adc
revert: bring back algo_utils.Map
Tabaie Feb 13, 2025
c1ecda2
fix: reflect gate naming changes
Tabaie Feb 13, 2025
6ea4c1e
Merge remote-tracking branch 'origin/feat/poseidon2-hash' into perf/g…
ivokub Feb 13, 2025
7c5f296
chore: PR feedback
Tabaie Feb 16, 2025
7a488cb
docs: poseidon2 GKR
Tabaie Feb 17, 2025
1ee4644
test: SolveInTestEngine
Tabaie Feb 17, 2025
12a8dcb
chore: solidify RegisterGKRGates
Tabaie Feb 17, 2025
429e64f
refactor: break up `finalize`
Tabaie Feb 17, 2025
dee2881
refactor: move var def near use
Tabaie Feb 17, 2025
b1ed2dd
chore: remove gkr API Println
Tabaie Feb 17, 2025
791c5e3
Merge branch 'master' into perf/gkr-poseidon2-breakup-sbox
Tabaie Feb 17, 2025
883c46f
docs: incorporate @ivokub's suggestions in SolveAll doc
Tabaie Feb 17, 2025
836ece8
Merge branch 'master' into perf/gkr-poseidon2-breakup-sbox
Tabaie Feb 17, 2025
4f862ce
build: update gnark-crypto deps
Tabaie Feb 17, 2025
e2cfc55
Merge branch 'master' into perf/gkr-poseidon2-breakup-sbox
Tabaie Feb 18, 2025
f8f8497
chore: remove separated feature
ivokub Feb 19, 2025
e99bfb5
test: use test.CheckCircuit instead of manual Groth16/PLONK
ivokub Feb 19, 2025
8329f58
chore: go fmt
ivokub Feb 19, 2025
71aa376
Merge branch 'master' into perf/gkr-poseidon2-breakup-sbox
Tabaie Feb 19, 2025
af68158
Merge branch 'master' into perf/gkr-poseidon2-breakup-sbox
Tabaie Feb 19, 2025
9d13209
Merge branch 'master' into perf/gkr-poseidon2-breakup-sbox
Tabaie Feb 21, 2025
9c7d46f
chore: PR feedback
Tabaie Feb 21, 2025
4450908
feat: registerGkrSolverOptions
Tabaie Feb 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
Prev Previous commit
Next Next commit
Merge branch 'master' into feat/poseidon2-hash
Tabaie authored Feb 11, 2025
commit 5032ce685c29911bbf59fcbddddd457f9b4d3063

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.