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

Orchard Formal · Zcash Radar · shielded.bid

Skip to Radar updates

Live board Radar Winners

Updated 1h ago

FOUND ON GITHUB

Orchard Formal

Orchard Formal was found through public GitHub sources and is tracked from its original links.

First seen 2h agoLatest activity Jun 20

Visit Orchard Formal

Recent activity

Jun 20
oxarbitrage/orchard-formal
Lean 4 formalization of Zcash Orchard protocol — double-spend prevention, balance integrity, and DH key agreement proofs
GitHub project search

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