Remove exit-tree

[krlosMata]

Please, check new specification in the following link

Summary

• remove exit-tree
• add fields exitBalance & accumulateHash in state-tree

Overview changes

• hash-state.circom: add new fields into the state
• balance-updater.circom: add computing exitBalance
• hash-inputs.circom: delete exit tree
• rollup-tx.circom: remove all logic exit-tree. Add logic to compute accumulatedHash (it could be done in a separate circuit)
• rollup-main.circom: remove unnecessary fields not used related to exit-tree. add new state fields for computiing sender and receiver states
• hash-inputs.circom: remove exitHash

[krlosMata]

Since we insert accumulatedHash in the state tree, it is no longer necessary to add L1 data-availability in the call data on the smart contract. We could remove it from the hashInputs as well

[krlosMata]

Track circuits:

• [x] hash-state.circom
• [x] balance-updater.circom
• [x] decode-tx.circom
• [x] hash-inputs.circom
• [x] fee-tx.circom
• [x] rollup-main.circom
• [x] rollup-tx-states.circom
• [x] rollup-tx.circom

[krlosMata]

implemented in https://github.com/hermeznetwork/circuits/pull/45