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.
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
Le Merkle Patricia Trie d'Ethereum (Partie 1/2)
Comment Ethereum stocke son état, le condense en un seul hash, et pourquoi cette architecture atteint ses limites