Badger looks nicely done! Did you end up needing to change much in implementing Badger from what was described in the WiscKey paper?