Amos Rothberg
Software Engineer at StarkWare
Jerusalem District, Israel
Summary
🤩
Rockstar🎓
Top SchoolAmos Rothberg is a software engineer based in Givatayim, Israel, with three years of professional experience focused on backend systems at StarkWare. He has hands-on expertise in low-level numeric implementations, contributing to Cairo—the pioneering Turing-complete language for provable computation—by adding and refining uint128 operations and implementing square-root routines across multiple unsigned integer sizes. Amos pairs production development with teaching experience from The Hebrew University of Jerusalem, where he supported and mentored students in introductory computer science. Comfortable navigating complex codebases, he has a track record of shipping precise, correctness-sensitive features and minor but meaningful quality improvements. His background blends academic rigor with practical contributions to a high-profile cryptographic tooling project.
3 years of coding experience
1 year of employment as a software developer
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at The Hebrew University of Jerusalem
Github Skills (2)
cairo10
rust10
Programming languages (3)
Github contributions (5)
starkware-libs/cairo
Dec 2022 - Feb 2023
Cairo is the first Turing-complete language for creating provable programs for general computation.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:25 reviews, 13 commits, 20 PRs in 2 months
Contributions summary:Amos contributed significantly to the Cairo project by implementing and refining core functionality related to unsigned 128-bit integers. This included adding the `uint128_eq` function, supporting immediate values in equality checks, and implementing the `sqrt` function for uint128, along with the implementation of `sqrt` for uint8, uint16, uint32, and uint64. They modified multiple files across different project modules to incorporate and test these new features. The user also fixed a minor typo, improving code clarity.
computationturing-completecairo-langzkpturing
amosStarkware/starknet.py
Jul 2022 - Jul 2022
support starknet with whitelisting
Contributions:2 PRs, 2 pushes, 3 branches in 1 day
whitelistingstarknet
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.