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

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Ahmed, Anees, Sheybani, Nojan, Moreno, Davi, Njungle, Nges Brian, Gong, Tengkai, Kinsy, Michel, Koushanfar, Farinaz
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866910692778442752
author Ahmed, Anees
Sheybani, Nojan
Moreno, Davi
Njungle, Nges Brian
Gong, Tengkai
Kinsy, Michel
Koushanfar, Farinaz
author_facet Ahmed, Anees
Sheybani, Nojan
Moreno, Davi
Njungle, Nges Brian
Gong, Tengkai
Kinsy, Michel
Koushanfar, Farinaz
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2411_06350
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle AMAZE: Accelerated MiMC Hardware Architecture for Zero-Knowledge Applications on the Edge
Ahmed, Anees
Sheybani, Nojan
Moreno, Davi
Njungle, Nges Brian
Gong, Tengkai
Kinsy, Michel
Koushanfar, Farinaz
Cryptography and Security
Hardware Architecture
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.
title AMAZE: Accelerated MiMC Hardware Architecture for Zero-Knowledge Applications on the Edge
topic Cryptography and Security
Hardware Architecture
url https://arxiv.org/abs/2411.06350