Pinned Loading

1. ZcashFoundation/zebra ZcashFoundation/zebra Public

   Zcash - Financial Privacy in Rust 🦓

   Rust 572 235

2. zcash/zcash zcash/zcash Public

   Zcash - Internet Money

   C++ 5.5k 2.2k

3. zcash-p2p-spec zcash-p2p-spec Public

   Modelling the Zcash P2P network

   TLA 1

4. crosslink2 crosslink2 Public

   A Crosslink2 TLA+ specification

   TLA 1

5. zcash-memo-protocol zcash-memo-protocol Public

   A specification for ZIP-231

   TLA

6. formal-market-mechanisms formal-market-mechanisms Public

   Formally verified comparison of exchange designs: who gets exploited and why

   TLA 2