I left this comment on the blog but I'll repeat it here as well. Really interesting! Thanks for the writeup. I'd be particularly keen to see the example applic

I left this comment on the blog but I'll repeat it here as well. Really interesting! Thanks for the writeup. I'd be particularly keen to see the example applications broken up into the two halves you'd expect in an actual client/server application. The adder example, while illustrative, receives cleartext inputs and returns cleartext outputs. In a real application the adding code would presumably sit on a server and there would be client code which just encrypts user inputs and decrypts backend outputs. It would be very interesting to see how one might set this all up with a keypair. Could the same adding code be used for multiple different users and keys, for example?