-
Notifications
You must be signed in to change notification settings - Fork 48
Pull requests: Verified-zkEVM/VCVio
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(Falcon): decode FPR to ℝ, and prove all six of its error bounds
#514
opened Aug 12, 2026 by
alik-eth
Contributor
Loading…
feat(scripts): kernel-level axiom sweep with committed regression baseline
#513
opened Aug 10, 2026 by
alexanderlhicks
Collaborator
Loading…
feat(MLDSA): compose the short-model EUF-NMA/CMA headline
#508
opened Jul 28, 2026 by
alik-eth
Contributor
Loading…
feat(FiatShamir): Fiat-Shamir-with-aborts CMA-to-NMA reduction engine
#507
opened Jul 28, 2026 by
alik-eth
Contributor
Loading…
feat(MLDSA): tailored SelfTargetMSIS problem and the NMA extraction bound
#506
opened Jul 28, 2026 by
alik-eth
Contributor
Loading…
prove(polytime): close nontriviality certificate
#487
opened Jul 14, 2026 by
eliasjudin
Contributor
•
Draft
feat(GPV): generic GPV hash-and-sign framework with EUF-CMA collision bounds
#478
opened Jul 12, 2026 by
alik-eth
Contributor
Loading…
Falcon faithfulness & soundness remediation — concrete keygen, verify_sign_correct, verify bridge
#471
opened Jul 8, 2026 by
alexanderlhicks
Collaborator
Loading…
feat(MLDSA): EUF-CMA via CMA→NMA over the short-secret MLWE model (#228)
#467
opened Jul 2, 2026 by
alik-eth
Contributor
Loading…
feat(Falcon): idealized-model EUF-CMA via GPV, down to NTRU-SIS (#188)
#466
opened Jul 2, 2026 by
alik-eth
Contributor
Loading…
feat: generalize monad in SigmaProtocol
#418
opened May 30, 2026 by
BoltonBailey
Contributor
•
Draft
ProTip!
Filter pull requests by the default branch with base:main.