computer-science
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
Quand Parquet supplante CSV
La réalité physique qui rend la disposition des fichiers déterminante
Les limites du calcul (Partie 3/3)
Ce que les machines de Turing ne peuvent pas faire, et pourquoi c'est important
Ce que signifie être Turing-complet (Partie 2/3)
Pourquoi les cerveaux et l'IA sont des « machines de Turing approximatives »
Qu'est-ce qu'une machine de Turing ? (Partie 1/3)
L'abstraction élégante qui définit ce que signifie calculer