Qubic is the name of a protocol which will be built on top of the IOTA Tangle. The Qubic protocol provides general-purpose, cloud- or fog-based, permissionless, multiprocessing capabilities on the Tangle. It does this by allowing the transfer of prepackaged computational tasks from a device to some assembly of oracle machines, and have them perform said ...
One main difference in the language: Abra is a functional language (source : "Qubic tasks are specified using an intermediate trinary-based functional programming language called Abra.") and Solidity (main language for Ethereum smart contract) is a classical procedural language.
Writing a formal proof (i.e. a mathematical proof) that a program is correct is ...
Nobody will say internet is centralized, but there is something call IANA(Internet Assigned Numbers Authority) for internet. The same thing can be done to tangle.
And IF can be IANA of tangle, and tangle will be still decentralized.
i.e. instead of COO generating milestone, IF can have a list millstones that fullnotes can use.
Now the issue is how to add ...
IMO, your proposal don't address the key question :
Wait until it is considered confirmed by the network.
This leads to the tricky questions :
Waiting for how long ?
Most important : how the IRI knows that it is considered confirmed by the network ?
The IRI have no knowledge of the network, it only knows it's neighbors.
( Using Qubic may help, but ...