Skip to content

Latest commit

 

History

History
28 lines (26 loc) · 899 Bytes

README.md

File metadata and controls

28 lines (26 loc) · 899 Bytes
Raw

quorum_intersection

A tool for verifying the quorum intersection property of the stellar network. It accepts data in JSON format compatible with https://www.stellarbeat.io/nodes/raw . Use --help parameter to see available options. WARNING: the problem of finding disjoint quorums in stellar's network configuration is NP-hard.

Details of the algorithm can be found here: https://arxiv.org/abs/1902.06493

Getting Started

Prerequisites

Tools and libraries required to build this project:

  • g++ 5.4.0
  • boost_graph 1.58.0
  • boost_log 1.58.0
  • boost_program_options 1.58.0
  • cmake 3.5.1

Build Instructions

mkdir build;
cd build;
cmake ../;
cmake --build .;

Example Session

curl "https://www.stellarbeat.io/nodes/raw" | ./quorum_intersection -v

Expected Output:

'true' if all quorums of a given configuration intersect. 'false' otherwise..