• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Block Verification Mechanism Based on Zero-Knowledge Proof in Blockchain.

Jin WangWei OuOsama AlfarrajAmr TolbaGwang-Jun KimYongjun Ren
Published in: Comput. Syst. Sci. Eng. (2023)
Keyphrases
  • formal verification
  • signature verification
  • data sets
  • artificial intelligence
  • information systems
  • knowledge base
  • computational model
  • model checking
  • formal analysis
  • fixed size