Recherche appliquée et documentation technique francophone sur les systèmes blockchain, avec une attention particulière portée aux hypothèses de sécurité et aux limites opérationnelles.
- ZK, STARK et zk-rollups — AIR, hachages algébriques, arbres authentifiés et preuves récursives.
- SNARK et zkEVM — Halo2, range checks, arithmétique non native, engagements et vérification EVM.
- FHE — BFV/BGV/CKKS, chiffrement embarqué, gestion des clés et frontières de confiance.
- Base L2 — OP Stack, comptes, paiements, précompiles, ponts et fault proofs.
- Hyperliquid / HyperEVM — données, métriques, intégrations EVM et qualité des sources.
- Miden Crypto — primitives STARK
- halo2-lib — circuits SNARK et EVM
- SEAL-Embedded — FHE sur appareils contraints
- Hyperliquid Stats Web — provenance et fraîcheur des métriques
- Base — bibliothèque documentaire
Chaque parcours part du code et de la documentation du dépôt source. Les chapitres distinguent les garanties réellement fournies, les hypothèses externes, les risques de mauvaise intégration et les vérifications à reproduire. Aucun résultat de compilation ou de test n’est revendiqué sans exécution observée.
Open source, cryptographie appliquée et pédagogie technique en français.
- Système de preuves Base — préimages, workers, backend ZK, TEE, soumission et contestation.
- Sécurité HyperEVM — fraîcheur des oracles, décimales, solvabilité, liquidations et invariants adverses.
- Traçabilité Hyperliquid — chaîne source-transformation-affichage, précision et états dégradés.
Le mini-prototype de classification des commits fournit un moteur transparent et des tests sans dépendance externe pour comparer les critères publics avec un compteur externe comme Guild. Il couvre Base, Hyperliquid, ZK et FHE.