This repository contains PlusCal specifications for gRPC-related work in Zebra.
This specification was written for the gRPC work carried out after the implementation had already been completed in Rust in the Zebra repository. It was created for educational purposes.
This specification outlines a potential design to facilitate the interaction between the memory wallet code from zcash_client_backend and zebrad, as opposed to zcashd allowing external clients to potentially build a wallet software.