Bienvenue
J'écris sur les maths, l'IA, la crypto, l'informatique et tout ce qui pique ma curiosité. Bref mais rigoureux. Doctorat non requis.
Waza : un coach IA pour vos mains
Construire un coach IA qui voit ce que vous voyez et vous guide à la voix dans des skills concrets
Rien que la dictée
Comment une app Mac indé à 25 $ a remplacé mon clavier. Sans abonnement, sans OS vocal.
Zero-Knowledge : construire une preuve SNARK (Partie 2/3)
Une cérémonie de confiance, huit engagements sur la courbe et cinq vérifications par couplage : comment transformer une identité polynomiale en SNARK à connaissance nulle fonctionnel.
Zero-Knowledge : transformer un calcul en polynômes (Partie 1/3)
D'un programme à quelques équations polynomiales : comment les SNARKs encodent un calcul par aplatissement, R1CS et la transformation QAP
Verkle Trees : Engagements Polynomiaux (Partie 2/2)
Comment un seul point de courbe peut engager 256 enfants, et pourquoi les preuves passent de kilo-octets à octets