Comments (4)
For incoming messages, Asynchronous model means messages pertaining to "stale" subprotocols that have since concluded might be able to be ignored.
When can we safely mark a subprotocol as concluded and free up state? Can we express filter rules to efficiently discard old messages, e.g. messages pertaining to subprotocols in the previous round get discarded immediately?
I have implemented a modified version of HoneyBadgerBFT (I don't do the transaction buffering and use a dummy common coin for binary BA).
I maintain a single instance of the ACS class, it has a round number which can only be incremented. Every ACS message also has a round number attached to it.
At the beginning of an activation, everything is reset except the round number, this includes Bracha broadcast and binary BA objects. I believe this is safe as long as the node is certain that the previous round is completed.
I also ignore ACS message in two cases, (1) when the current round is already completed and (2) when a message of a lower round number is received.
In my experiments, I have seen cases where nodes go out of sync (round numbers don't match) but the protocol still behaved correctly. Hence, if I interpreted your question correctly, I believe the answer is "yes", at least empirically.
from honeybadgerbft.
Thanks for the note @kc1212 ! This is fantastic, I'm enjoying looking at your thesis code.
First of all, it seems a bit more concise to implement Binary Agreement your way. In your Mo14 / MMR14 implementation, you have one handler for every sequential "round" of the "bv_broadcast" subprotocol, the state for which is kept in dictionaries _est_values
and _aux_values
, whereas in my code there is an entire separate process (the bv_broadcast
function) for each round.
It is also interesting how you explicit send back a Replay()
message to indicate that the incoming has not been processed, but may be able to be processed if sent again at a later time. I'm having a think about both of these!
However, I'm not convinced yet that it's safe to switch to the "stopping" state as early as you have. It is possible that an honest node i
could decide 0
in round r
, but that another honest node j
does not decide in that round. What the protocol ensures is that in round r+1
, node j
will start with est[r+1] = 0
, and so it will decide 0
the next time that the coinflip returns 0
. However, if node i
stops responding to messages after r
since it reaches the stopping state, node j
may never terminate. This wouldn't show up in random testing... to cause this scenario to occur, you would need to build a scenario with Byzantine nodes equivocating. I thought about this scenario for a while and this is what I remember of it, anyway!
from honeybadgerbft.
The main reason that I implemented the way I did is because I used the Twisted framework. In the algorithmic description, a lot of the statements were like "wait for x number of messages to arrive and then do something". This is in direct contrast with Twisted and the event loop paradigm, where no operation is allowed to block. Thus I had to write these protocols more like a state machine.
from honeybadgerbft.
This issue was moved to initc3/HoneyBadgerBFT-Python#7
/cc @amiller
from honeybadgerbft.
Related Issues (20)
- [packaging] Register package on PyPI HOT 3
- [test] add source code check to travis (pep8, etc) HOT 1
- [conventions] Coding style elements and more HOT 1
- Implement proposed batch size to be floor(B/N) HOT 4
- [logging] Setup minimal logging config HOT 1
- [test:coverage] measure branch coverage HOT 1
- [dev] charm-crypto fails to build with stretch (debian 9) HOT 2
- [dev] update/fix experiments HOT 3
- [test] add more unit tests for tpke module HOT 1
- license HOT 5
- Paper: clarification on number of decryption shares to wait for HOT 2
- Clarification: What will happen if a node goes down during RBC? HOT 2
- Bounded Badger HOT 1
- Bug in ABA protocol's use of Common Coin HOT 2
- Threshold decryption seems to not actually work? HOT 3
- Issue running an instance with Docker HOT 4
- Optimistic Randomness for ABA HOT 9
- Is re-creating the merkle tree after N-F messages with the same root hash have been received necessary? HOT 1
- Python KeyError during standard test run
- Common coin in private network
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from honeybadgerbft.