Binance can cut a winning Bitcoin hedge even when customer assets are backed

Binance's latest reserve proof addresses whether a customer's Bitcoin is backed at a dated snapshot. A futures hedge faces a separate test: Binance's futures rules allow Auto-Deleveraging, or ADL, to reduce a profitable short that was offsetting the holding.

In its Nov. 2 proof-completion update, Binance said holders of ten named tokens, including Bitcoin, could independently verify backing of at least 1:1 for the snapshot taken at 00:00 UTC on Oct. 31.

The exchange had disclosed in its Oct. 31 recovery update that some futures insurance reserves helped replenish assets stolen in its security incident. Binance said it released only excess above its required coverage level and that the remaining funds exceeded that requirement. The disclosure alone establishes neither a reserve shortfall nor a measurable increase in ADL probability.

Binance also distinguished its Futures Insurance Funds from user assets: they are its own reserves, outside the user-verifiable PoR view. Those reserves support the handling of bankrupt futures positions and reduce the need to close opposing traders' positions.

Binance said it monitors those funds against stress scenarios and adds company funds when required.

The futures insurance FAQ describes several pools assigned to different contract categories, with Binance able to change allocations. An exchange-wide reserve figure therefore cannot automatically describe the protection available to every Bitcoin contract.

The same FAQ defines Maximum Takeover Capacity as a cap on the notional, or face, value of bankrupt positions a fund can absorb at a time. It is a multiple of the fund's current balance, with the predetermined multiplier kept confidential.

That capacity limit differs from the amount available to absorb losses. Its FAQ says ADL can be engaged when takeover capacity is reached or when unrealized losses on positions assumed by the fund exceed the relevant available balance. Waiting for a fund balance to reach zero would miss the capacity constraint described in its guidance.

Neither the amount released nor the information needed to calculate current contract-specific headroom is established by the reallocation disclosure.

Under the ADL priority rules, opposing profitable positions can be selected when the fund cannot accept a bankrupt position. Profitability and leverage affect their place in the queue. A position can therefore be winning on price and still be selected for reduction.

Consider a purely hypothetical trader holding 1 BTC and a linear futures short of 1 BTC. Assume the short has become profitable after a price decline. If ADL cuts it to 0.5 BTC while the underlying holding stays unchanged, only half the holding remains offset.

If Bitcoin then falls by an assumed $10,000 per BTC, the remaining combined position loses $5,000 on that further move. That calculation assumes spot and futures move together, quantities remain fixed and the trader adds no replacement hedge. It excludes fees, funding, basis differences, taxes and collateral changes.