ICICLE v2: Polynomial API for Coding ZK Provers to Run on Specialized Hardware

ePrint Report: ICICLE v2: Polynomial API for Coding ZK Provers to Run on Specialized Hardware

Karthik Inbasekar, Yuval Shekel, Michael Asa

Polynomials play a central role in cryptography. In the context of Zero Knowledge Proofs (ZKPs), protocols can be exclusively expressed using polynomials, making them a powerful abstraction tool, as demonstrated in most ZK research papers. Our first contribution is a high-level framework that enables practitioners to implement ZKPs in a more natural way, based solely on polynomial primitives.


ZK …

api asa can central coding context cryptography eprint report hardware knowledge making michael play protocols report role run using zero knowledge zero knowledge proofs zkps