Une plongée en profondeur dans les circuits Halo2 d'Axiom
Au cours de deux audits menés en 2023, nous avons examiné un système blockchain développé par Axiom qui permet de réaliser des calculs sur l'intégralité de l'historique d'Ethereum, le tout vérifié par des preuves zéro-connaissance (ZKP) on-chain, utilisant des opérations récursives ZK-vérifiées de courbe elliptique et SNARK. Ce système est construit à l'aide du framework Halo2, une technologie complexe et émergente qui présente de nombreux défis lors de la construction d'une application sécurisée, notamment des problèmes potentiels de sous-contraintes résultant de son API de bas niveau.
