HristoStaykov

* **Problem Overview** Most recent progress on the proof for correctness of the BFT protocol. This is a WIP branch where we are proving the invariants in the presence of...

* **Problem Overview** Remove stopped job badge. * **Testing Done** N/A

In this test we create 201 addresses and for each address we create a tree and fill it with random data. In the end of the test we check that...

Move log to INFO.

1

Move Unsubscribe event to INFO. We don't expect this event to be very frequent. * **Problem Overview** The unsubscription event can be a valuable information and should not be too...

Added initial version for executable reference model.

1

The idea behind the executable reference model is for us to have an experiment environment where we can pass sequence of messages, mutate the state of the replica and examine...

This is an initial commit. The logging works with spdlog, but Mapped Diagnostic Context (MDC) is not supported yet and is temporarily disabled for the builds with spdlog. This integration...

Fix data race on ClientsInfo's requestsInfo and repliesInfo maps.

1

We need to sync access to those maps, because they get modified/queried by multiple threads. We introduce 2 mutexes that guard each and make sure we never hold them both...

We need to sync access to those maps, because they get modified/queried by multiple threads. We introduce 2 mutexes that guard each and make sure we never hold them both...

Reduce working window size from 300 Sequence numbers to 30.

1

Fix tests to take in consideration the new size. The purpose of this MR is to experiment with a lower value for the Working Window in the product. The main...

It will be useful for the .json input of a circuit to be able to pass a hex string to be used to initialize a byte array (std::array. There is...