[X6S1x6Okd1st]

Additionally it's proving a translation of the algorithm implemented in solidity. Solidity is not what is run on Ethereum, EVM bytecode is. Solidity is compiled down to EVM bytecode and that's what is run.

That seems like another point where a bug could creep in.

I wouldn't be surprised if there was a hard fork to save the deposit contract if there was a critical bug discovered.

[yissp]

I mean if there was a critical bug in the solidity compiler itself that would put the correctness of pretty much every contract into question, right? It seems like a fork would be hard to argue against in that case.

[latchkey]

There will be many hard forks before the funds from the deposit contract can be retrieved.

[X6S1x6Okd1st]

Fair enough, non-contentious hard forks in Ethereum are usually called upgrades at this point.