Loading Radar updates…
Bringing together the latest releases, repository discoveries, grants, and proposals.
Waiting for first updatesWaiting for first updatesBringing together the latest releases, repository discoveries, grants, and proposals.
Updated 2m agoReleases, repositories, grants, and proposals in one place. Every update links to its source.
Updates from 111 sources8 project profiles
oxarbitrageother
Lean 4 formalization of Zcash Orchard protocol — double-spend prevention, balance integrity, and DH key agreement proofs
Official repositories, community forums, grant programs, and ZIPs.
Key details must line up before an update appears.
Every update keeps a link to its original source.
oxarbitrageother
Lean 4 formalization of RedPallas signatures — correctness and re-randomization homomorphism proofs
oxarbitrageother
Lean 4 formalization of the Pasta curves (Pallas and Vesta) for Zcash's Halo 2 — primality proofs and IsElliptic instances
oxarbitrageother
Lean 4 formalization of Poseidon hash — machine-verified permutation bijectivity over the Pallas base field
oxarbitrageother
Formally verified comparison of exchange designs: who gets exploited and why
oxarbitrageother
Lean 4 formalization of Sinsemilla hash with machine-verified Pedersen equivalence and DLP security reduction
oxarbitrageother
Receovery tool to get sapling extended key from mnemonic