Elias Tazartes
Software Engineer
Paris, Ile-de-France
Summary
🤩
RockstarElias Tazartes is a software engineer based in Paris with six years of experience focused on back-end development and test automation. He contributes to Kakarot, a prominent zkEVM project written in Cairo, where he implemented EVM opcodes (including POP), refactored memory operations, added memory expansion across opcodes, and strengthened unit tests—work that blends low-level systems thinking with blockchain cryptography. Comfortable shipping production-grade test suites and utility tooling (e.g., uint256-to-bytes conversions), he brings a pragmatic approach to correctness in complex, verifiable systems. Known for tackling tricky edge cases like basefee behavior and documentation fidelity, he pairs meticulous engineering with an interest in zero-knowledge proofs and provable execution stacks.
5 years of coding experience
Github Skills (6)
cairo-lang10
evm10
smart-contracts10
ethereum10
testing10
starknet8
Programming languages (11)
Github contributions (5)
kkrt-labs/kakarot
Oct 2022 - Jan 2023
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:20 releases, 552 reviews, 18 commits in 2 months
Contributions summary:Elias contributed significantly to the Kakarot project by implementing and testing new opcodes for the zkEVM. Their work included adding the POP opcode, refactoring existing memory operation code, and adding unit tests for memory operations and overall EVM instruction execution. They also integrated memory expansion features within multiple opcodes. Furthermore, they added a utility function to convert uint256 to a bytes array and adjusted various test files, fixing basefee tests, and fixing doc comments.
layer2cairo-langleveragingethereumzero-knowledge
Eikix/kakarot
Oct 2022 - Jan 2025
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
Contributions:251 pushes, 42 branches in 2 years 2 months
emulatorleveragingethereumblockchainevm
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.