issues
search
zksecurity
/
zkbugs
Reproduce ZKP vulnerabilities
MIT License
42
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Picus integration upgraded
#55
ret2basic
closed
2 weeks ago
0
Picus integration upgrade
#54
ret2basic
closed
2 weeks ago
0
Circomspect integration upgraded
#53
ret2basic
closed
2 weeks ago
0
Update into configs and update md files
#52
StefanosChaliasos
closed
3 weeks ago
0
Circom pairing bug original code
#51
ret2basic
opened
3 weeks ago
0
Maci data not fully verified not reproducible
#50
ret2basic
closed
3 weeks ago
0
Spartan ecdsa high 3 not reproducible
#49
ret2basic
closed
3 weeks ago
0
Succinct tob 1 not reproducible
#48
ret2basic
closed
3 weeks ago
0
Succinct tob bug 3 reproduced
#47
ret2basic
closed
3 weeks ago
0
Succinct tob 2 reproduced
#46
ret2basic
closed
3 weeks ago
0
Circomlib bigint windowmulfix reproduced
#45
ret2basic
closed
3 weeks ago
0
Circomlib bigint window4 reproduced
#44
ret2basic
closed
3 weeks ago
0
Veridise circomlib bigmod bug reproduced
#43
ret2basic
closed
3 weeks ago
0
Semaphore veridise bug 1 reproduced
#42
ret2basic
closed
3 weeks ago
0
Succinct veridise bug 3 reproduced
#41
ret2basic
closed
3 weeks ago
0
Succinct veridise bug 2 reproduced
#40
ret2basic
closed
3 weeks ago
0
Succinct veridise bug 1 reproduced
#39
ret2basic
closed
3 weeks ago
0
yAcademy RLN critical bug reproduced
#38
ret2basic
closed
3 weeks ago
1
Input signal s is not constrained in eff_ecdsa.circom：When s=0 and T is different, the output varies
#37
Subway2023
opened
1 month ago
2
Picus integration done
#36
ret2basic
closed
2 weeks ago
0
circomspect analysis done
#35
ret2basic
closed
2 weeks ago
0
Added a JSON file to track all similar bugs and a script that updates config and markdown automatically
#34
ret2basic
closed
1 month ago
3
Implemented a crawler to build BUGS.md
#33
ret2basic
closed
1 month ago
3
Implemented main runner in Python3
#32
ret2basic
closed
1 month ago
2
Adding a template directory and a bash script for creating new bug
#31
ret2basic
closed
1 month ago
2
zkopru bug 1 refactored using circomlib
#30
ret2basic
closed
3 weeks ago
0
Add titles to bugs + helper script to automatically generate all README files
#29
StefanosChaliasos
closed
3 weeks ago
1
circomlib bigint window4
#28
ret2basic
closed
3 weeks ago
0
circom-pairing Missing Output Check Constraint reproduced
#27
ret2basic
closed
1 month ago
0
"Underconstrained outputs in BitElementMulAny" complete
#26
ret2basic
closed
1 month ago
0
[circomlib-bigint] "Underconstrained outputs in BitElementMulAny" reproduced
#25
ret2basic
closed
1 month ago
0
Maci bug 1 reproduced
#24
ret2basic
closed
1 month ago
0
zkopru 'Previously Correct Ownership Proof Disabled via Code Changes' reproduced
#23
ret2basic
closed
1 month ago
1
"Underconstrained outputs in BitElementMulAny" complete
#22
ret2basic
closed
1 month ago
0
Add root causes to bugs
#21
StefanosChaliasos
closed
3 weeks ago
1
Add tag to annotate almost identical bugs
#20
StefanosChaliasos
closed
3 weeks ago
1
"Underconstrained outputs in BitElementMulAny" complete
#19
ret2basic
closed
2 months ago
1
"Underconstrained points in MontgomeryDouble" complete
#18
ret2basic
closed
2 months ago
1
"Circom-Pairing: Missing Output Check Constraint" reproduced
#17
ret2basic
closed
1 month ago
3
"MiMC Hash: Assigned but not Constrained" complete
#16
ret2basic
closed
2 months ago
0
"Dark Forest v0.3: Missing Bit Length Check" complete
#15
ret2basic
closed
2 months ago
0
"Input signal s is not constrained in eff_ecdsa.circom" complete
#14
ret2basic
closed
2 months ago
0
Missing Range Checks on Comparison Circuits complete
#13
ret2basic
closed
2 months ago
0
"V-UNI-VUL-001: Underconstrained Circuit allows Invalid Comparison" complete
#12
ret2basic
closed
2 months ago
1
Underconstrained points in MontgomeryAdd complete
#11
ret2basic
closed
2 months ago
1
Underconstrained points in Montgomery2Edwards complete
#10
ret2basic
closed
2 months ago
2
Underconstrained points in Montgomery2Edwards complete
#9
ret2basic
closed
3 months ago
0
Underconstrained points in Edwards2Montgomery complete
#8
ret2basic
closed
2 months ago
1
Automate the exploit generation process
#7
StefanosChaliasos
opened
3 months ago
2
" V-CIRCOMLIB-VUL-001: Decoder accepting bogus output signal" reproduced
#6
ret2basic
closed
3 months ago
0
Next