Part of the experimental code in PCVAKA; This is the HLPSL code used in the AVISPA experiment section of the paper. In this experiment, we abstracted the specific implementation details of the protocol. The corresponding abstraction strategy is documented within the code. If you have any questions, please contact us by our email.
We also provide a detailed calculation process for the Computational and Communication overhead of the baseline schemes for comparison (including the scheme proposed in this paper). The relevant information is contained in the file "PCVAKA_computation_costs_comparison.svg" and "Communication_costs_comparison.svg". For viewing purposes, please open the file using a web browser after downloading it.