Seb Mondet a partagé
Seb Mondet a partagé
Seb Mondet a partagé

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

Seb Mondet a partagé
Seb Mondet a partagé
Seb Mondet a partagé
Seb Mondet a partagé
Seb Mondet a partagé

Blog post: “TZComet's New Token Viewer”

TZComet and CleanNFTs Metadata: a generic token-viewer ☄
Also new domain tzcomet.io 🌠

seb.mondet.org/b/0012-tzcomet-

Number 12 of

Seb Mondet a partagé
Seb Mondet a partagé
Seb Mondet a partagé
Seb Mondet a partagé
Seb Mondet a partagé

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 github.com/mit-plv/fiat-crypto) \o/

Seb Mondet a partagé
Seb Mondet a partagé
Seb Mondet a partagé
Seb Mondet a partagé
Seb Mondet a partagé
Seb Mondet a partagé
Déplier
Framapiaf

Le réseau social de l'avenir : Pas d'annonces, pas de surveillance institutionnelle, conception éthique et décentralisation ! Possédez vos données avec Mastodon !