Skip to content

Pull requests: Verified-zkEVM/VCVio

New pull request New
35 Open 444 Closed
35 Open 444 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat(SLHDSA): complete FIPS external interfaces and prehash registry
#607 opened Sep 1, 2026 by quangvdao Collaborator Loading…
3
feat(SLHDSA): instantiate all FIPS SHA2 and SHAKE primitives
#606 opened Sep 1, 2026 by quangvdao Collaborator Loading…
3
feat(SLHDSA): add canonical structured FIPS wire codecs
#605 opened Aug 31, 2026 by quangvdao Collaborator Loading…
3
feat(SLH-DSA): formalize canonical full Algorithms 18–20
#604 opened Aug 31, 2026 by quangvdao Collaborator Loading…
3
feat(SLH-DSA): generalize hypertree traversal to arbitrary d
#603 opened Aug 31, 2026 by quangvdao Collaborator Loading…
2
feat(SLHDSA): make signature shapes intrinsic
#602 opened Aug 31, 2026 by quangvdao Collaborator Loading…
2
feat(SignatureAlg): add generic strong-unforgeability games
#601 opened Aug 31, 2026 by quangvdao Collaborator Loading…
2
feat(merkle): prove multi-extractability under one global query bound
#591 opened Aug 30, 2026 by quangvdao Collaborator • 11/11 • Draft
2
feat(merkle): close the terminal multi-extraction endgame
#590 opened Aug 30, 2026 by quangvdao Collaborator • 10/11 • Draft
2
feat(merkle): compose online checkpoint extraction bounds
#589 opened Aug 30, 2026 by quangvdao Collaborator • 9/11 • Draft
2
feat(merkle): define the addressed multi-extractability game
#588 opened Aug 30, 2026 by quangvdao Collaborator • 8/11 • Draft
2
feat(merkle): model stateful extraction checkpoints
#587 opened Aug 30, 2026 by quangvdao Collaborator • 7/11 • Draft
2
feat(merkle): define batch extraction semantics and query costs
#586 opened Aug 30, 2026 by quangvdao Collaborator • 6/11 • Draft
2
feat(SLHDSA): formalize quantitative d1 EUF-CMA security surface
#585 opened Aug 30, 2026 by quangvdao Collaborator • Draft
2
docs: refresh interaction and probability guidance
#584 opened Aug 30, 2026 by quangvdao Collaborator Loading…
2
Make Merkle extractability query-parametric
#579 opened Aug 29, 2026 by quangvdao Collaborator • 5/11 • Draft
2
Share Merkle extractor target accounting
#578 opened Aug 29, 2026 by quangvdao Collaborator • 4/11 • Draft
2
Factor adaptive-prefix shared-ROM bounds
#577 opened Aug 29, 2026 by quangvdao Collaborator • 3/11 • Draft
2
feat(complexity): add optional cslib P/poly facade
#576 opened Aug 29, 2026 by quangvdao Collaborator Loading…
2
Add address-aware Merkle transcript extraction
#575 opened Aug 29, 2026 by quangvdao Collaborator • 2/11 • Draft
2
Prove queried-domain uniqueness for addressed Merkle openings
#574 opened Aug 29, 2026 by quangvdao Collaborator • 1/11 Loading…
2
feat(uc): add reassociation-stable proportional scheduler
#572 opened Aug 29, 2026 by quangvdao Collaborator Loading…
2
feat: coordinate-wise special soundness implies knowledge soundness (ePrint 2023/846 §7)
#515 opened Aug 17, 2026 by dtumad Collaborator • Draft
3
feat(Falcon): decode FPR to ℝ, and prove all six of its error bounds
#514 opened Aug 12, 2026 by alik-eth Contributor Loading…
15
feat(MLDSA): compose the short-model EUF-NMA/CMA headline
#508 opened Jul 28, 2026 by alik-eth Contributor Loading…
5
ProTip! no:milestone will show everything without a milestone.