Remove incoming_txs and outgoing_txs from contract view of chains
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
Name | Stage | Failure | ||
---|---|---|---|---|
failed
|
coq:dev | Build | ||
|