{"id":66266,"library":"ics23","title":"ICS23","description":"Merkle proof verification library implementing the Cosmos ICS23 specification for IBC.","status":"active","version":"0.12.0","language":"rust","source_language":null,"source_url":"https://github.com/cosmos/ics23","tags":["merkle","proof","cosmos","ibc","cryptography"],"install":[{"cmd":"# Cargo.toml\n[dependencies]\nics23 = \"0.12.0\"","lang":"toml","label":"Cargo.toml"},{"cmd":"cargo add ics23","lang":"bash","label":"cargo add"}],"dependencies":[],"imports":[{"symbol":"verify_membership","correct":"use ics23::verify_membership;"}],"quickstart":{"code":"use ics23::verify_membership;\n\nfn main() {\n    let proof = ics23::Proof::default();\n    let root = [0u8; 32];\n    let key = b\"key\";\n    let value = b\"value\";\n    let result = verify_membership(&proof, &root, key, value);\n    println!(\"Verification result: {:?}\", result);\n}","lang":"rust","description":"Verifies a Merkle proof of membership using ICS23."},"warnings":[],"env_vars":null,"search_vec":"'cosmos':8,15 'cryptographi':17 'ibc':12,16 'ics23':1,9 'implement':6 'librari':5 'merkl':2,13 'proof':3,14 'specif':10 'verif':4","created_at":"2026-06-17T17:21:27.864611+00:00","updated_at":"2026-06-17T17:21:27.864611+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://github.com/cosmos/ics23","github":"https://github.com/cosmos/ics23","docs":"https://docs.rs/ics23/","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}}