Mission

Prouver l’exécution d’un bloc Ethereum Mainnet avec Kakarot.

Objective

1. Maîtriser les expérimentations existantes (Zeth et SP1)
2. Créer un outil permettant de charger le state Ethereum initial nécessaire pour un bloc, exécuter le bloc et retourner le state final
3. Envoyer la trace d’exécution à SHARP et prouver le bloc
4. Écrire un article de blog qui résume l’expérience et présente le coût de la preuve

What’s in it for you

En rejoignant KKRT Labs, vous embarquerez pour un voyage à la frontière de l'informatique “vérifiable”, un nouveau paradigme qui devrait changer la façon dont l'information est partagée et utilisée dans un avenir proche. Vous contribuerez à la mise à l'échelle d'Ethereum, la principale blockchain applicative, et aiderez à décentraliser tout ce qui peut l’être.

Pour plus d’informations, rendez-vous sur Working at KKRT Labs

Competences

• Intelligence : faculté de comprendre, de ne pas se méprendre sur le sens des mots, la nature des choses, d’acquérir rapidement une connaissance approfondie, nette et facile
  • Vous n’avez probablement jamais étudié la CairoVM. Il vous faudra donc absorber la documentation en un temps limité pour la vulgariser et la transcrire sous la forme d’un code simple et efficace
    • https://docs.cairo-lang.org/how_cairo_works/index.html
    • https://eprint.iacr.org/2021/1063.pdf
    • https://github.com/starkware-libs/cairo-lang/
• Curiosité : désir, empressement de voir, d’apprendre des choses nouvelles et intéressantes
  • Nous travaillons avec une technologie peu mature, en constante innovation ; vous devez aimer découvrir et questionner beaucoup
• Exigence : ne se satisfait pas d’une production de qualité moyenne mais cherche à ne réaliser rien d’autre que le meilleur
  • Nous ne sommes pas dans la production de masse mais devons délivrer quelques logiciels de grande qualité. Il ne s’agit pas de faire du 80/20 mais bien de développer, dans le détail, un produit de qualité
• Ouverture d’esprit : aisance avec les réactions et commentaires reçus, qu’ils soient positifs ou négatifs
  • Nous préférons une communication directe et franche
• Esprit de synthèse : capacité de produire un exposé succinct sur un sujet et de capacité de généralisation

Skills

Les compétences énumérées sont utiles mais peuvent toujours être apprises, pas d’inquiétude si vous ne les possédez pas toutes !

Tech

• expérience avec un scripting language (python, javascript)
• expérience avec un langage fortement typé (idéalement rust ou typescript)

Science

• à l'aise avec les articles de recherche
• à l'aise avec les mathématiques derrière ZKP & STARK

Langue

L'équipe est majoritairement francophone mais l'anglais est obligatoire.

<aside> <img src="/icons/cursor-click_gray.svg" alt="/icons/cursor-click_gray.svg" width="40px" /> Apply now

Please note that we are currently hiring people who are willing and able to relocate to Paris for this position.

</aside>