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

•

보안 및 테스팅

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.

주요 기능

Detailed reporting for consensus-breaking discrepancies
2 GitHub stars
Property-based testing with randomized input generation
Hybrid validation combining fuzzing with the Move Prover
Automated source code mutation to uncover deep edge cases
Differential testing across multiple Move VM implementations

사용 사례

Validating consistency between different versions of Move Virtual Machines
Auditing high-stakes Move smart contracts for hidden vulnerabilities
Automating the generation of edge-case test vectors for Move modules

소개

주요 기능

Detailed reporting for consensus-breaking discrepancies
2 GitHub stars
Property-based testing with randomized input generation
Hybrid validation combining fuzzing with the Move Prover
Automated source code mutation to uncover deep edge cases
Differential testing across multiple Move VM implementations

사용 사례

Validating consistency between different versions of Move Virtual Machines
Auditing high-stakes Move smart contracts for hidden vulnerabilities
Automating the generation of edge-case test vectors for Move modules