I'm curious what the state of the art is in formally verified network interactions. I said RPC because I'm curious what a formally verified protobufs alternative would look like, but it doesn't have to strictly be RPC. I imagine the DeepSpec people care about this question, though I checked their webpage and couldn't find any leads.
Last updated: Oct 05 2023 at 02:01 UTC