{"library":"snarkvm-synthesizer","type":"library","category":null,"description":"Synthesizer for a decentralized virtual machine (snarkVM).","language":"rust","status":"active","version":"4.7.3","tags":["snarkvm","synthesizer","virtual-machine","zero-knowledge"],"last_verified":"Wed Jun 17","install":[{"cmd":"# Cargo.toml\n[dependencies]\nsnarkvm-synthesizer = \"4.7.3\"","imports":["use snarkvm_synthesizer::Synthesizer;"]},{"cmd":"cargo add snarkvm-synthesizer","imports":[]}],"homepage":"https://aleo.org","github":"https://github.com/ProvableHQ/snarkVM","docs":"https://docs.rs/snarkvm-synthesizer/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}