human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "smart contract templates foundations design landscape and research directions"
  Abstract: In this position paper, we consider some foundational topics regarding smart contracts (such as terminology, automation, enforceability, and semantics) and define a smart contract as an automatable and enforceable agreement. We explore a simple semantic framework for smart contracts, covering both operational and non-operational aspects, and describe templates and agreements for legally-enforceable smart contracts, based on legal documents. Building upon the Ricardian Contract, we identify operational parameters in the legal documents and use these to connect legal agreements to standardised code. We also explore the design landscape, including increasing sophistication of parameters, increasing use of common standardised code, and long-term research.

Connected through hyperedge HE-1 (induced by source paper "anchoring the value of cryptocurrency"):
  with members:
    - "decentralization in bitcoin and ethereum networks"
    - "towards scaling blockchain systems via sharding"
    - "dissecting ponzi schemes on ethereum identification analysis and impact"
    - "blockchain based trust authentication for decentralized sensor networks"
    - "majority is not enough bitcoin mining is vulnerable"
    - "market oriented cloud computing vision hype and reality for delivering it services as computing utilities"
    - "cloud computing and grid computing 360 degree compared"

Connected through hyperedge HE-2 (induced by source paper "segment blockchain a size reduced storage mechanism for blockchain"):
  with members:
    - "lsb a lightweight scalable blockchain for iot security and privacy"
    - "explainable artificial intelligence understanding visualizing and interpreting deep learning models"

Connected through hyperedge HE-3 (induced by source paper "distributed ledger for provenance tracking of artificial intelligence assets"):
  with members:
    - "federated learning strategies for improving communication efficiency"
    - "a survey on deep learning in medical image analysis"

Connected through hyperedge HE-4 (induced by source paper "verisolid correct by design smart contracts for ethereum"):
  with members:
    - "tool demonstration fsolidm for designing secure ethereum smart contracts"
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "ethir a framework for high level analysis of ethereum bytecode"
    - "empirical vulnerability analysis of automated smart contracts security testing on blockchains"
    - "a semantic framework for the security analysis of ethereum smart contracts"
    - "lolisa formal syntax and semantics for a subset of the solidity programming language"
    - "vandal a scalable security analysis framework for smart contracts"
    - "securify practical security analysis of smart contracts"

Connected through hyperedge HE-5 (induced by source paper "blockchains a systematic multivocal literature review"):
  with members:
    - "blockchain technology overview"
    - "hyperledger fabric a distributed operating system for permissioned blockchains"
    - "blockchains consensus protocols in the wild"
    - "adding concurrency to smart contracts"
    - "a blockchain based decentralized system for proper handling of temporary employment contracts"
    - "an empirical analysis of smart contracts platforms applications and design patterns"
    - "rollback and forking detection for trusted execution environments using lightweight collective memory"
    - "blockbench a framework for analyzing private blockchains"

Connected through hyperedge HE-6 (induced by source paper "basis path coverage criteria for smart contract application testing"):
  with members:
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "online detection of effectively callback free objects with applications to smart contracts"
    - "contractfuzzer fuzzing smart contracts for vulnerability detection"
    - "a semantic framework for the security analysis of ethereum smart contracts"
    - "vandal a scalable security analysis framework for smart contracts"
    - "blockchains consensus protocols in the wild"
    - "under optimized smart contracts devour your money"
    - "an empirical analysis of smart contracts platforms applications and design patterns"

Connected through hyperedge HE-7 (induced by source paper "deductive proof of ethereum smart contracts using why3"):
  with members:
    - "raziel private and verifiable smart contracts on blockchains"
    - "inferring parametric energy consumption functions at different software levels isa vs llvm ir"

Connected through hyperedge HE-8 (induced by source paper "smart derivatives contracts the isda master agreement and the automation of payments and deliveries"):
  with members:
    - "design discussion on the isda common domain model"
    - "smart contract templates essential requirements and design options"

Question: Please tell me which class the center node 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.CY(Computers and Society)