3

eSTARK: Extending STARKs with Arguments
STARK is a widely used transparent proof system that uses low-degree tests for proving the correctness of a computer program. STARK …
Héctor Masip Ardevol, Marc Guzmán Albiol, Jordi Baylina Melé, Jose Luis Muñoz Tapia
PDF ePrint
eSTARK: Extending STARKs with Arguments
RapidUp: Multi-Domain Permutation Protocol for Lookup Tables
SNARKs for some standard cryptographic primitives tend to be plenty designed with SNARK-unfriendly operations such as XOR. Previous …
Héctor Masip Ardevol, Jordi Baylina Melé, Daniel Lubarov, Jose Luis Muñoz Tapia
PDF ePrint
RapidUp: Multi-Domain Permutation Protocol for Lookup Tables
PlonKup: Reconciling PlonK with plookup
In 2019, Gabizon, Williamson, and Ciobotaru introduced PlonK – a fast and flexible ZK-SNARK with an updatable and universal structured …
Luke Pearson, Joshua Fitzgerald, Héctor Masip Ardevol, Marta Bellés Muñoz, Jose Luis Muñoz Tapia
PDF ePrint
PlonKup: Reconciling PlonK with plookup