I'm a blockchain scientist dedicated to researching complex engineering implementations and security issues in blockchain. My areas of focus include the security of smart contracts and zero-knowledge proof circuits, the performance of distributed systems, and the data and economic analysis of fee markets. I am particularly interested in understanding the intricate interactions between social and technical aspects within collective decision-making in distributed ecosystems. Additionally, I strive to achieve a harmonious balance between performance, security, and technical freedom in distributed ecosystems. Secure and data-driven decisions have many applications in distributed ecosystems; they can help prevent data verification errors, service disruptions or rollbacks, and theft of funds. Moreover, they can enhance the sustainability of economic models to address significant challenges. Based on this, I founded Salus.Earning my PhD degree at UBA. Prev- MIT | BJTU
I have been approved by the Academic Committee of Shanghai Jiao Tong University to serve as a Distinguished Professor at the Suzhou Institute of Artificial Intelligence of Shanghai Jiao Tong University starting from July 2024.
Deep learning for smart contract code detection
Zero-knowledge proof circuit security
GPU-based privacy computing networks
Welcome you and the aspiring young individuals around you to apply enthusiastically!
ăACM Conferenceă EIP Security Analysis: Application Program Standards, Attack Events, and Security Vulnerabilities
ăCryptology ePrint Archiveă Zero-Knowledge Proof Vulnerability Analysis and Security Auditing
ăEthereum Researchă How AI Revolutionizes Ethereum, Another View on âAI+Blockchainâ
ăEthereum Researchă Promoting Ethereum Research to facilitate interdisciplinary collaboration and academic user engagement
ăSalus Blogă Important Security Checks Before Cancun Upgrade
ăEthereum Researchă Launch Ethereum nodes into Geosynchronous orbit
ăEthereum Researchă zkConvex - A Large-Scale Anonymous Electronic Voting Scheme Based on zk-SNARKs
ăEthereum Researchă Completely Recursive SNARK Circuit - The Savior of âPlay to Earnâ
ăScientific Reportsă Deep learning-based solution for smart contract vulnerabilities detection
ăEthereum Researchă The Application of ZK-SNARKs in Solidity - Privacy Transformation, Computational Optimization, and MEV Resistance
ăarXivă Smart Contract Migration: Security Analysis and Recommendations from Ethereum to Arbitrum
ăScience Roboticsă Research limitations:Robot swarms neutralize harmful Byzantine robots using a blockchain-based token economy
ăScience Advancesă Limitations of a study on the network of developers and correlated returns of cryptocurrencies
ZK Bug Tracker | AA coding security library | zkLogin
ăarXivă Evaluation of ChatGPT's Smart Contract Auditing Capabilities Based on Chain of Thought Yuying Du | UC Berkeley
ăACM Conferenceă STFN: Spatio-Temporal Fusion Network to Detect Ethereum Phishing Scams Yufeng Xu | UC Berkeley
Babylon | BounceBit | Choise | EthStorage | Harvest | Lifeform | NAVI | Ora | Partisia | Polyhedra | Talentre | Ultiverse | Relayz | SpaceID | GoPlus | Salus | Seismic | Solv | StarSharks | StructureFinance