Descriptif du poste: La technologie ZKP (Zero Knowlegde Proof), l'environnement Ethereum(la principale blockchain d'application) et l'informatique bas niveau vous intéressent ? Que diriez-vous de participer (et de remporter !) à la compétition industrielle mondiale dans ce domaine ? Pourquoi ne pas faire partie de l'équipe qui sera capable de générer, en moins de 12 secondes, une preuve d'exécution du bloc antérieur (sachant qu'aujourd'hui les meilleurs sont autour d'une dizaine de minutes) ? (Et 12 secondes correspondant au besoin métier d'Ethereum). Bref, révolutionner la façon dont les systèmes d'information fonctionnent !   Apparemment, cette prouesse technique devrait pouvoir se faire cette année, en 2025. (Car progrès en GPU, en cryptographie, dans les librairies software.encore réalisables).   Mon client est en lice. Et vous ? Si cela vous tente, sachez qu'il recherche, pour aller vite dans cette course à la première mondiale de la vérification du protocole Ethereum en temps réel, un Ingénieur ZK EVM (rust, python, cairo).   Le poste est à pourvoir dans une start-up d'une dizaine de personnes, spécialisée, vous l'aurez compris, sur la technologie ZKP (Zero, Knowledge Proof) qui permet de faire de la preuve d'exécution de programme. Elle propose une solution permettant d'intégrer cette technologie ZKP dans un client Ethereum. Les calculs qui doivent être refaits dans un réseau Peer-to-Peer, propre au réseau Blockchain, pourront ainsi être évités via cette technologie. Les résultats peuvent alors être consommés directement : gain de temps exponentiel !   QUE FEREZ-VOUS ? -Vous contribuerez au développement du moteur EVM de base et des contraintes en Cairo. -Vous effectuerez une analyse de profilage approfondie pour optimiser les goulots d'étranglement observés. -Vous proposerez des idées innovantes pour générer CASM ou un système de contraintes connexes à partir de bases de code existantes (Python ou Rust).   AVEC QUI ? COMMENT ? OÙ ?   Cette start-up compte aujourd'hui une dizaine de collaborateurs dont 7 pour l'équipe technique. Ils travaillent en Scrum. Le poste est à pourvoir en CDI, à Paris 9 et en direct chez le client final.   Fourchette salariale :   40 / 90k€ L'environnement blockchain / crypto ayant un état d'esprit d'open source, il y a cette culture de récompenser les contributeurs : des BSPCE sont donc distribués   Stack technique : Python, Rust, Cairo Profil recherché: N'HESITEZ PAS, POSTULEZ SI :   -Vous à l'aise avec les langages de très bas niveau et la programmation fonctionnelle. Expérience avec Python, Rust, et Cairo (le zkDSL développé par Starkware). -Vous êtes efficace / êtes capable de produire des résultats significatifs avec un minimum d'efforts gaspillés. -Vous êtes capable à concevoir des systèmes simples dans un environnement complexe de dépendances multiples. -Et si vous êtes ambitieux car l'impact du ZKP par rapport au volume de compétence est immense. : beaucoup d'opportunités !   A NOTER !  Il s'agit d'un secteur avec beaucoup d'open source : donc il y a beaucoup d'interactions possibles avec des personnes qui ne font pas partie de la société. L'environnement est véritablement international avec la possibilité de travailler avec des gens de partout, de se déplacer partout. Ils sont, en effet, très bien connectés à tout l'écosystème crypto en général, sont au contact de tous les décideurs de la blockchain au niveau mondial, de Ethereum en particulier.    Aussi, dans l'univers crypto, y a beaucoup de conférences internationales.  Vous êtes encouragés à y aller, sans obligation bien sûr !