SDZKP Documentation

Contents:

• 1. Introduction
  • 1.1. Articles
  • 1.2. Acknowledgement
• 2. Installation
  • 2.1. Installation (Package)
    • 2.1.1. Prerequisites
    • 2.1.2. SDZKP package
  • 2.2. Installation (from source)
• 3. SDZKP Specification
  • 3.1. Software Design Model
  • 3.2. Software Top-level Design
  • 3.3. Security Requirements
  • 3.4. ZKP Performance Metrics
  • 3.5. Adversary Model and Threat Analysis
• 4. Performance and Security Analysis
  • 4.1. Setup Related Tasks
    • 4.1.1. Max2SAT Instance Generation
    • 4.1.2. Subgroup Distance Problem Generation
  • 4.2. Prover Related Tasks
  • 4.3. Verifier Related Tasks
  • 4.4. Security Related Validation
    • 4.4.1. Completeness Validation
    • 4.4.2. Soundness Validation
• 5. Code Documentation
  • 5.1. sdzkp.max2sat
    • Max2SAT
  • 5.2. sdzkp.elementaryabeliansubgroup
    • ElementaryAbelianSubgroup
    • ElementaryAbelianSubgroupWithSolution
  • 5.3. sdzkp.prover
    • DishonestProver
    • HonestProver
    • Prover
  • 5.4. sdzkp.verifier
    • Verifier
  • 5.5. sdzkp.sgd
    • SubgroupDistanceProblem
    • SubgroupDistanceProblemWithSolution
    • SubgroupDistanceRound
• 6. References

Indices and tables

• Index

• Module Index

• Search Page