Skip to Radar updates

Live board Radar Winners

Waiting for first updates

ZCASH RADAR

Loading Radar updates…

Bringing together the latest releases, projects, grants, and proposals.

shielded.bid

Zcash projects, releases, grants, and proposals in one place.

Radar and paid ranking stay separate.

How it works Rules About Radar Radar RSS Support Refunds Privacy Terms

Designed and built by SombraPart of Anino Group

oxarbitrage/sinsemilla-formal · Zcash Radar · shielded.bid

Skip to Radar updates

Live board Radar Winners

Updated 2h ago

PROJECT

oxarbitrage/sinsemilla-formal

Lean 4 formalization of Sinsemilla hash with machine-verified Pedersen equivalence and DLP security reduction

Sinsemilla FormalMay 4From GitHub project search

Visit the project

shielded.bid

Zcash projects, releases, grants, and proposals in one place.

Radar and paid ranking stay separate.

How it works Rules About Radar Radar RSS Support Refunds Privacy Terms

Designed and built by SombraPart of Anino Group