Arya Tabaie
Senior Backend Engineer at ConsenSys
Chicago, Illinois, United States
Summary
🤩
Rockstar🎓
Top SchoolArya Tabaie is a Senior Backend Engineer based in Chicago with 10 years of experience focused on cryptography and backend systems, currently contributing at ConsenSys. He specializes in zero-knowledge proofs and identity management, with hands-on contributions to prominent open-source projects like ConsenSys' gnark and gnark-crypto—implementing and optimizing sumcheck/GKR verifiers and high-performance Montgomery arithmetic for bn254. His background blends rigorous academic training (MScs in Computer Science and Mathematics) with applied research roles, including managing security innovation at RBC and formal verification of blockchain protocols. Arya brings a rare combination of mathematical depth and production-oriented systems engineering, often bridging theory and practical performance tuning. Outside of engineering he’s a singer-songwriter and multi-instrumentalist, an artistic strand that complements his analytical creativity.
10 years of coding experience
5 years of employment as a software developer
Diploma, Mathematics and Physics, 19.3, Diploma, Mathematics and Physics, 19.3 at National Organization for Development of Exceptional Talents (Sampad)Bachelor of Science (B.Sc.), Electrical Engineering, Bachelor of Science (B.Sc.), Electrical Engineering at University of TehranMaster of Science (MSc), Computer Science, Master of Science (MSc), Computer Science at University of Central FloridaMaster of Science - MS, Mathematics, 3.91, Master of Science - MS, Mathematics, 3.91 at University of FloridaMaster's degree, Intelligent Systems Engineering, N/A, Master's degree, Intelligent Systems Engineering, N/A at Sharif University of Technology
English, Persian, standard arabic, Spanish, German
Github Skills (16)
algorithm10
zk10
data-structures10
zksnark10
finite-field10
algorithms10
assembly10
go10
f10
modular-arithmetic10
cryptography10
data-structure10
assembler10
x8610
testing10
Programming languages (5)
Github contributions (5)
Consensys/gnark-crypto
Nov 2021 - Jan 2023
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:105 reviews, 429 commits, 103 PRs in 1 year 2 months
Contributions summary:Arya's contributions focus on optimizing the Montgomery arithmetic operations within the bn254 elliptic curve library. This includes improving and verifying the performance of the inversion algorithm and the resulting code generation and testing, which includes precomputed values. The work primarily revolves around modifying the underlying field arithmetic operations to improve performance for specific architectures.
hash-to-curvesnarkzkpparticularecdh
Consensys/gnark
Aug 2022 - Jan 2023
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
Role in this project:Back-end Developer, Cryptography Researcher
Back-end Developer, Cryptography ResearcherContributions:87 reviews, 113 commits, 117 PRs in 4 months
Contributions summary:Arya's contributions primarily involve the development and testing of sumcheck and GKR (Gennaro-Krawczyk-Rabin) verifiers for the gnark zk-SNARK library. Their work includes implementing core functions, debugging, and refactoring the sumcheck implementation. The user is also involved in creating test circuits and test vectors to ensure correctness and compatibility of the GKR and sumcheck algorithms within the gnark framework.
gnarkapir1cszkpsnark
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.