• Jakob Botsch Nielsen's avatar
    Remove incoming_txs and outgoing_txs from contract view of chains · 90f0d1e4
    Jakob Botsch Nielsen authored
    This is much more realistic, as allowing contracts to efficiently access
    transaction histories for all addresses is extremely expensive. To do
    this, we
    * Add an account_balance operation in Chain instead
    * Change incoming_txs and outgoing_txs to compute transactions from
      traces
    * Require implementations to give a proof-relevant trace, and rework
      proofs to use these, as necessary
    90f0d1e4
Congress_Buggy.v 17.2 KB