hannes @hannesm@mastodon.social

I wrote on elliptic curves, and how to sustainable integrate the verified fiat software into #OCaml and #MirageOS https://hannes.robur.coop/Posts/EC -- feedback welcome. Can't wait to finally write a suckless CA software as a unikernel :D

I found a test suite (wycheproof) for ECDSA which provides structured data (json), and integrated that into my current EC work <3 https://github.com/mirage/mirage-crypto/pull/101 #OCaml #MirageOS -- unfortunately it is verify only -- is anyone aware of a ECDSA sign test suite of similar shape (structured data, lots of corner cases, eventually measuring constant time behaviour)? #crypto #ecc #ecdsa

the birds from riseup.net are running a great infrastructure since years, I just donated to them. see https://riseup.net/about-us/propaganda/your-right-to-whisper and donate https://riseup.net/donate :D

friday evening 22:00, and I finally have NIST P-256 ECDSA sign and verify up and running with test vectors in #OCaml using no gmp (or other bignum libraries), but only proven (with Coq) code that does computations over p and n in constant time (using https://github.com/mit-plv/fiat-crypto/) \o/

I blogged about #MirageOS and #unikernels in 2021 (and a recap of 2020). https://hannes.robur.coop/Posts/NGI :D #OCaml

then I gave up, booted QubesOS and used WoeUSB (https://github.com/slacka/WoeUSB) -- highly recommended, works out of the box

preparing a windows 10 boot stick on FreeBSD:
- learn that `dd if=iso of=/dev/da0` does not work
- learn that newfs_msdos can create a FAT32, but windows 10 installation has files > 4GB
- learn that mount_udf does not work with windows 10 iso -> but 7z e iso does
- sysutils/exfat-utils and fusefs-exfat are my friends now (I learned about exfat only today)

*fingers crossed*

@raichoo huch, das smart deli ist mittlerweile nicht mehr nur-vegan, sondern hat auch fisch und fleisch. ich bin ein bisschen verwundert, aber freue mich, da eben gegessen zu haben, tofu teriyaki, sooo lecker

friday... training for sth completely different

now with a blogpost and a repository https://hannes.nqsb.io/Posts/Traceroute

ok, that was fun... developing a traceroute as MirageOS unikernel, and preserving the ttl and timestamp of sent packet inside the UDP header (well, 2 * 16 bit ports is enough for everyone, no) -- https://gist.github.com/hannesm/10ae02dbfd42568b24518fddcb39060f #MirageOS #traceroute

next: figure control flow to properly terminate :)

DNS, a protocol that keeps on giving... any hints when "dig -k <my-key>" completes a zone transfer over multiple messages, and reports "WARNING -- Some TSIG could not be validated"? there are TSIG on each DNS message (and according to other software they validate) using the very same key provided to dig (if there's only a single message for the AXFR, dig validates and does not print the WARNING) -- help

woop, from the #MirageOS land:
- qubes-mirage-firewall supporting dynamic rules was released yesterday https://groups.google.com/forum/#!topic/qubes-users/Xzplmkjwa5Y
- TLS 1.3 is released, and live at https://mirage.io/blog/tls-1-3-mirageos
- no clue what will be announced tomorrow ;)

for those in #berlin, get your ass out on the street today to fight against nazis https://akkberlin.blackblogs.org/2020/05/15/folienkartoffeln-und-nazis-zu-brei-stampfen-aktionskarte-16-05-2020/

on linux you also don't get bswap32/bswap64 from endian.h (and need some defines to get BYTE_ORDER), but there's then a byteswap.h where you can get bswap_32 from. I find the lack of standardisation disturbing in this area; and am happy that on the C compiler front its gcc and clang who need to agree on something to have it widely usable ;)

I usually avoid writing C code, but if I do it should be cross-platform (Linux, BSD, macOS). Today's riddle was "byte swap" and "hto{le,be}{32,64}" functions, i.e. what normally is in endian.h (Linux) sys/endian.h (BSD) libkern/OSByteOrder.h (macOS).

After hours, I discovered __BYTE_ORDER__ and __builtin_bswapYY provided by the C compiler. They work great, no lengthly #ifdef chains anymore.

Anything that speaks against them? Anyone uses a C compiler without them ("cc -dM -E - < /dev/null")?

TIL -sigopt rsa_pss_saltlen:digest