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

[email protected]