I looked around and could not see any example of known smart contract (FA1.2, FA2, etc) that is now using less gas then before Florence protocol.
Florence gas optimizations are only about the Michelson interpreter.
During a call to a smart contract, gas is charged for the following things:
- checking the signature of the operation
- account management (debiting the caller and crediting the smart contract)
- fetching the script and the storage of the contract from disk
- conversion from a byte sequence to an internal representation of the protocol
- actual execution
- conversion of the updated storage from the internal representation to a byte sequence
- saving of the updated storage on disk
Florence gas optimizations are about point number 5. For this step some numbers are given in the following blog post: https://blog.nomadic-labs.com/sound-and-fast-gas-monitoring-with-saturation-arithmetic.html
┌──────────┬────────┬──────────┐ │ Contract │ Edo │ Florence │ ├──────────┼────────┼──────────┤ │ Dexter │ 44,867 │ 28,813 │ │ FA1.2 │ 9,718 │ 6,238 │ │ Manager │ 3,764 │ 2,301 │ └──────────┴────────┴──────────┘
So the gas reduction for the execution of these three specific scripts are respectively 35.8%, 35.8%, and 38.8%.