-
Notifications
You must be signed in to change notification settings - Fork 34
Pull requests: Verified-zkEVM/VCV-io
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
refactor(QueryTracking/Birthday): extract pair-count lemma to ToMathlib
#420
opened May 31, 2026 by
BoltonBailey
Contributor
Loading…
refactor(EvalDist): rebuild probability semantics on MonadLiftT
#419
opened May 30, 2026 by
dtumad
Collaborator
Loading…
feat: generalize monad in SigmaProtocol
#418
opened May 30, 2026 by
BoltonBailey
Contributor
•
Draft
feat(MacFromPRF): deterministic MAC from PRF is UF-CMA secure (Boneh-Shoup Thm 6.2)
#414
opened May 28, 2026 by
astefano
Loading…
feat(VCVio): framework lifts — probability/coupling + simulation helpers
#413
opened May 27, 2026 by
alik-eth
Contributor
Loading…
4 tasks done
refactor(MLDSA/Concrete/Rounding): rename private lemmas, simplify proofs via suffices
#409
opened May 26, 2026 by
ChihChengLiang
Contributor
Loading…
feat(LatticeCrypto): Ajtai Commitments (Simple, Hiding, and InnerOuter commitments)
#407
opened May 26, 2026 by
tobias-rothmann
Collaborator
•
Draft
ProTip!
Mix and match filters to narrow down what you’re looking for.