A cryptography playground
Dolev-Strong
The Dolev-Strong protocol implements a means of solving the Byzantine General problem in a synchronous setting. The protocol is described in Authenticated Algorithms for Byzantine Agreement. This is a python simulation of the protocol.
Run the Protocol Tests
To run the tests
pytest -k dolev
To see the simulated output in the all honest case
python crypto/dolev_strong.py
TODOs
- Implement all honest test case
- Implement malicious sender test case
- Implement Malicious Node attack
- Implement Sender / Node Coordinated attack
- Link to the blog post