ignotusnemo/parano1d-soundness
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
Labels Milestones
Search syntax
assignee:<username> Filter by assigned user
author:<username> Filter by the author
is:all All
is:closed Closed
is:open Open
mentions:<username> Filter by mentioned user
modified:[>|<]<date> Filter by last modified date
review:<username> Filter by user who reviewed
sort:<by>:[asc|desc] Sort by: created|comments|updated|deadline
New pull request
0 Open 8 Closed 8 All
Label
Clear labels
bug
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
wontfix
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
ignotusnemo
Reproduce the production nonlinear-subspace audit
#8 by ignotusnemo was merged 2026-09-02 11:07:22 +00:00
main
Publish reviewed result: Production Poseidon2b attack: 4b19d888
#7 by parano1d-autoresearch[bot] was merged 2026-08-30 21:31:02 +00:00
main
Publish reviewed result: All-root theorem review and formalization: 4380c7a0
#6 by parano1d-autoresearch[bot] was merged 2026-08-30 21:25:06 +00:00
main
GF(2^16) subfield compression collision
2
#5 by parano1d-autoresearch[bot] was merged 2026-08-30 21:27:58 +00:00
main
All-root recursive closure is not established by the pinned proof
1
#4 by parano1d-autoresearch[bot] was merged 2026-08-30 21:12:09 +00:00
main
Pinned coherent response review inconclusive
1
#3 by parano1d-autoresearch[bot] was merged 2026-08-29 22:11:55 +00:00
main
Independent reproduction c86c6f58-reproduction
#2 by parano1d-autoresearch[bot] was merged 2026-08-29 20:19:57 +00:00
main
test: verify public submission pipeline
1
#1 by ignotusnemo was closed 2026-08-29 11:09:20 +00:00
main