Momentum-Lab

Supporting the next generation of web stacks with cutting edge research on the convergence of AI & blockchain.

1 Existing Research

1.1 Blockchain Security

• Oracle-supported dynamic exploit generation for smart contracts

  H Wang, Y Liu, Y Li, SW Lin, C Artho, L Ma, Y Liu IEEE Transactions on Dependable and Secure Computing 19 (3), 1795-1809 | TDSC, CCF Rank A

• Catching Vulnerable Smart Contracts Once and for All

  ICSE, CCF Rank A

• Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts

  ASE, CCF Rank A

• xfuzz: Machine learning guided cross-contract fuzzing

  TDSC, CCF Rank A

• Vulpedia: Detecting vulnerable ethereum smart contracts via abstracted vulnerability signatures J Ye, M Ma, Y Lin, L Ma, Y Xue, J Zhao Journal of Systems and Software 192, 111410 | JSS, CCF Rank B

• Doublade: Unknown vulnerability detection in smart contracts via abstract signature matching and refined detection rules

1.2 AI

• Look Before You Leap: An Exploratory Study of Uncertainty Measurement for Large Language Models Y Huang, J Song, Z Wang, H Chen, L Ma arXiv preprint arXiv:2307.10236, 2023

• Automatic web testing using curiosity-driven reinforcement learning Y Zheng, Y Liu, X Xie, Y Liu, L Ma, J Hao, Y Liu 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021

• Towards Understanding Quality Challenges of the Federated Learning: A First Look from the Lens of Robustness AE Abyane, D Zhu, RM de Souza, L Ma, H Hemmati arXiv preprint arXiv:2201.01409, 2022

2 Research TODO List

• A Kind of New Digital Stable Coin Framework

  currency

• Similar vulnerability detection of smart contracts based on VectorDB

  security, AI

• Implementation of selective disclosure of Verifiable Credentials

  did, Crypto

• Design and implementation of Consortium Blockchain framework based on Move

  chain

• Research and design the L2 solution of Move

  chain

• AI-based smart contracts generation in Move language

  AI

• A decentralized software process of smart contract governed by fully on-chain DAO Software Engineering

3 Development TODO List

Implementation content:

• AI-based crates.io

Vector Dataset and AI-driven crates.io serve as a package management platform for the pan-Move ecosystem.

By introducing AI capabilities into traditional package management platforms, you can talk to smart contract codes, or use smart contract codes on the platform to learn.

• Move ETF

A basket of ETFs based on the Move ecosystem, governed through DAO.