DISCOVERY Repository discovered
zcash/ironwood
Formal Verification of the Zcash Protocol and Documentation for the Ironwood Pool # Formalizing Ironwood $\textsf{Ironwood}$ is a project to deploy a new shielded pool, built to restore confidence for all Zcash'rs in the supply integrity of Zcash. A formal verification is in prog
Radar summary of the original source
IronwoodFrom zcash/ironwood
A discovered repository—not a verified live service.
Radar found this repository through its Zcash discovery query. That is not an endorsement and does not prove that a public product or service is live.
- Status
- Repository discovered
- Source
- zcash/ironwood
- Source activity
- Confidence
- Discovery still being checked
PART OF
Ironwood
Ironwood was found through public GitHub sources and is tracked from its original links.
Radar summary of the original source
OtherDiscovery still being checked
Explore the full profile SAME TRACKED PROJECT
0 more recordsRelated activity
No additional source-linked activity is connected to this profile yet.