{"id":59560,"library":"snarkvm-models","title":"SnarkVM Models","description":"Models for a decentralized virtual machine in the Aleo blockchain ecosystem.","status":"active","version":null,"language":"rust","source_language":null,"source_url":"https://github.com/AleoHQ/snarkVM","tags":["blockchain","aleo","vm","models"],"install":[{"cmd":"# Cargo.toml\n[dependencies]\nsnarkvm-models = \"latest\"","lang":"toml","label":"Cargo.toml"},{"cmd":"cargo add snarkvm-models","lang":"bash","label":"cargo add"}],"dependencies":[],"imports":[{"symbol":"Program","correct":"use snarkvm_models::Program;"}],"quickstart":{"code":"use snarkvm_models::Program;\nlet program = Program::new();\nprintln!(\"Program created\");","lang":"rust","description":"Creates a new SnarkVM program model."},"warnings":[],"env_vars":null,"search_vec":"'aleo':11,15 'blockchain':12,14 'decentr':6 'ecosystem':13 'machin':8 'model':2,3,17 'snarkvm':1 'virtual':7 'vm':16","created_at":"2026-06-16T17:08:16.386870+00:00","updated_at":"2026-06-16T17:08:16.386870+00:00","problems":[],"ecosystem":"crates","meta_description":null,"install_score":null,"quickstart_score":null,"quickstart_tag":null,"pypi_latest":null,"cli_name":null,"cli_version":null,"type":"library","homepage":"https://aleo.org","github":"https://github.com/AleoHQ/snarkVM","docs":"https://docs.rs/snarkvm-models/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"categories":["other"],"base_url":null,"auth_type":null,"provenance":{"verified_status":null,"verified_at":null,"last_verified":"2026-06-16","next_check":"2026-12-13","install_tag":null}}