[
  {
    "inputs": [
      { "internalType": "uint256", "name": "assets_", "type": "uint256" },
      { "internalType": "address", "name": "receiver_", "type": "address" }
    ],
    "name": "deposit",
    "outputs": [
      { "internalType": "uint256", "name": "shares_", "type": "uint256" }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      { "internalType": "uint256", "name": "shares_", "type": "uint256" },
      { "internalType": "address", "name": "receiver_", "type": "address" },
      { "internalType": "address", "name": "owner_", "type": "address" }
    ],
    "name": "redeem",
    "outputs": [
      { "internalType": "uint256", "name": "assets_", "type": "uint256" }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  }
]