Do I need to write custom test cases for the fuzzer?

While you can define specific properties to test, the Move Smith Fuzzer automatically generates and mutates programs to explore the state space of your contract without requiring exhaustive manual scripts.

Can this skill find bugs that the Move Prover misses?

Yes. While the Move Prover focuses on formal logic guarantees, the fuzzer excels at finding execution-level edge cases, compiler bugs, and VM inconsistencies that formal verification might overlook.

What is differential testing in the context of Move Smith Fuzzer?

It involves running the same Move program across different VM implementations (like Aptos VM vs. Reference VM) to ensure they produce identical results, identifying implementation-specific bugs or consensus risks.

Which blockchains are supported by this skill?

It supports the Move programming language, which is the native language for the Aptos and Sui blockchains, as well as general Move-based frameworks.

Move Smith Fuzzer

Name: Move Smith Fuzzer
Author: plurigrid

byplurigrid

•

보안 및 테스팅

Validates Move smart contracts using differential fuzzing and property-based testing to identify consensus-breaking bugs and edge cases.

Move Smith Fuzzer is a specialized security tool designed for developers working with the Move programming language on blockchains like Aptos and Sui. It leverages the MoveSmith framework to perform differential testing across multiple Move virtual machines (VMs), identifying discrepancies in execution results that could lead to critical vulnerabilities or consensus failures. By combining automated mutation of Move source code with property-based testing, this skill helps developers find deep-seated logic errors and compiler inconsistencies before they affect live users.

주요 기능

01Comprehensive coverage reporting for fuzzing sessions

02Hybrid integration with Move Prover for formal verification synergy

03Differential testing across multiple Move VM implementations

04Property-based testing with automated random seed generation

05Advanced mutation engine for discovering edge-case contract behaviors

068 GitHub stars

사용 사례

01Validating custom Move VM implementations against reference standards

02Auditing Aptos or Sui smart contracts for consensus-breaking vulnerabilities

03Automating property-based testing in CI/CD pipelines for blockchain projects

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add plurigrid/asi move-smith-fuzzer

For use in Claude.ai and ChatGPT

Download Skill