Does this skill replace the Move Prover?

No, it is designed to work in synergy with it. While the Move Prover formally verifies properties, Move Smith Fuzzer finds concrete counterexamples for complex edge cases that the Prover might not cover.

What is differential testing in Move Smith Fuzzer?

It executes the same Move code across multiple VM implementations, such as the Aptos Move VM and the reference VM, to identify result discrepancies that indicate compiler or execution-layer bugs.

Can I reproduce specific fuzzing results?

Yes, the skill supports property-based testing using specific random seeds, allowing developers to reproduce and debug specific issues found during fuzzing sessions.

How does the mutation engine work?

The mutator identifies and replaces integer literals, addresses, and vectors with boundary values (like 0 or max_u128) and swaps operations to stress-test the contract's logical robustness.

Move Smith Fuzzer

Name: Move Smith Fuzzer
Author: plurigrid

byplurigrid

•

Security & Testing

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

Move Smith Fuzzer is a specialized security and validation tool for the Move smart contract ecosystem that leverages differential testing across multiple virtual machines. By generating random valid programs and mutating existing source code, it compares execution results between the Aptos Move VM and other reference implementations to isolate compiler bugs and consensus discrepancies. This skill integrates property-based testing with the Move Prover to provide a comprehensive hybrid validation suite that maximizes code coverage and security assurance.

Key Features

01Detailed reporting for consensus-breaking discrepancies

022 GitHub stars

03Property-based testing with randomized input generation

04Hybrid validation combining fuzzing with the Move Prover

05Automated source code mutation to uncover deep edge cases

06Differential testing across multiple Move VM implementations

Use Cases

01Validating consistency between different versions of Move Virtual Machines

02Auditing high-stakes Move smart contracts for hidden vulnerabilities

03Automating the generation of edge-case test vectors for Move modules

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