Snark ChocolateICICLE
Resources
Company

Omer Shlomovits

Omer is the CEO of Ingonyama.

‍

‍

Blogs by 

Omer Shlomovits

Fast Danksharding using ICICLE

In this blog we provide technical details on our Danksharding CUDA implementation. Using ICICLE, we have implemented a flow that can run entirely in the GPU, with only the relevant outputs to be sent to a host machine and populated on the Ethereum network.

Intro to ECNTT, presented at Starkware Sessions 2023

Intro to ECNTT from Starkware Sessions 2023

Hardware-friendliness of HyperPlonk

In this note we provide the hardware perspective on HyperPlonk. We focus on the main building block, the Multivariate SumCheck protocol and compare its computational and memory complexity to that of an NTT (Number Theoretic Transform).

ZK Benchmark Toolkit

All our benchmarking data is, from now on, publicly available. In this blogpost we use a new open source FPGA accelerator for Grøstl hash to demonstrate how to work with our database. This is a follow up work to our ZK-Score proposal.

ICICLE for Researchers: Grants & Challenges

We invite researchers and practitioners to advance ZK acceleration together with Ingonyama. For this purpose we are allocating $100,000 to be distributed as grants.

ZKPs, SIGINT and Psychological Warfare

One of the major escalation patterns we are witnessing in modern warfare is the amplification of acts allegedly done in violation of international treaties. This logic is generally based on gathered intelligence, which is often too sensitive to expose. ZKPs provide a way to maintain the confidentiality of gathered intelligence, while still allowing for disputes of false claims.

Product Announcement: ZK-Containers

Ingonyama is the developer of ICICLE, which is the equivalent of PyTorch for AI, but for ZK proof generation. We are offering a new set of tools alongside ICICLE. Let us introduce the ZKDC framework, a set of secure and optimized ZK Containers for ICICLE applications and a set of scripts for deploying basic ZK datacenters.

Sparkworks - Native Hardware Acceleration in Arkworks

We demonstrate integration of our cloud-ZK FPGA acceleration by running Arkworks Groth16 over the BN254 curve This work can easily be extended to support other primitives in the Arkworks framework and various System/HW configurations

Revisiting Paradigm “Hardware Acceleration for Zero Knowledge Proofs”

In April 2022, Paradigm.xyz released a blog post about ZK hardware acceleration. We go back to this piece with the goal of setting the record straight given certain inaccuracies in their analysis as well as presenting some new data points and arguments to enrich the original text based on our experience working in the field.

ZK Score - ZK hardware ranking standard

There is importance in having a clear framework for comparing different ZK tech stacks. We argue that a good first step would be to use ZK Score: upper-bounding the proofs-per-Joule at the hardware level.

Why You Should Pay Attention to RC-STARKs

This article provides a friendly exposition to our new paper: “Really Complex Codes with Application to STARKs” by Yuval Domb. Yuval is the lead author of our textbook on NTTs. His paper doesn’t present a novel idea; instead, it constructs an FFT based on concepts that have been known for decades. Essentially, the paper presents an FFT over the complex field. The main breakthrough is identifying the right symmetry in the problem.