Tootfinder

MTU: The Multifunction Tree Unit in zkSpeed for Accelerating HyperPlonk
Jianqiao Mo, Alhad Daftardar, Joey Ah-kiow, Kaiyue Guo, Benedikt B\"unz, Siddharth Garg, Brandon Reagen
https://arxiv.org/abs/2507.16793

MTU: The Multifunction Tree Unit in zkSpeed for Accelerating HyperPlonk
Zero-Knowledge Proofs (ZKPs) are critical for privacy preservation and verifiable computation. Many ZKPs rely on kernels such as the SumCheck protocol and Merkle Tree commitments, which enable their security properties. These kernels exhibit balanced binary tree computational patterns, which enable efficient hardware acceleration. Prior work has investigated accelerating these kernels as part of an overarching ZKP protocol; however, a focused study of how to best exploit the underlying tree pat…

Authenticated Private Set Intersection: A Merkle Tree-Based Approach for Enhancing Data Integrity
Zixian Gong, Zhiyong Zheng, Zhe Hu, Kun Tian, Yi Zhang, Zhedanov Oleksiy, Fengxia Liu
https://arxiv.org/abs/2506.04647

Authenticated Private Set Intersection: A Merkle Tree-Based Approach for Enhancing Data Integrity
Private Set Intersection (PSI) enables secure computation of set intersections while preserving participant privacy, standard PSI existing protocols remain vulnerable to data integrity attacks allowing malicious participants to extract additional intersection information or mislead other parties. In this paper, we propose the definition of data integrity in PSI and construct two authenticated PSI schemes by integrating Merkle Trees with state-of-the-art two-party volePSI and multi-party mPSI pr…

On the Performance of Cloud-based ARM SVE for Zero-Knowledge Proving Systems
Dumitrel Loghin, Shuang Liang, Shengwei Liu, Xiong Liu, Pingcheng Ruan, Zhigang Ye
https://arxiv.org/abs/2506.09505

On the Performance of Cloud-based ARM SVE for Zero-Knowledge Proving Systems
Zero-knowledge proofs (ZKP) are becoming a gold standard in scaling blockchains and bringing Web3 to life. At the same time, ZKP for transactions running on the Ethereum Virtual Machine require powerful servers with hundreds of CPU cores. The current zkProver implementation from Polygon is optimized for x86-64 CPUs by vectorizing key operations, such as Merkle tree building with Poseidon hashes over the Goldilocks field, with Advanced Vector Extensions (AVX and AVX512). With these optimizations…