Snark ChocolateICICLE
Resources
Company

Tomer Solberg

Tomer is an algorithms engineer and researcher at Ingonyama. He holds degrees in Electrical Engineering and Physics from the Technion, and a Ph.D. in Physics from the Weizmann Institute of Science. Tomer has a wide range of experience as an engineer specializing in communications, algorithms, and FPGA design, as well as advanced theoretical physics research. He is a Swing dancer in his spare time.

Blogs by 

Tomer Solberg

A Brief History of Lookup Arguments

Includes uses of lookup protocols, Plookup, Cq (like you have never seen before), and the evolution from Plookup to Cq. zk-SNARKs have evolved in recent years focusing mostly on making them more succinct and lowering prover and verifier time. However most SNARKs are still limited to arithmetic operations that can easily be converted to polynomials.

Multi-Precision Fast Modular Multiplication

Improving modular multiplication, even by a little bit, can result in significant acceleration…So obviously, we at Ingonyama are obsessed with this problem.

Goldilocks NTT Trick

Polynomial arithmetic is at the heart of modern Zero Knowledge Proving (ZKP) systems. The Number Theoretic Transform (NTT) is a crucial tool in facilitating efficient computational complexity over large polynomials encountered in ZKPs.

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.

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.

RISC Zero Prover Protocol & Analysis

A companion work to the Risc Zero white paper, this is the Risc Zero Prover Protocol and Analysis

Fast Danksharding Video & Slides

Fast Danksharding video & slides presented by Tomer Solberg of Ingonyama at The Pit by Jump Crypto