PROOF #0001
ProgramMemoSq...GmfcHr
Match1,000/1,000
Fuzz9,998/9,998
Sourcepublic
Commit4937b5e236e0a205
Reportd5429a43e3060052
Memorecord pending
calibration
Proof #0001
Calibration: SPL Memo v3 rebuilt from its public source, expected PASS. This is the engine proven on a program whose source is already public: not a closed program, not for sale. Source: https://github.com/solana-program/memo
Program
Match
1000/1000 cases, 1000 from mainnet, 7071 where the original succeeds
Fuzz
9998/9998
Source commitment
4937b5e236e0a20553140adde722c38b396c891ed76a4c0453a11baeaf9721aa
Report sha256
Corpus sha256
99ac7150ecd65eb331cfc333f22b51eb8e70d19bf51eb5b539e5cb68a4d422ed
Original ELF
f520eaf096361abbb9639ea4dc3e5388a87b9330e121f476607b87c46ef67954
Candidate ELF
687ba14a4362397e7dd5168fb7beba1fcb110c665a28bf3599f787df3c5527d5
Toolchain
decomp-replayer 1.0.0, litesvm 0.17.0
Memo record
Memo record pending (posted when the keeper is funded)
Passed
2026-11-02 16:03 UTC