human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "formal verification of blockchain byzantine fault tolerance"):
  Abstract: To implement a blockchain, the trend is now to integrate a non-trivial Byzantine fault tolerant consensus algorithm instead of the seminal idea of waiting to receive blocks to decide upon the longest branch. After a decade of existence, blockchains trade now large amounts of valuable assets and a simple disagreement could lead to disastrous losses. Unfortunately, Byzantine consensus solutions used in blockchains are at best proved correct "by hand" as we are not aware of any of them having been formally verified. In this paper, we propose two contributions: (i) we illustrate the severity of the problem by listing six vulnerabilities of blockchain consensus including two new counter-examples; (ii) we then formally verify two Byzantine fault tolerant components of Red Belly Blockchain using the ByMC model checker. First, we specify a simple broadcast primitive in 116 lines of code that is verified in 40 seconds on a 2-core Intel machine. Then, we specify a blockchain consensus algorithm in 276 lines of code that is verified in 17 minutes on a 64-core AMD machine using MPI. To conclude, we argue that it has now become both relatively simple and crucial to formally verify the correctness of blockchain consensus protocols.

Includes members:
  Member "on the correctness of egalitarian paxos":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "certifying blockchain byzantine fault tolerance")
  Member "correctness analysis of ibft":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "tenderbake classical bft style consensus for public blockchains")
  Member "the consensus number of a cryptocurrency":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "dynamic byzantine reliable broadcast technical report")
  Member "dissecting tendermint":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "tenderbake classical bft style consensus for public blockchains")
  Member "the latest gossip on bft consensus":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "tenderbake classical bft style consensus for public blockchains")
  Member "analysis of the xrp ledger consensus protocol":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "deconstructing blockchains a comprehensive survey on consensus membership and structure")
  Member "evaluating the red belly blockchain":
    also connected through other hyperedges:
      - Hyperedge HE-7 (induced by source paper "deconstructing blockchains a comprehensive survey on consensus membership and structure")
  Member "sbft a scalable decentralized trust infrastructure for blockchains":
    also connected through other hyperedges:
      - Hyperedge HE-8 (induced by source paper "heb hybrid expenditure blockchain")

Question: Please tell me which class the source paper belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.DC(Distributed, Parallel, and Cluster Computing)