ICICLE is an open-source library for ZK acceleration using CUDA-enabled GPUs. It is an essential tool for ZK developers and researchers focused on advancing Zero Knowledge Proofs using GPU.
ZK Containers is a building block ZK developers can use to deploy and scale their ZK infrastructure. It enables easy deployment, testing, updating, scaling, and experimenting with different configurations of prover software.
Blaze is a Rust library for ZK acceleration on FPGAs, providing access to primitives like MSM, NTT, and Poseidon hash. It simplifies FPGA integration for high-performance, developer-friendly ZK applications.
Ingonyama's community-driven hub for all things related to Zero Knowledge Proofs (ZKPs). From beginners to experts, this comprehensive collection is a one-stop-shop for learning and collaboration.
Roman is a software engineer, researcher and developer at Ingonyama. He enjoys researching Zero-Knowledge protocols and general cryptography, and is interested in finding new ways to apply ZK to real-world scenarios.
In this paper we present our research on applications of graph methods to parallelize the quotient polynomial in the Halo2 Zero-Knowledge Proof (ZKP) system.