Cryptographie à malléabilité contrôlée – CTRL-M

La cryptographie non malléable étudie les schémas cryptographiques dotés de propriétés de sécurité renforcées. Bien que ce concept soit puissant, la non malléabilité entrave d'autres fonctionnalités telles que les opérations homomorphes, permettant l'agrégation, le batching et les techniques de ré-randomisation. Ces fonctionnalités sont des outils essentiels dans la conception de schémas efficaces. Le projet vise à concilier la non malléabilité avec les propriétés homomorphes pour : les preuves à divulgation nulle (ZKP), en mettant l'accent sur les schémas succincts, notamment les zkSNARKs ; la cryptographie à clé publique (PKE), en faisant progresser l'état de l'art pour la PKE ré-randomisable et le chiffrement homomorphe (à malléabilité contrôlée) ; et les schémas de partage de secret non malléables (Secret Sharing) avec application à la cryptographie résistante à la manipulation.