kimchi::circuits::wires::wasm