I would be interested in what other language they are writing it in.
A formally verified version in Agda/Coq would be very interesting. I think there’s a lot that the crypto and type theory communities can learn from each other (and there’s probably a huge business opportunity here, as well!).
I would be interested in what other language they are writing it in.
A formally verified version in Agda/Coq would be very interesting. I think there’s a lot that the crypto and type theory communities can learn from each other (and there’s probably a huge business opportunity here, as well!).
java.