# Saut quantique

> La prochaine étape d’Apogee. La trajectoire vers la v2.0.0 — un cœur de preuve sur réseaux euclidiens, un corps choisi pour leur correspondre, des signatures que les programmes invités peuvent vérifier, et un système de déploiement qui mène une application du dépôt à une chaîne en fonctionnement.

Breffage Programme : Apogee VM Cible : v2.0.0 Statut : développement actif Fenêtre de publication :

La version 1.0.0 tranche la question de savoir si l’architecture tient à pleine échelle : un bloc Ethereum entier, d’un programme invité en Rust jusqu’à un contrat qui répond `true`. La version 2.0.0 change ce sur quoi repose cette architecture et ceux qu’elle sert. Son cœur de preuve passe à des mathématiques qu’un ordinateur quantique ne casse pas, et sa surface pour les développeurs passe d’un dépôt à un système qui déploie des applications.

> [!IMPORTANT]
> Cette section décrit des travaux en cours. Rien ici ne modifie les garanties de la v1.0.0, énoncées intégralement dans [le modèle de sécurité](https://apogee.gweb3networks.com/docs/architecture/security).

## Les quatre initiatives

- [Engagements sur réseaux euclidiens](https://apogee.gweb3networks.com/docs/quantum-leap/post-quantum#lattice): Remplacer l’engagement à base de couplages par un engagement dont la propriété de liaison repose sur Module-SIS, la famille d’hypothèses qui sous-tend la norme de signature post-quantique du NIST.

- [Changement de corps](https://apogee.gweb3networks.com/docs/quantum-leap/post-quantum#refield): Faire passer l’arithmétisation du corps de 254 bits de BN254 à un petit corps adapté à l’engagement sur réseaux, où chaque couche de chaque circuit coûte moins cher.

- [Signatures pour les programmes invités](https://apogee.gweb3networks.com/docs/quantum-leap/signatures): La vérification de signatures adaptées au ZK et post-quantiques, offerte à tout programme invité en un seul appel.

- [Le Système de déploiement](https://apogee.gweb3networks.com/docs/quantum-leap/deployment-system): Un portail et une chaîne d’outils qui mènent une application du code source à un environnement natif blockchain en fonctionnement : ressources, ponts, télémétrie et une passerelle pour les agents d’IA.

## La trajectoire

| | v1.0.0, aujourd’hui | v2.0.0, la trajectoire |
| --- | --- | --- |
| Engagements | Mercury sur KZG : couplages, q-DLOG | Sur réseaux euclidiens, liants sous Module-SIS |
| Corps | Le corps des scalaires de BN254, 254 bits | Un petit corps premier avec des défis dans un corps d’extension, adapté à l’engagement |
| Face à un adversaire quantique | Chaque hypothèse est un logarithme discret | Un cœur de preuve reposant sur des problèmes de réseaux |
| Signatures dans les programmes invités | secp256k1 par l’arithmétique de corps et de courbe déléguée | Des schémas adaptés au ZK et post-quantiques, sous forme d’appels du programme invité |
| Pour les développeurs | Un dépôt, ses outils et ce manuel | Le Système de déploiement : portail, ponts canoniques, télémétrie, une passerelle d’IA |

## Ce qui est conservé

Le saut se fait dans les fondations, pas dans le modèle pour lequel un développeur écrit :

- **Le programme invité.** Rust, RISC-V, trois régions mémoire, une identité, un journal. Les programmes écrits pour la v1.0.0 conservent leur forme.
- **Le moteur GKR.** Les circuits en couches et le sumcheck sont définis sur n’importe quel corps. Le moteur qui ramène un circuit à un seul point est la partie d’Apogee qui passe le plus directement au nouveau corps.
- **Les arguments.** Un seul multiensemble mémoire sur toute l’exécution, ainsi que les canaux LogUp, sont conservés en tant que constructions; leurs tables et leurs arguments d’intervalle sont redérivés pour la taille du nouveau corps.
- **La discipline.** La spécification d’abord, chaque couche vérifiée par rapport à un oracle indépendant, chaque classe de contrefaçon couverte par un jumeau falsifié.

## Pourquoi maintenant

Une preuve de validité ne résiste au quantique qu’autant que le système qui la produit. Une preuve sur BN254 repose sur des couplages et des logarithmes discrets : un ordinateur quantique suffisamment grand pourrait donc en contrefaire une sans toucher à rien de ce que le programme invité a calculé. Les applications natives blockchain sont destinées à conserver de la valeur pendant des décennies. Le socle sur lequel elles effectuent leur règlement doit survivre aux machines qui casseront un jour les courbes d’aujourd’hui, et c’est avant que ces machines n’existent qu’il faut le déplacer.

Lire les initiatives : [Preuve post-quantique](https://apogee.gweb3networks.com/docs/quantum-leap/post-quantum) · [Signatures pour les programmes invités](https://apogee.gweb3networks.com/docs/quantum-leap/signatures) · [Le Système de déploiement](https://apogee.gweb3networks.com/docs/quantum-leap/deployment-system).