University of Twente Student Theses
Benchmarking the zk-SNARK, zk-STARK, and Bulletproof Non-Interactive Zero-Knowledge Proof Protocols in an Equivalent Practical Application
Oude Roelink, B.M. (2024) Benchmarking the zk-SNARK, zk-STARK, and Bulletproof Non-Interactive Zero-Knowledge Proof Protocols in an Equivalent Practical Application.
|
PDF
1MB |
| Abstract: | This research work constitutes a follow-up research to our previous Systematic Literature Research (SLR), which examined the applications and performance of the zk-SNARK, zk-STARK, and Bulletproof Non-Interactive Zero-Knowledge Proof (NIZKP) protocols across a variety of collected works. This work designed and implemented a benchmark comparing the same three NIZKP protocols using an equivalent real-world application to fill one of the observed research gaps. By realizing and benchmarking a dynamic MiMC hash application using four general-purpose programming libraries across two programming languages, we could compare the performance between each of the three protocols and conclude the application contexts best suited for each. Our results showed that the zk-SNARK protocol produced the smallest proofs, whereas the zk-STARK proofs were the largest overall. Regarding the proof generation and verification times, we noticed the zk-STARK protocol to be the fastest on average while the Bulletproof protocol was the slowest in both metrics. |
| Item Type: | Essay (Master) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science MSc (60300) |
| Link to this item: | https://purl.utwente.nl/essays/100612 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page