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: Jan 31 2023 at 14:03 UTC