Digital A7 étudie les protocoles open source en partant du code : architectures de preuve, invariants, frontières de confiance et intégrations EVM. Les parcours techniques sont publiés en français et distinguent explicitement analyse documentaire, tests et audit.
- ZK-rollups, zkVM, STARK, SNARK et langages de circuits
- FHE et calcul confidentiel
- Base L2, comptes intelligents, paiements et agents
- Hyperliquid, HyperEVM et systèmes de données
- Smart contracts, interopérabilité et protocoles DeFi
- StarkWare Proving — pipeline Cairo, AIR, Circle STARK, FRI, sérialisation et récursion.
- Plonky3 — AIR, traces, engagements, FRI et Fiat–Shamir.
- Bellman — circuits R1CS, paramètres Groth16, témoins et vérification.
- Noir — HIR/SSA, ACIR, ACVM, Brillig et backends de preuve.
- Arkworks R1CS Tutorial — signatures, arbres de Merkle et transition d’état d’un mini-rollup.
- HElib — BGV, CKKS, packing SIMD, bruit et bootstrapping.
- Base Skills — réseau, comptes, paiements, paymasters, ERC-8021 et agents.
- Hyperliquid Stats — ingestion, idempotence, métriques, fraîcheur et frontière HyperCore/HyperEVM.
L2 Basic, OpenZeppelin Contracts, Study Bridge, x402 et Uniswap v4 by Example.
Chaque parcours relie un mécanisme aux composants du dépôt dans docs/fr/, avec un commit par chapitre. Digital A7 est ouvert aux analyses reproductibles, à la documentation de sécurité et aux améliorations ciblées dans les écosystèmes ZK, FHE, Base et HyperEVM.
Un parcours documentaire de 48 chapitres est disponible dans docs/fr/, avec un commit distinct par chapitre, un sommaire et des liens de lecture sur les preuves ZK, la FHE, Base, HyperEVM, la DeFi et la sécurité des smart contracts.