Higashi.blog Random notes on cryptography and engineering