Jingyi Zhong
Software Engineer at Mysten Labs
Mountain View, California, United States
Summary
🤩
Rockstar🎓
Top SchoolJingyi Zhong is a software engineer with a decade of experience building blockchain infrastructure and developer tools, currently at Mysten Labs after work on Diem at Meta. She is the lead author of the Move Prover paper and contributed to the formal specification and auto-validation/execution of Diem smart contracts, including NFT contracts written in Move. Her implementation work spans stackless bytecode generation and a Boogie translator in Diem, and core staking and governance features for the Sui blockchain. Combining systems engineering with formal verification and program analysis, she writes production Rust and Move code that bridges formal specs and deployable crypto platforms. Based in Mountain View, she brings an uncommon mix of academic rigor from Stanford and Carnegie Mellon teaching experience to high-throughput blockchain engineering.
10 years of coding experience
4 years of employment as a software developer
High School Diploma, High School Diploma at High School Affiliated to Fudan UniversityBachelor of Science (BS) Electrical and Computer Engineering, Bachelor of Science (BS) Electrical and Computer Engineering at Carnegie Mellon UniversityMaster of Science - MS Computer Science, Master of Science - MS Computer Science at Stanford University
English, Chinese
Github Skills (12)
smart-contracts10
move10
rust10
formal-verification10
bytecode10
codegen10
blockchain10
distributed-ledger-technology9
movelang9
lang9
distributed-ledger9
boogie9
Programming languages (7)
Github contributions (5)
diem/diem
Jul 2019 - Jan 2022
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:115 reviews, 108 commits, 100 PRs in 2 years 6 months
Contributions summary:Jingyi primarily focused on implementing and refining the stackless bytecode generator for the Diem blockchain. They added features for generating stackless bytecode, including the generation of stackless bytecode with types for verification success, improvements on the offset mapping, and removal of unnecessary configurations and components. They added initial implementation of a boogie translator that converts stackless bytecode to boogie code and made changes to ensure integer overflow and division by zero were handled properly.
diemfinancialtrustedethereumblockchain
MystenLabs/sui
May 2022 - Jan 2023
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Role in this project:Back-end Developer
Back-end DeveloperContributions:965 reviews, 91 commits, 428 PRs in 8 months
Contributions summary:Jingyi implemented core functionalities related to the Sui blockchain's governance features, focusing on staking pool management. Their work included modifying Move code to incorporate delegation, reward distribution, and stake withdrawal mechanisms. The contributions involved the creation of delegation objects, pending delegation handling, and modifications to the validator set's internal logic. These changes added key features for staking and governance.
low-latencyprogramming-languagesmart-contractsblockchaindistributed-ledger-technology
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.