1. 5
  1.  

  2. 1

    A formally verified crypto implementation seems like a good idea to me.