Documentation technique en français, une note par mécanisme. Les textes sont des lectures statiques des sources du dépôt.

1. Périmètre de la recherche
2. Contexte L1 de Base
3. Identité de chaîne et séparation des réseaux
4. Lecture cohérente du bloc L1
5. Passkeys et anti-rejeu sur Base
6. Domaine d’une passkey
7. Compteur et unicité des défis
8. Garde anti-rejeu pour NFT
9. Clé de replay et séparation des actions
10. Échec et conservation de l’état anti-rejeu
11. Réconciliation d’un bridge Base
12. Idempotence d’un message de bridge
13. Finalité et fenêtre de réconciliation
14. Frontière HyperEVM et HyperCore
15. Lecture contextualisée d’un état HyperCore
16. Invariant de frontière inter-couches
17. CoreWriter et intention de transfert
18. Paramètres et encodage CoreWriter
19. Réponse et échec de CoreWriter
20. État croisé HyperEVM
21. Divergence et rattrapage inter-couches
22. Transfert entre DEX sur HyperEVM
23. Devis et slippage d’un transfert DEX
24. Reprise après échec d’un transfert DEX
25. Handle chiffré et référence FHE
26. ACL et droit de lecture FHE
27. Dérivation de handles FHE
28. Cycle de vie d’une ACL FHE
29. Ordre des transitions ACL
30. Échec du coprocessseur et ACL
31. Nonce et domaine Hyperliquid
32. Ordonnancement des demandes Hyperliquid
33. Rejeu et fenêtre de validité
34. Cycle de vie d’un ordre
35. Remplissage partiel et quantité restante
36. Annulation et course avec l’exécution
37. Retry borné pour une requête
38. Idempotence des retries Hyperliquid
39. Backoff et reprise progressive
40. Réconciliation de l’état Hyperliquid
41. Écart d’état et diagnostic
42. AIR : contraintes sur une trace STARK
43. Bords de trace et états initiaux
44. Degré des contraintes AIR
45. FRI et réduction de degré
46. Folding FRI
47. Requêtes FRI et chemins Merkle
48. Liaison des entrées publiques ZK
49. Ordre canonique des entrées publiques
50. Domaine de vérification ZK
51. Preuve ZK et rejeu NFT
52. Preuve de propriété NFT
53. Transfert et changement de contexte NFT
54. Entrées d’une expérience reproductible
55. Digest et provenance expérimentale
56. Workflow de recherche reproductible
57. Carte entre mécanisme et source
58. Modes d’échec documentés
59. Frontières de confiance
60. Règles de contribution de qualité
61. Architecture documentaire du dépôt
62. Périmètre et limites de cette série
63. Anti-rejeu des messages de bridge
64. Récupération contrôlée d’une passkey
65. Autorisation d’une action CoreWriter
66. Comptabilité d’un transfert DEX
67. Frontière KMS et données FHE
68. Cycle de vie d’un ciphertext
69. Classes d’erreurs d’un ordre
70. Curseur de réconciliation Hyperliquid
71. Composition de contraintes STARK
72. Transcript et défis FRI
73. Divulgation minimale pour un NFT