Abstract:Collision-resistant, cryptographic hash (CRH) functions have long been an integral part of providing security and privacy in modern systems. Certain constructions of zero-knowledge proof (ZKP) protocols aim to utilize CRH functions to perform cryptographic hashing. Standard CRH functions, such as SHA2, are inefficient when employed in the ZKP domain, thus calling for ZK-friendly hashes, which are CRH functions built with ZKP efficiency in mind. The most mature ZK-friendly hash, MiMC, presents a block cipher and hash function with a simple algebraic structure that is well-suited, due to its achieved security and low complexity, for ZKP applications. Although ZK-friendly hashes have improved the performance of ZKP generation in software, the underlying computation of ZKPs, including CRH functions, must be optimized on hardware to enable practical applications. The challenge we address in this work is determining how to efficiently incorporate ZK-friendly hash functions, such as MiMC, into hardware accelerators, thus enabling more practical applications. In this work, we introduce AMAZE, a highly hardware-optimized open-source framework for computing the MiMC block cipher and hash function. Our solution has been primarily directed at resource-constrained edge devices; consequently, we provide several implementations of MiMC with varying power, resource, and latency profiles. Our extensive evaluations show that the AMAZE-powered implementation of MiMC outperforms standard CPU implementations by more than 13$\times$. In all settings, AMAZE enables efficient ZK-friendly hashing on resource-constrained devices. Finally, we highlight AMAZE's underlying open-source arithmetic backend as part of our end-to-end design, thus allowing developers to utilize the AMAZE framework for custom ZKP applications.

ReZK: A Highly Reconfigurable Accelerator for Zero-Knowledge Proof

SZKP: A Scalable Accelerator Architecture for Zero-Knowledge Proofs

Cuzk: Accelerating Zero-Knowledge Proof with A Faster Parallel Multi-Scalar Multiplication Algorithm on GPUs.

GZKP: A GPU Accelerated Zero-Knowledge Proof System

Improvements on Non-Interactive Zero-Knowledge Proof Systems Related to Quadratic Residuosity Languages.

PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture

AMAZE: Accelerated MiMC Hardware Architecture for Zero-Knowledge Applications on the Edge

Device-independent quantum randomness-enhanced zero-knowledge proof

Benchmarking ZK-Friendly Hash Functions and SNARK Proving Systems for EVM-compatible Blockchains

Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications

A High-Speed NTT-Based Polynomial Multiplication Accelerator with Vector Extension of RISC-V for Saber Algorithm

ZKCPlus - Optimized Fair-exchange Protocol Supporting Practical and Flexible Data Exchange.

Succinct Scriptable NIZK Via Trusted Hardware

Split-Radix Based Compact Hardware Architecture for CRYSTALS-Kyber

Resettable Zero-Knowledge In The Weak Public-Key Model

Split: A Hash-based Memory Optimization Method for Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARK)

Design of Control Circuit Based on Reconfigurable Public Key Cryptography Coprocessor

Collaborative CP-NIZKs: Modular, Composable Proofs for Distributed Secrets

Unif-NTT: A Unified Hardware Design of Forward and Inverse NTT for PQC Algorithms

RePQC: A 3.4-uJ/Op 48-kOPS Post-Quantum Crypto-Processor for Multiple-Mathematical Problems

A Fully Pipelined Reconfigurable Montgomery Modular Multiplier Supporting Variable Bit-Widths