J’analyse le code de protocoles open source pour rendre leurs architectures, invariants et limites accessibles aux développeurs et lecteurs francophones. Mon travail se concentre sur les preuves à divulgation nulle, la confidentialité programmable et les infrastructures EVM.
- ZK-rollups, zkVM, STARK et SNARK
- FHE et applications EVM confidentielles
- Base L2 et composants de l’OP Stack
- Hyperliquid, HyperEVM et intégrations de marché
- Interopérabilité, DeFi et sécurité Solidity
- Miden VM — exécution, traces, contraintes AIR, preuve STARK, vérification et précompiles.
- Halo 2 — circuits, contraintes, lookups, engagements et transcript pour les SNARK.
- CoFHE SDK — cycle des données chiffrées, permissions, React et mocks FHE.
- Hyperliquid SDK — transports, signatures, idempotence, WebSocket et points d’intégration HyperEVM.
- Scroll zkVM Prover — chunks, batches, bundles, récursion STARK et vérification SNARK sur EVM.
La collection Base couvre le nœud et ses composants, les précompiles Base, le bridge, le validateur Nitro, Base Anvil, les benchmarks, la documentation et les démos.
Chaque parcours part du code source. Les chapitres courts de docs/fr/ relient un mécanisme à ses composants, explicitent les hypothèses de sécurité et distinguent systématiquement lecture documentaire, tests et audit.
Ouvert aux contributions documentaires, analyses reproductibles et améliorations ciblées sur les écosystèmes ZK, FHE, Base, Hyperliquid et EVM.