Andreas Fackler

Add a single `max_memory_for_execution: u64` to the policy. When executing a block, add up: * all simultaneously loaded contract instances (bytecode and memory), and * all loaded parts of the...

Limit oracle calls, and charge fees for them.

2

`query_service` calls the application's service code inside the validator workers. We need to make sure these calls time out if they take too long, and add a fee category for...

Details TBD. We could allow applications to get the transaction index in addition to the block height. Or just add an assertion that this is the first one.

Only simple messages can be skipped or ignored forever. Accordingly, consider renaming them; maybe `AcceptWhenPossible`, `RejectOrIgnoreWhenPossible`, `IgnoreWhenPossible`

Test that events cannot be overwritten.

1

Add a test with a faulty app that tries to emit two events with the same ID but different value. Assert that this fails.

Use events for adding and removing committees.

2

## Motivation To make epoch changes scalable, we want to use events instead of messages (https://github.com/linera-io/linera-protocol/issues/365). ## Proposal Remove the committee messages and add add `ProcessNewEpoch` and `ProcessRemovedEpoch` system _operations_...

In the node service, many system operations are constructed explicitly, and then `execute_system_operation` is called. This re-implements some functionality that is already in the `ChainClient` methods that create those system...

If one uses `MessageId` as a field in a struct returned from a GraphQL query, that field will be a string with the hexadecimal representation of the message ID's BCS...

With #3164, the execution outcome can depend on the current round. If this oracle is used, we shouldn't try to discern `ExecuteBlockOutcome::Executed` from `ExecuteBlockOutcome::Conflict` by comparing the exact executed block....

We put outgoing messages into `RawExecutionOutcome`s and The expected outcome of the following would be messages A0, B0, S, B1, A1, in that order: * App A sends A0. Then...