issues
search
succinctlabs
/
gnark-plonky2-verifier
MIT License
85
stars
25
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Test gl hash only
#55
liuxiaobleach
closed
1 month ago
0
Test gl poseidon
#54
liuxiaobleach
closed
1 month ago
0
fix broken circuit serialization
#53
GopherJ
opened
3 months ago
1
feat: separate common circuit data deserialization
#52
holykol
opened
5 months ago
0
`ExportSolidity` of Groth16 verifier fails
#51
qope
opened
6 months ago
2
feat: add veridise audit
#50
mattstam
closed
7 months ago
0
chore: use gnark v0.9.1
#49
mattstam
closed
7 months ago
0
feat: Add trusted setup via AZTEC Ignition Ceremony data
#48
Dimo99
closed
7 months ago
0
fix: Support range checking non aligned bitwidth values
#47
kevjue
closed
8 months ago
0
Specify serialization workflow of `plonky2` proofs
#46
mertwole
closed
4 months ago
4
perf: assertLeadingZeros constraint optimizations
#45
kevjue
closed
8 months ago
0
feat: added support to optionally use bit decompose range checker
#44
kevjue
closed
8 months ago
0
fix: typo in fri.go
#43
AdventureSeeker987
closed
9 months ago
0
fix: Veridise audit fixes
#42
kevjue
closed
8 months ago
0
fix: add missing constraints to goldilocks `Reduce*`
#41
shuklaayush
closed
9 months ago
3
Missing constraints in goldilocks `Reduce*`
#40
shuklaayush
closed
8 months ago
1
feat: Plonk optimizations
#39
puma314
closed
11 months ago
0
Initial optimizations
#38
puma314
closed
11 months ago
0
Significant refactor and all tests passing, as well as optimized range check for Goldlocks
#37
puma314
closed
11 months ago
0
Revert "Range check optimizations"
#36
puma314
closed
11 months ago
0
Range check optimizations
#35
puma314
closed
11 months ago
0
Update gnark version and some variable names
#34
puma314
closed
11 months ago
0
optimize RangeCheck
#33
ako-sh
closed
11 months ago
0
update dependencies
#32
ako-sh
closed
11 months ago
0
feat: Reduce # of plonk constraints in the goldilocks range checker
#31
kevjue
closed
11 months ago
1
Added dummy setup flag (does not work)
#30
puma314
closed
11 months ago
0
range check inputted plonky2 proof
#29
kevjue
closed
1 year ago
0
proof with smaller public input
#28
kevjue
closed
1 year ago
0
serialize proof and witness
#27
kevjue
closed
1 year ago
0
Use optimized goldilocks in codebase
#26
jtguibas
closed
1 year ago
0
fix: remove local replaement with gnark dependencies based on develop branch
#25
jtguibas
closed
1 year ago
0
Output the generated proof in benchmark
#24
kevjue
closed
1 year ago
0
Step test case with public inputs
#23
kevjue
closed
1 year ago
0
optimized goldilocks
#22
kevjue
closed
1 year ago
0
Quadratic Extension cleanup
#21
kevjue
closed
1 year ago
0
Poseidon BN128
#20
kevjue
closed
1 year ago
0
Better goldilocks circuits
#19
kevjue
closed
1 year ago
0
Upgrade to gnark 0.8
#18
kevjue
closed
1 year ago
0
Rearranged files
#17
kevjue
closed
1 year ago
0
Refactor gate deserialization
#16
kevjue
closed
1 year ago
0
Coset Interpolation Gate
#15
kevjue
closed
1 year ago
0
Exponentiation Gate
#14
kevjue
closed
1 year ago
0
Reducing Gate
#13
kevjue
closed
1 year ago
0
Reducing Extension Gate
#12
kevjue
closed
1 year ago
0
Multiplication Extension Gate
#11
kevjue
closed
1 year ago
0
Arithmetic Extension Gate
#10
kevjue
closed
1 year ago
0
Consolidate gate test cases
#9
kevjue
closed
1 year ago
0
Random Access Gate
#8
kevjue
closed
1 year ago
0
Base sum gate
#7
kevjue
closed
1 year ago
0
Create proof circuit shape using common data file
#6
kevjue
closed
11 months ago
0
Next