eSTARK: Extending STARKs with Arguments
Apr 2, 2023·
,,,·
0 min read
Héctor Masip Ardevol
Marc Guzmán Albiol
Jordi Baylina Melé
Jose Luis Muñoz Tapia
Abstract
STARK is a transparent proof system using low-degree tests for program correctness verification. It consumes AIR representation but cannot succinctly express non-equality constraints. We present eSTARK, a probabilistic proof generalizing STARK through eAIR intermediate representation, combining optimized STARK with three new arguments.
Type
Publication
Designs, Codes and Cryptography
Authors
Research Engineer
I build systems that prove computation without revealing secrets.
Currently developing ZisK, a high-performance zkVM.
My research lives at the intersection of probabilistic proofs, algebra, and cryptographic protocols.
Always looking for elegant solutions to hard problems.
Authors
Authors
Authors