{"id":68858,"library":"snarkvm-circuit","title":"SnarkVM Circuit","description":"Circuits for a decentralized virtual machine, enabling zero-knowledge proofs.","status":"active","version":"4.7.3","language":"rust","source_language":null,"source_url":"https://github.com/ProvableHQ/snarkVM","tags":["circuit","zkp","zero-knowledge","vm"],"install":[{"cmd":"# Cargo.toml\n[dependencies]\nsnarkvm-circuit = \"4.7.3\"","lang":"toml","label":"Cargo.toml"},{"cmd":"cargo add snarkvm-circuit","lang":"bash","label":"cargo add"}],"dependencies":[],"imports":[{"symbol":"Circuit","correct":"use snarkvm_circuit::Circuit;"}],"quickstart":{"code":"use snarkvm_circuit::Circuit;\n\nlet circuit = Circuit::new();\nprintln!(\"Circuit created\");","lang":"rust","description":"Creates a new circuit instance."},"warnings":[{"fix":"Enable features like 'groth16' or 'marlin' in Cargo.toml.","message":"Requires specific feature flags for different proof systems.","severity":"gotcha","affected_versions":">=4.0.0"}],"env_vars":null,"search_vec":"'circuit':2,3,14 'decentr':6 'enabl':9 'knowledg':12,18 'machin':8 'proof':13 'snarkvm':1 'virtual':7 'vm':19 'zero':11,17 'zero-knowledg':10,16 'zkp':15","created_at":"2026-06-17T17:54:45.812678+00:00","updated_at":"2026-06-17T17:54:45.812678+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/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"categories":["crypto"],"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}}