{"id":73976,"library":"snarkvm-circuit-types","title":"SnarkVM Circuit Types","description":"Primitive circuit types for a decentralized virtual machine in the snarkVM ecosystem.","status":"active","version":"4.6.3","language":"rust","source_language":null,"source_url":"https://github.com/ProvableHQ/snarkVM","tags":["circuit","virtual-machine","zero-knowledge","snarkvm"],"install":[{"cmd":"# Cargo.toml\n[dependencies]\nsnarkvm-circuit-types = \"4.6.3\"","lang":"toml","label":"Cargo.toml"},{"cmd":"cargo add snarkvm-circuit-types","lang":"bash","label":"cargo add"}],"dependencies":[],"imports":[{"symbol":"Boolean","correct":"use snarkvm_circuit_types::Boolean;"}],"quickstart":{"code":"use snarkvm_circuit_types::Boolean;\n\nfn main() {\n    let b = Boolean::new(false);\n    println!(\"{:?}\", b);\n}","lang":"rust","description":"Creates a new Boolean circuit type."},"warnings":[],"env_vars":null,"search_vec":"'circuit':2,5,16 'decentr':9 'ecosystem':15 'knowledg':22 'machin':11,19 'primit':4 'snarkvm':1,14,23 'type':3,6 'virtual':10,18 'virtual-machin':17 'zero':21 'zero-knowledg':20","created_at":"2026-06-17T18:57:29.330682+00:00","updated_at":"2026-06-17T18:57:29.330682+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/ProvableHQ/snarkVM","docs":"https://docs.rs/snarkvm-circuit-types/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"categories":["crypto","other"],"base_url":null,"auth_type":null,"provenance":{"verified_status":null,"verified_at":null,"last_verified":"2026-06-17","next_check":"2026-12-14","install_tag":null}}