Skip to content

perf: optimize scalar multiplications and multi-scalar multiplications circuits via lattice reductions #1697

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

perf: optimize scalar multiplications and multi-scalar multiplications circuits via lattice reductions #1697

Show file tree
Hide file tree
Changes from 45 commits
Commits
Show all changes
50 commits
Select commit Hold shift + click to select a range
64ce5e9
perf: use lattice reduction instead of eisenstein gcd for tighter bounds
yelhousni Jan 31, 2026
eddaa5d
perf: LLL-based 4D G2-GLVAndFakeGLV
yelhousni Feb 2, 2026
1eeebeb
perf: 2-MSM
yelhousni Feb 3, 2026
5b43236
docs: correct comments
yelhousni Feb 3, 2026
905539c
perf: emulated non-GLV 2-MSM as 3-MSM
yelhousni Feb 3, 2026
c08edd3
fix: edge cases in 3D MSM
yelhousni Feb 3, 2026
1e50f4f
perf: revisit complete arithmetic paths
yelhousni Feb 4, 2026
25e4951
refactor: clean code and add tests
yelhousni Feb 5, 2026
51db1ed
fix: cursor review
yelhousni Feb 5, 2026
df3f8cf
refactor: remove dead code
yelhousni Feb 5, 2026
7f5a2dd
Merge branch 'master' into perf/ec-mul
yelhousni Feb 5, 2026
e2dd28b
fix: G2 ScalarMul edge cases
yelhousni Feb 5, 2026
a9b5ece
perf(ec/hints): use cached rational reconstructions
yelhousni Feb 9, 2026
c556c02
chore: up gnark-crypto dep
yelhousni Feb 9, 2026
6ad3dea
chore: fix ci
yelhousni Feb 9, 2026
74dfaa4
Merge branch 'master' into perf/ec-mul
yelhousni Feb 10, 2026
3047a08
test: up stats
yelhousni Feb 10, 2026
b654da0
Merge branch 'master' into perf/ec-mul
yelhousni Feb 11, 2026
8dd87e2
fix: remove bls24 from ted
yelhousni Feb 11, 2026
4ff4c65
fix(native/bls12-377): fix overflow in scalar decomposition check
yelhousni Feb 11, 2026
7cb51da
test: up stats
yelhousni Feb 11, 2026
cced239
Merge branch 'master' into perf/ec-mul
yelhousni Feb 11, 2026
e88eaa0
perf: use Eval in AddUnified
yelhousni Feb 11, 2026
e1a73ff
fix: complete path for table precomputation for s=1
yelhousni Feb 11, 2026
6a4283f
fix(native): complete path for table precomputation for s=1
yelhousni Feb 11, 2026
2441baf
fix: edge cases
yelhousni Feb 11, 2026
5e6423c
fix: 0-scalar edge case in tEd
yelhousni Feb 11, 2026
2663a72
fix: cross-cancelation in MSM tEd
yelhousni Feb 11, 2026
435fc58
fix: various edge cases
yelhousni Feb 11, 2026
3da9d5d
fix: jointScalarMulComplete
yelhousni Feb 11, 2026
5333b62
Merge branch 'master' into perf/ec-mul
yelhousni Mar 11, 2026
cfc3e60
Merge branch 'perf/ec-mul' of github.com:consensys/gnark into perf/ec…
yelhousni Mar 11, 2026
5ef8e74
fix: 8-way mux ordering
yelhousni Mar 11, 2026
f0183ae
Merge branch 'master' into perf/ec-mul
yelhousni Mar 11, 2026
c1d0f2d
test: up stats
yelhousni Mar 11, 2026
f83b054
Merge branch 'master' into perf/ec-mul
yelhousni Mar 12, 2026
6915e39
fix: address ivo comments
yelhousni Mar 12, 2026
1829f00
fix: prevent malicious trivial decomposition
yelhousni Mar 12, 2026
96c8689
fix: happy linter
yelhousni Mar 12, 2026
243e75b
test: up stats
yelhousni Mar 12, 2026
2caff8e
fix: native edge case
yelhousni Mar 12, 2026
2759c7c
fix: emulated -1 scalar edge case
yelhousni Mar 12, 2026
a07691d
test: emulated -1 scalar edge case for all methods
yelhousni Mar 12, 2026
97caa8f
fix: prevent malicious trivial decomposition
yelhousni Mar 12, 2026
ff055a9
fix: more edge cases
yelhousni Mar 12, 2026
22491e1
perf: incomplete addition by default, unified when CompleteArithmetic
yelhousni Mar 12, 2026
f21ffac
fix: ±3-scalar edge case
yelhousni Mar 12, 2026
7a6d504
Merge branch 'master' into perf/ec-mul
yelhousni Mar 16, 2026
a34d205
fix: tEd endomorphism on identity
yelhousni Mar 16, 2026
bbc3000
fix: go generate
yelhousni Mar 16, 2026
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
8 changes: 4 additions & 4 deletions internal/stats/latest_stats.csv
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -119,11 +119,11 @@ pairing_bw6761,bn254,plonk,5318762,5097941
pairing_bw6761,bls12_377,plonk,0,0
pairing_bw6761,bls12_381,plonk,0,0
pairing_bw6761,bw6_761,plonk,0,0
scalar_mul_G1_bn254,bn254,groth16,55409,87955
scalar_mul_G1_bn254,bn254,groth16,62828,98184
scalar_mul_G1_bn254,bls12_377,groth16,0,0
scalar_mul_G1_bn254,bls12_381,groth16,0,0
scalar_mul_G1_bn254,bw6_761,groth16,0,0
scalar_mul_G1_bn254,bn254,plonk,199958,192839
scalar_mul_G1_bn254,bn254,plonk,215601,207162
scalar_mul_G1_bn254,bls12_377,plonk,0,0
scalar_mul_G1_bn254,bls12_381,plonk,0,0
scalar_mul_G1_bn254,bw6_761,plonk,0,0
Expand All @@ -135,11 +135,11 @@ scalar_mul_P256,bn254,plonk,263160,253523
scalar_mul_P256,bls12_377,plonk,0,0
scalar_mul_P256,bls12_381,plonk,0,0
scalar_mul_P256,bw6_761,plonk,0,0
scalar_mul_secp256k1,bn254,groth16,56093,89037
scalar_mul_secp256k1,bn254,groth16,62879,98270
scalar_mul_secp256k1,bls12_377,groth16,0,0
scalar_mul_secp256k1,bls12_381,groth16,0,0
scalar_mul_secp256k1,bw6_761,groth16,0,0
scalar_mul_secp256k1,bn254,plonk,202472,195259
scalar_mul_secp256k1,bn254,plonk,215780,207333
scalar_mul_secp256k1,bls12_377,plonk,0,0
scalar_mul_secp256k1,bls12_381,plonk,0,0
scalar_mul_secp256k1,bw6_761,plonk,0,0
Expand Down
Loading
Loading