Registry / crypto / move-bytecode-verifier

move-bytecode-verifier

JSON →
libraryrscratesunverified

Move bytecode verifier

crypto
# Cargo.toml [dependencies] move-bytecode-verifier = "latest"
github ↗homepage ↗docs ↗
INSTALL
IMPORT
SIG · MOVE-BYTECODE-VERI
M
move-bytecode-verifier
cryptorust
harness data pending
Install & Compatibility
Where this runs

No compatibility data collected yet for this library.

Code
Verified usage

Verified import paths — ran on the pinned version, not inferred.

verify_module
✓ use move_bytecode_verifier::verify_module;

Verifies a compiled Move module's bytecode.

use move_bytecode_verifier::verify_module; use move_core_types::language_storage::ModuleId; let module = /* compiled module bytes */; let result = verify_module(&module); println!("Verification result: {:?}", result);
Debug
Known issues
gotchaRequires Move compiler and core types dependencies.
fix
Add move-core-types and move-binary-format to Cargo.toml.
affects: *
Upgrade
Version history

Breaking-change detection hasn't run for this library yet.

Audit
Dependencies

No dependency data recorded yet.

Agent activity
4 hits · last 30 days
node
4
Resources
githubhttps://github.com/diem/diem ↗
homepagehttps://diem.com ↗
docshttps://docs.rs/move-bytecode-verifier/ ↗
move-bytecode-verifier — cargo add move-bytecode-verifier · libregistry