@misc{indiciaed208a7d8ea32, title = {ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges}, author = {Arman Kolozyan and Tom Sorger and Alexander Hicks and Stefanos Chaliasos}, year = {2026}, url = {https://arxiv.org/abs/2607.23752}, note = {Source identifier: 2607.23752} }