- Index des parcours — navigation par thème et mécanisme.
- Matrice d’architecture Base — composants, flux et responsabilités.
- Guide d’évaluation des preuves — critères de solidité et limites.
- Modèle de menaces opérationnel — actifs, surfaces d’attaque et contrôles.
- Guide de reproductibilité — provenance, hypothèses et reprise des analyses.
- Glossaire blockchain français — vocabulaire partagé.
- Références et lectures — sources organisées pour approfondir.
Travaux récents : AirScript / STARK, engagements polynomiaux / SNARK, Microsoft SEAL / FHE, architecture Base et données Hyperliquid.
Chaque parcours est fondé sur une lecture des sources, documente les hypothèses et limites de sécurité, et renvoie vers les mécanismes vérifiables du dépôt.
J’explore la blockchain, les systèmes de preuve, l’IA et l’automatisation. Je construis une bibliothèque technique francophone : des parcours courts dans les dépôts, reliés aux fichiers source et centrés sur les décisions de conception.
- ZK Research — point d’entrée, comparaison des mécanismes et journal de contribution.
- Winterfell / STARK — trace Fibonacci, contraintes AIR, engagements, FRI et limites du vérificateur.
- snarkjs / SNARK — circuit, témoin, paramètres, Groth16, PLONK, FFLONK et export EVM.
- hyper-evm-lib — dix chapitres sur CoreWriter, précompiles, identité, visibilité inter-blocs, précision et ponts bidirectionnels.
- historical_data — huit chapitres sur provenance, unités, déduplication, couverture et biais temporel.
- Valeur pratique — distinction explicite entre action EVM émise, traitement HyperCore, état observé et finalité.
| Pour commencer | Ce que le parcours explique |
|---|---|
| base | Pipeline de preuve : préimages, workers, ZK, TEE et challenge |
| base-std | Précompiles B20, factory, rôles et registres de politiques |
| account-sdk | Provider Base Account, communication, sous-comptes et paiements |
| commerce-payments | Autorisation, capture, remboursements et collecte par signature |
| withdrawer | Preuve et finalisation des retraits L2 vers Ethereum |
- Pipeline Base : domaine public ZK, reprise idempotente des workers et modèle de confiance TEE.
- HyperEVM : arrondis bornés, instantanés de début de bloc et actifs toujours récupérables.
- Données Hyperliquid : manifeste de provenance, décimaux exacts et jointures sans biais d’anticipation.
Lire les sources, expliquer un mécanisme à la fois, citer les fichiers et rendre les limites explicites. Les parcours de mes forks sont distincts des correctifs proposés aux projets originaux. Je privilégie les contributions précises, faciles à relire et à vérifier. Ces analyses reposent sur une lecture statique : aucun audit, benchmark ou résultat de test n’est revendiqué.
DeFi et protocoles · Cairo · IA et automatisation